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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DRemoteEclipse.java1255 private void respondFlushIO(Integer streamID, Integer bytesFlushed) argument
1267 bufferBytesFromSocket(streamID.intValue(), bytesFlushed.intValue());
1351 private Integer streamID, bytesFlushed; field in class:RemoteEclipse.FlushIOSignal
1353 FlushIOSignal(Integer streamID, Integer bytesFlushed) argument
1356 this.bytesFlushed = bytesFlushed;
1361 respondFlushIO(streamID, bytesFlushed);

Completed in 29 milliseconds