Package de.swa.fuh.qrefinement.command
Class SelectQueryCommandHistory
java.lang.Object
de.swa.fuh.qrefinement.command.SelectQueryCommandHistory
public class SelectQueryCommandHistory
extends java.lang.Object
This class implements a command history for all commands that changed selection of an asset or produced a new query
- Author:
- Nicolas Boch
-
Method Summary
Modifier and Type Method Description void
add(UndoableCommand command)
static SelectQueryCommandHistory
getInstance()
Querying
getLastQueryMetric()
Get the metric that was used to execute the last query (for equivalent redoing of query execution)Querying
getLastQueryMetricUndo()
Get the metric that was used to execute the penultimate query (for equivalent undoing of the last query, implemented by a re-execution of the penultimate query)void
redo()
void
undo()
-
Method Details
-
getInstance
-
add
-
redo
public void redo() -
undo
public void undo() -
getLastQueryMetric
Get the metric that was used to execute the last query (for equivalent redoing of query execution)- Returns:
- the metric that was used as described above
-
getLastQueryMetricUndo
Get the metric that was used to execute the penultimate query (for equivalent undoing of the last query, implemented by a re-execution of the penultimate query)- Returns:
-