Package ghidra.app.services
Interface NavigationHistoryService
-
public interface NavigationHistoryService
The ToolStateHistoryService maintains a stack of locations that the user has visited via a navigation plugin. It provides methods querying and manipulating this list.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addNewLocation(Navigatable navigatable)
Adds the given locationMomento to the list of previous locations.void
clear(Navigatable navigatable)
Removes all visited locations from the history list.java.util.List<LocationMemento>
getNextLocations(Navigatable navigatable)
Returns the LocationMemento objects in the "next" list.java.util.List<LocationMemento>
getPreviousLocations(Navigatable navigatable)
Returns the LocationMemento objects in the "previous" list.boolean
hasNext(Navigatable navigatable)
Returns true if there is a valid "next" location in the history list.boolean
hasPrevious(Navigatable navigatable)
Returns true if there is a valid "previous" location in the history list.void
next(Navigatable navigatable)
Positions the "current" location to the next location in the history list.void
next(Navigatable navigatable, LocationMemento location)
Navigates to the given location in the "next" list.void
previous(Navigatable navigatable)
Positions the "current" location to the previous location in the history list.void
previous(Navigatable navigatable, LocationMemento location)
Navigates to the given location in the "previous" list.
-
-
-
Method Detail
-
next
void next(Navigatable navigatable)
Positions the "current" location to the next location in the history list. If there is no "next" location, the history list remains unchanged.
-
previous
void previous(Navigatable navigatable)
Positions the "current" location to the previous location in the history list. If there is no "previous" location, the history list remains unchanged.
-
next
void next(Navigatable navigatable, LocationMemento location)
Navigates to the given location in the "next" list. If the location is not in the list, then nothing will happen.- Parameters:
location
- The location within the "next" list to which to go.
-
previous
void previous(Navigatable navigatable, LocationMemento location)
Navigates to the given location in the "previous" list. If the location is not in the list, then nothing will happen.- Parameters:
location
- The location within the "previous" list to which to go.
-
getPreviousLocations
java.util.List<LocationMemento> getPreviousLocations(Navigatable navigatable)
Returns the LocationMemento objects in the "previous" list.- Returns:
- the LocationMemento objects in the "previous" list.
-
getNextLocations
java.util.List<LocationMemento> getNextLocations(Navigatable navigatable)
Returns the LocationMemento objects in the "next" list.- Returns:
- the LocationMemento objects in the "next" list.
-
hasNext
boolean hasNext(Navigatable navigatable)
Returns true if there is a valid "next" location in the history list.
-
hasPrevious
boolean hasPrevious(Navigatable navigatable)
Returns true if there is a valid "previous" location in the history list.
-
addNewLocation
void addNewLocation(Navigatable navigatable)
Adds the given locationMomento to the list of previous locations. Clears the list of next locations.
-
clear
void clear(Navigatable navigatable)
Removes all visited locations from the history list.
-
-