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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DRemoteEclipse.java111 private static final Atom disconnectAtom = new Atom("disconnect"); field in class:RemoteEclipse
334 writeControl(disconnectAtom);
1199 return(controlTerm.equals(disconnectAtom));

Completed in 88 milliseconds