Searched refs:EVENT_IS_FINISHED (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClientStateModel.java67 public final static int EVENT_IS_FINISHED = 7; field in class:VisClientStateModel
H A DVisClient.java109 * otherwise go directly to state EVENT_IS_FINISHED.
334 setCurrentState(VisClientStateModel.EVENT_IS_FINISHED);

Completed in 18 milliseconds