|| At A Glance | About This Document | Class Description | Summaries | Properties | Methods | Events | See Also ||
Class Name: | HotjavaDocumentStack |
Extends: | Object |
Implements: | Serializable, BrowserHistoryListener |
Purpose
Creation
Overview
The document stack bean is simply a collection of the "documents" visited by the user. It can process a number of history commands to push a document on the stack or clear the history. Methods are provided to go to the previous and next documents as well as those to indicate the existence of next and previous to allow enabling and disabling controls as appropriate.
boolean | nextDocumentAvailable | [bound] | - is there a next document? | (rw) |
boolean | previousDocumentAvailable | [bound] | - is there a previous document? | (rw) |
instantiation | HotjavaDocumentStack() |
navigation | nextDocument()
previousDocument() |
state accessors | isNextAvailable()
setNextAvailable() isPreviousAvailable() setPreviousAvailable() |
adding/removing document history | eraseDocumentHistory()
executeHistoryCommand() |
adding/removing listeners | addBrowserHistoryListener()
removeBrowserHistoryListener() addPropertyChangeListener() removePropertyChangeListener() |
EventListener Interfaces: | PropertyChangeListener
BrowserHistoryListener |
EventListener Interfaces: | BrowserHistoryListener |
void addBrowserHistoryListener(BrowserHistoryListener l)
removeBrowserHistoryListener().
void addPropertyChangeListener(PropertyChangeListener l)
removePropertyChangeListener().
void executeHistoryCommand(BrowserHistoryEvent evt)
setNextAvailable().
setPreviousAvailable().
void removeBrowserHistoryListener(BrowserHistoryListener l)
addBrowserHistoryListener().
void removePropertyChangeListener(PropertyChangeListener l)
addPropertyChangeListener().
void setNextAvailable(boolean val)
isNextAvailable().
void setPreviousAvailable(boolean val)
isPreviousAvailable().
BrowserHistoryEvent objects are sent to registered BrowserHistoryListeners to notify of changes in the "current document" due to nextDocument() and previousDocument() actions.
EventListener Interfaces: | PropertyChangeListener
BrowserHistoryListener |
EventObjects: | PropertyChangeEvent
BrowserHistoryEvent |
EventListener Interfaces: | BrowserHistoryListener |
EventObjects: | BrowserHistoryEvent |
|| At A Glance | About This Document | Class Description | Summaries | Properties | Methods | Events | See Also ||