Searched refs:CloseQueueSignal (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
H A D | EmbeddedEclipse.java | 515 return(new CloseQueueSignal(stream)); 707 class CloseQueueSignal extends ControlSignal class in class:EmbeddedEclipse 710 CloseQueueSignal(Integer streamID) method in class:EmbeddedEclipse.CloseQueueSignal |
H A D | RemoteEclipse.java | 826 return(new CloseQueueSignal((Integer) nextControlTerm.arg(1))); 1365 class CloseQueueSignal extends ControlSignal class in class:RemoteEclipse 1369 CloseQueueSignal(Integer streamID) method in class:RemoteEclipse.CloseQueueSignal |
Completed in 36 milliseconds