shell.java

纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统

/*
 * $Id: Shell.java,v 1.1 2003/11/25 11:52:59 epr Exp $
 */
package org.jnode.shell;

import org.jnode.shell.alias.AliasManager;

/**
 * @author epr
 */
public interface Shell {

	/**
	 * Gets the alias manager of this shell
	 */
	public AliasManager getAliasManager();

	/** 
	 * Gets the CommandHistory object associated with this shell.
	 */
	public CommandHistory getCommandHistory();

        /**
	 * Prints a list of choices for command line completion.
	 */
	public void list(String[] items);

}