Interface javax.help.HelpHistoryModel

Implementing Classes:
DefaultHelpHistoryModel

public interface HelpHistoryModel
extends HelpModelListener, java.io.Serializable
The interface to the history model.


addHelpHistoryModelListener

public void addHelpHistoryModelListener(HelpHistoryModelListener l)
Adds a listener for the HelpHistoryModelEvent posted after the model has changed.
Parameters:
l - The listener to add.
See Also:
removeHelpHistoryModelListener

removeHelpHistoryModelListener

public void removeHelpHistoryModelListener(HelpHistoryModelListener l)
Removes a listener previously added with addHelpHistoryModelListener
Parameters:
l - The listener to remove.
See Also:
addHelpHistoryModelListener

discard

public void discard()
Discards a history

goForward

public void goForward()
Sets a next history entry

goBack

public void goBack()
Sets a previous history entry

getBackwardHistory

public java.util.Vector getBackwardHistory()
Returns a backward history list

getForwardHistory

public java.util.Vector getForwardHistory()
Returns a forward history list

setHistoryEntry

public void setHistoryEntry(int index)
Sets the current history entry
Parameters:
index - The index of history entry

removeHelpSet

public void removeHelpSet(HelpSet hs)
Removes entries related to removed HelpSet from history
Parameters:
hs - The removed HelpSet

getHistory

public java.util.Vector getHistory()
Returns a history

getIndex

public int getIndex()
Returns a current history position
Returns:
The history index

setHelpModel

public void setHelpModel(HelpModel model)
Sets the HelpModel
Parameters:
model - The HeplModel