⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 aliasmanager.java

📁 纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统
💻 JAVA
字号:
/*
 * $Id: AliasManager.java,v 1.2 2004/01/21 16:06:11 epr Exp $
 */
package org.jnode.shell.alias;

import java.util.Iterator;

/**
 * @author epr
 */
public interface AliasManager {
	
	/**
	 * Name of the system alias manager (in the InitialNaming namespace)
	 */
	public static final Class NAME = AliasManager.class;//"system/aliasmanager";
	
	public static final String ALIASES_EP_NAME = "org.jnode.shell.aliases";
	
	/**
	 * Add an alias
	 * @param alias
	 * @param className
	 */
	public abstract void add(String alias, String className);
	/**
	 * Remove an alias
	 * @param alias
	 */
	public abstract void remove(String alias);
	/**
	 * Gets the class of a given alias
	 * @param alias
	 * @return The class of the given alias
	 * @throws ClassNotFoundException
	 */
	public abstract Class getAliasClass(String alias) throws ClassNotFoundException, NoSuchAliasException;
	/**
	 * Gets the classname of a given alias
	 * @param alias
	 * @return The classname of the given alias
	 */ 
	public abstract String getAliasClassName(String alias) throws NoSuchAliasException;
	
	/**
	 * Create a new alias manager that has this alias manager as parent.
	 */
	public AliasManager createAliasManager();
	
	/**
	 * Gets an iterator to iterate over all aliases.
	 * @return An iterator the returns instances of String.
	 */
	public Iterator aliasIterator();

}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -