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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java682 void respondFlushIO(Integer streamID) throws IOException method in class:EmbeddedEclipse
729 respondFlushIO(streamID);
H A DRemoteEclipse.java1255 private void respondFlushIO(Integer streamID, Integer bytesFlushed) method in class:RemoteEclipse
1361 respondFlushIO(streamID, bytesFlushed);

Completed in 38 milliseconds