Package javax.help
Class DefaultHelpHistoryModel
- java.lang.Object
-
- javax.help.DefaultHelpHistoryModel
-
- All Implemented Interfaces:
java.io.Serializable,java.util.EventListener,HelpModelListener,HelpHistoryModel
public class DefaultHelpHistoryModel extends java.lang.Object implements HelpHistoryModel
DefaultHelpHistoryModel is default implementation of HelpHistoryModel interface- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description protected JHelphelpprotected HelpModelhelpModelprotected java.util.Vectorhistoryprotected inthistoryIndexprotected EventListenerListlistenerList
-
Constructor Summary
Constructors Constructor Description DefaultHelpHistoryModel(JHelp help)Creates new DefaultHelpHistoryModel for given JHelp
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddHelpHistoryModelListener(HelpHistoryModelListener l)Adds a listener for the HelpHistoryModelEvent posted after the model has changed.voiddiscard()Discards a historyprotected voidfireHistoryChanged(java.lang.Object source, boolean previous, boolean next)Fires the history changejava.util.VectorgetBackwardHistory()Returns a backward history vectorjava.util.VectorgetForwardHistory()Returns a forward history vectorjava.util.VectorgetHistory()Returns a historyintgetIndex()Returns a current history positionprotected HelpModelgetModel()Returns HelpModelvoidgoBack()Sets the previous histroy entryvoidgoForward()Sets the next history entryvoididChanged(HelpModelEvent e)Tells the listener that the current ID in the HelpModel has changed.voidremoveHelpHistoryModelListener(HelpHistoryModelListener l)Removes a listener previously added with addHelpHistoryModelListenervoidremoveHelpSet(HelpSet hs)Removes entries related to removed HelpSet from historyvoidremoveLastEntry()Removes the last history entryvoidsetHelpModel(HelpModel model)Sets a new HelpModelvoidsetHistoryEntry(int index)Sets the current history entry
-
-
-
Field Detail
-
history
protected java.util.Vector history
-
historyIndex
protected int historyIndex
-
helpModel
protected HelpModel helpModel
-
listenerList
protected EventListenerList listenerList
-
help
protected JHelp help
-
-
Constructor Detail
-
DefaultHelpHistoryModel
public DefaultHelpHistoryModel(JHelp help)
Creates new DefaultHelpHistoryModel for given JHelp- Parameters:
help- The JHelp
-
-
Method Detail
-
setHelpModel
public void setHelpModel(HelpModel model)
Sets a new HelpModel- Specified by:
setHelpModelin interfaceHelpHistoryModel- Parameters:
model- The new HelpModel
-
removeHelpHistoryModelListener
public void removeHelpHistoryModelListener(HelpHistoryModelListener l)
Removes a listener previously added with addHelpHistoryModelListener- Specified by:
removeHelpHistoryModelListenerin interfaceHelpHistoryModel- Parameters:
l- The listener to remove.- See Also:
HelpHistoryModel.addHelpHistoryModelListener(javax.help.event.HelpHistoryModelListener)
-
addHelpHistoryModelListener
public void addHelpHistoryModelListener(HelpHistoryModelListener l)
Adds a listener for the HelpHistoryModelEvent posted after the model has changed.- Specified by:
addHelpHistoryModelListenerin interfaceHelpHistoryModel- Parameters:
l- The listener to add.- See Also:
HelpHistoryModel.removeHelpHistoryModelListener(javax.help.event.HelpHistoryModelListener)
-
discard
public void discard()
Discards a history- Specified by:
discardin interfaceHelpHistoryModel
-
getHistory
public java.util.Vector getHistory()
Returns a history- Specified by:
getHistoryin interfaceHelpHistoryModel- Returns:
- The vector of history entries
-
removeLastEntry
public void removeLastEntry()
Removes the last history entry
-
getIndex
public int getIndex()
Returns a current history position- Specified by:
getIndexin interfaceHelpHistoryModel- Returns:
- The history index
-
goForward
public void goForward()
Sets the next history entry- Specified by:
goForwardin interfaceHelpHistoryModel
-
goBack
public void goBack()
Sets the previous histroy entry- Specified by:
goBackin interfaceHelpHistoryModel
-
getForwardHistory
public java.util.Vector getForwardHistory()
Returns a forward history vector- Specified by:
getForwardHistoryin interfaceHelpHistoryModel- Returns:
- The vector of forward history entries
-
getBackwardHistory
public java.util.Vector getBackwardHistory()
Returns a backward history vector- Specified by:
getBackwardHistoryin interfaceHelpHistoryModel- Returns:
- The vector of backward history entries
-
setHistoryEntry
public void setHistoryEntry(int index)
Sets the current history entry- Specified by:
setHistoryEntryin interfaceHelpHistoryModel- Parameters:
index- The index of history entry
-
fireHistoryChanged
protected void fireHistoryChanged(java.lang.Object source, boolean previous, boolean next)Fires the history change
-
idChanged
public void idChanged(HelpModelEvent e)
Tells the listener that the current ID in the HelpModel has changed. All highlights from the previous location change at this point.- Specified by:
idChangedin interfaceHelpModelListener- Parameters:
e- The event
-
removeHelpSet
public void removeHelpSet(HelpSet hs)
Removes entries related to removed HelpSet from history- Specified by:
removeHelpSetin interfaceHelpHistoryModel- Parameters:
hs- The removed HelpSet
-
getModel
protected HelpModel getModel()
Returns HelpModel- Returns:
- The HelpModel
-
-