com.declarativa.interprolog.gui

Class CommandHistory

java.lang.Object

java.awt.event.KeyAdapter

com.declarativa.interprolog.gui.CommandHistory

All Implemented Interfaces:

KeyListener, EventListener

public class CommandHistory
extends KeyAdapter

An up/down key event handler which implements a simple field command history, optionally updating a menu. Commands are assumed to be strings without any relevant newlines in it - if they exist they're replaced by spaces This is thread unsafe, and assumed to be used in the AWT thread

Constructor Summary

Constructors

Constructor and Description
CommandHistory()
CommandHistory(File file) A CommamdHistory which will persist in a text file, as long the application sends us a save() before exiting.

Method Summary

Modifier and Type	Method and Description
void	addField(JTextComponent text)
void	addMenuAndField(JMenu menu, int firstItem, JTextComponent text) Registers a text field and a menu; text may already be known here, but menu must not
void	addToHistory(String command_)
void	clear()
void	keyPressed(KeyEvent e)
String	last()
void	save()

Methods inherited from class java.awt.event.KeyAdapter

keyReleased, keyTyped

Methods inherited from class java.lang.Object

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

Constructor Detail

CommandHistory

public CommandHistory()

CommandHistory

public CommandHistory(File file)

A CommamdHistory which will persist in a text file, as long the application sends us a save() before exiting. On initialization the file is loaded.

Parameters:

file - if null, no persistence

Method Detail

clear

public void clear()

save

public void save()

addField

public void addField(JTextComponent text)

addMenuAndField

public void addMenuAndField(JMenu menu,
                            int firstItem,
                            JTextComponent text)

Registers a text field and a menu; text may already be known here, but menu must not

Parameters:

menu -

firstItem - first item to be used for history ( >=0 )

text -

keyPressed

public void keyPressed(KeyEvent e)

Specified by:

keyPressed in interface KeyListener

Overrides:

keyPressed in class KeyAdapter

addToHistory

public void addToHistory(String command_)

last

public String last()