M2compiler-V3/docs/wip/streamfile.def

DEFINITION MODULE StreamFile;
(* ISO 10514-1: opening and closing sequential-stream channels.
   Layered on IOChan; the read flag implies old, and text is implied
   unless raw is requested. *)

IMPORT IOChan, ChanConsts;

TYPE
  ChanId = IOChan.ChanId;
  FlagSet = ChanConsts.FlagSet;
  OpenResults = ChanConsts.OpenResults;

CONST
  read  = FlagSet{ChanConsts.readFlag};
  write = FlagSet{ChanConsts.writeFlag};
  old   = FlagSet{ChanConsts.oldFlag};
  text  = FlagSet{ChanConsts.textFlag};
  raw   = FlagSet{ChanConsts.rawFlag};

PROCEDURE Open (VAR cid : ChanId; name : ARRAY OF CHAR;
                flags : FlagSet; VAR res : OpenResults);
PROCEDURE IsStreamFile (cid : ChanId) : BOOLEAN;
PROCEDURE Close (VAR cid : ChanId);

END StreamFile.