stdchans.def 516 B

12345678910111213141516171819202122
  1. DEFINITION MODULE StdChans;
  2. (* ISO 10514-1: the standard channels, with settable current
  3. in/out/err channels. *)
  4. IMPORT IOChan;
  5. TYPE
  6. ChanId = IOChan.ChanId;
  7. PROCEDURE StdInChan () : ChanId;
  8. PROCEDURE StdOutChan () : ChanId;
  9. PROCEDURE StdErrChan () : ChanId;
  10. PROCEDURE NullChan () : ChanId;
  11. PROCEDURE InChan () : ChanId;
  12. PROCEDURE OutChan () : ChanId;
  13. PROCEDURE ErrChan () : ChanId;
  14. PROCEDURE SetInChan (cid : ChanId);
  15. PROCEDURE SetOutChan (cid : ChanId);
  16. PROCEDURE SetErrChan (cid : ChanId);
  17. END StdChans.