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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DRemoteVisClient.java39 * specialised exitError and exitNormal methods for exiting: they have to also
153 protected void exitNormal() method in class:RemoteVisClient
155 super.exitNormal();
H A DVisClient.java138 * The final stage of termination is performed by the exitNormal method in the
781 exitNormal();
841 protected void exitNormal() method in class:VisClient
870 exitNormal();
H A DVisClientStateModel.java293 visClient.exitNormal();

Completed in 85 milliseconds