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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DFromEclipseQueue.java206 eclipse.closeFromEclipseStreamEclipseSide(id);
H A DEmbeddedEclipse.java622 void closeFromEclipseStreamEclipseSide(int streamid) throws IOException method in class:EmbeddedEclipse
624 super.closeFromEclipseStreamEclipseSide(streamid);
H A DEclipseConnectionImpl.java157 this.closeFromEclipseStreamEclipseSide(feq.getID());
856 void closeFromEclipseStreamEclipseSide(int streamid) throws IOException method in class:EclipseConnectionImpl
H A DRemoteEclipse.java875 void closeFromEclipseStreamEclipseSide(int streamid) throws IOException method in class:RemoteEclipse
877 super.closeFromEclipseStreamEclipseSide(streamid);

Completed in 89 milliseconds