public class JumpHistoryManager
extends java.lang.Object
GUIelement
s.Modifier and Type | Method and Description |
---|---|
void |
addAction(JumpAction ea)
Add the given
JumpAction to the changeList. |
static JumpHistoryManager |
get(GUIPanel gp)
Singleton getter.
|
Position |
getNextPosition()
Return the
Position object, determining the next focused GUIelement . |
Position |
getPreviousPosition()
Return the
Position object, determining the last focused GUIelement . |
void |
repeatInverseOfLastJump()
Take the last
JumpAction , added by the addAction(InstrumentationPlatformGUI.JumpAction) method and repeat the inverse of it,
by calling its JumpAction#doInverseAction() . |
void |
repeatLastJump()
Take the last
JumpAction , added by the addAction(InstrumentationPlatformGUI.JumpAction) method and repeat it,
by calling its JumpAction#doAction() . |
public static JumpHistoryManager get(GUIPanel gp)
gp
- the GUIPanel
to be assigned to this JumpHistoryManager
public Position getPreviousPosition()
Position
object, determining the last focused GUIelement
.
If we are on the beginning of the changeList (no element was focused before), return null.
Subsequent calls will return the previous one, the one before and so on.Position
object, determining the last focused GUIelement
.public Position getNextPosition()
Position
object, determining the next focused GUIelement
.
(Opposite of getPreviousPosition
).
If we are on the end of the changeList (no element was focused before), return null.
Subsequent calls will return the previous one, the one before and so on.Position
object, determining the next focused GUIelement
.getPreviousPosition()
public void addAction(JumpAction ea)
JumpAction
to the changeList.ea
- the JumpAction
to add.public void repeatLastJump()
JumpAction
, added by the addAction(InstrumentationPlatformGUI.JumpAction)
method and repeat it,
by calling its JumpAction#doAction()
.GUIAction.doAction()
public void repeatInverseOfLastJump()
JumpAction
, added by the addAction(InstrumentationPlatformGUI.JumpAction)
method and repeat the inverse of it,
by calling its JumpAction#doInverseAction()
.JumpAction.doInverseAction()