Searched refs:FlushIOSignal (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
H A D | EmbeddedEclipse.java | 521 return(new FlushIOSignal(stream)); 720 class FlushIOSignal extends ControlSignal class in class:EmbeddedEclipse 723 FlushIOSignal(Integer streamID) method in class:EmbeddedEclipse.FlushIOSignal |
H A D | RemoteEclipse.java | 815 return(new FlushIOSignal((Integer) nextControlTerm.arg(1), 1349 class FlushIOSignal extends ControlSignal class in class:RemoteEclipse 1353 FlushIOSignal(Integer streamID, Integer bytesFlushed) method in class:RemoteEclipse.FlushIOSignal |
Completed in 37 milliseconds