jmathlib.ui.swing
Class CommandHistoryManager

java.lang.Object
  jmathlib.ui.swing.CommandHistoryManager

public class CommandHistoryManager
extends java.lang.Object

Nested Class Summary

class	CommandHistoryManager.Command
class	CommandHistoryManager.Session
static interface	CommandHistoryManager.SessionCommandListener

Method Summary

void	addChangeListener(CommandHistoryManager.SessionCommandListener listener)
void	addCommand(java.lang.String command)
void	clearCurrentSession()
java.lang.String	currentCommand()
static CommandHistoryManager	getDefaultInstance()
CommandHistoryManager.Session	getSession(int index)
int	getSessionCount()
int	indexOfSession(CommandHistoryManager.Session session)
java.lang.String	nextCommand()
java.lang.String	prevCommand()
void	removeChangeListener(CommandHistoryManager.SessionCommandListener listener)
void	resetToLastCommand()
void	writeSessionHistory()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

addCommand

public void addCommand(java.lang.String command)

nextCommand

public java.lang.String nextCommand()

prevCommand

public java.lang.String prevCommand()

currentCommand

public java.lang.String currentCommand()

resetToLastCommand

public void resetToLastCommand()

clearCurrentSession

public void clearCurrentSession()

addChangeListener

public void addChangeListener(CommandHistoryManager.SessionCommandListener listener)

removeChangeListener

public void removeChangeListener(CommandHistoryManager.SessionCommandListener listener)

getSessionCount

public int getSessionCount()

getSession

public CommandHistoryManager.Session getSession(int index)

indexOfSession

public int indexOfSession(CommandHistoryManager.Session session)

getDefaultInstance

public static CommandHistoryManager getDefaultInstance()

writeSessionHistory

public void writeSessionHistory()