📄 aliasmanager.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 + -