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

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DRemoteEclipse.java737 new Integer(getBytesBuffered(streamID))));
750 setBytesBuffered(streamid, getBytesBuffered(streamid)+1);
762 setBytesBuffered(streamid, getBytesBuffered(streamid)+len);
1567 private int getBytesBuffered(int streamID) method in class:RemoteEclipse
1569 return(getToecInfo(streamID).getBytesBuffered());
1587 int getBytesBuffered() method in class:RemoteEclipse.ToEclipseQueueInfo

Completed in 76 milliseconds