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

/barrelfish-2018-10-04/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DToEclipseQueue.java173 eclipse.flushStream(this.id);
H A DEmbeddedEclipse.java590 // implements flushStream(id) by doing nothing (memory queues do not need to
592 synchronized void flushStream(int id) method in class:EmbeddedEclipse
H A DEclipseConnectionImpl.java825 abstract void flushStream(int streamid) throws IOException; method in class:EclipseConnectionImpl
H A DRemoteEclipse.java732 synchronized void flushStream(int streamID) throws IOException method in class:RemoteEclipse

Completed in 51 milliseconds