|
||||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||||
java.lang.Object | +--org.argouml.ui.targetmanager.TargetManager.HistoryManager
The manager of the history of targets. Everytimes the user (or the program) selects a new target, this is recorded in the history. Via navigateBack and navigateForward, the user can browse through the history just like in an ordinary internet browser.
| Field Summary | |
|---|---|
private int |
_currentTarget
The pointer to the current target in the history |
private java.util.List |
_history
The history with targets |
private boolean |
_navigateBackward
Flag to indicate if the current settarget was instantiated by a navigateBack action. |
private static int |
MAX_SIZE
|
| Constructor Summary | |
|---|---|
private |
TargetManager.HistoryManager()
Default constructor that registrates the history manager as target listener with the target manager. |
| Method Summary | |
|---|---|
private void |
clean()
Cleans the history in total. |
private boolean |
navigateBackPossible()
Checks if it's possible to navigate back. |
private void |
navigateBackward()
Navigate one step back in history. |
private void |
navigateForward()
Navigate one target forward in history. |
private boolean |
navigateForwardPossible()
Checks if it's possible to navigate forward |
private void |
putInHistory(java.lang.Object target)
Puts some target into the history (if needed). |
private void |
removeHistoryTarget(java.lang.Object o)
|
private void |
resize()
Resizes the history if it's grown too big. |
void |
targetAdded(TargetEvent e)
Fired when a target is added to the list of targets. |
void |
targetRemoved(TargetEvent e)
Fired when a target is removed from the list of targets |
void |
targetSet(TargetEvent e)
Fired when a total new set of targets is set |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
private static final int MAX_SIZE
private java.util.List _history
private boolean _navigateBackward
private int _currentTarget
| Constructor Detail |
private TargetManager.HistoryManager()
| Method Detail |
private void putInHistory(java.lang.Object target)
target - The target to put into the historyprivate void resize()
private void navigateForward()
private void navigateBackward()
private boolean navigateBackPossible()
private boolean navigateForwardPossible()
public void targetAdded(TargetEvent e)
TargetListener
targetAdded in interface TargetListenere - The targetevent, name will be TARGET_ADDEDTargetListener.targetAdded(org.argouml.ui.targetmanager.TargetEvent)public void targetRemoved(TargetEvent e)
TargetListener
targetRemoved in interface TargetListenere - The targetevent, name will be TARGET_REMOVEDTargetListener.targetRemoved(org.argouml.ui.targetmanager.TargetEvent)public void targetSet(TargetEvent e)
TargetListener
targetSet in interface TargetListenere - The targetevent, name will be TARGET_SETTargetListener.targetSet(org.argouml.ui.targetmanager.TargetEvent)private void clean()
private void removeHistoryTarget(java.lang.Object o)
|
||||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||||
| ArgoUML © 1996-2004 (20040306) | ArgoUML Homepage | ArgoUML Developers' page | ArgoUML Cookbook |