Lines Matching refs:streamID
667 void respondWaitIO(Integer streamID) throws IOException
670 ToEclipseQueue teq = lookupToEclipseQueue(streamID.intValue());
673 System.err.println("ECLiPSe yielded after flushing stream "+streamID.intValue() +
682 void respondFlushIO(Integer streamID) throws IOException
685 FromEclipseQueue feq = lookupFromEclipseQueue(streamID.intValue());
688 System.err.println("ECLiPSe yielded after reading empty stream "+streamID.intValue() +
709 private Integer streamID;
710 CloseQueueSignal(Integer streamID)
712 this.streamID = streamID;
716 respondCloseQueue(streamID);
722 private Integer streamID;
723 FlushIOSignal(Integer streamID)
725 this.streamID = streamID;
729 respondFlushIO(streamID);