Searched refs:PolicySelectedCommand (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DPolicySelectedCommand.java30 public class PolicySelectedCommand extends RecordableCommand implements ImmediateCommand { class in inherits:RecordableCommand,ImmediateCommand
35 public PolicySelectedCommand(String viewableName, List keys) { method in class:PolicySelectedCommand
H A DScenarioManager.java595 } else if (command instanceof PolicySelectedCommand) {
596 name = ((PolicySelectedCommand)command).getViewableName();
H A DViewerManager.java478 (new PolicySelectedCommand(viewableName, selected)).issue();

Completed in 32 milliseconds