M2compiler-V3/docs/wip/chanconsts.def

DEFINITION MODULE ChanConsts;
(* ISO 10514-1: channel flags and open-result codes. *)

TYPE
  ChanFlags = (readFlag, writeFlag, oldFlag, textFlag, rawFlag,
               interactiveFlag, echoFlag);
  FlagSet = SET OF ChanFlags;

CONST
  read        = FlagSet{readFlag};
  write       = FlagSet{writeFlag};
  old         = FlagSet{oldFlag};
  text        = FlagSet{textFlag};
  raw         = FlagSet{rawFlag};
  interactive = FlagSet{interactiveFlag};
  echo        = FlagSet{echoFlag};

TYPE
  OpenResults = (opened, wrongNameFormat, wrongFlags, tooManyOpen,
                 outOfChans, wrongPermissions, noRoomOnDevice,
                 noSuchFile, fileExists, wrongFileType,
                 noTextOperations, noRawOperations, noMixedOperations,
                 alreadyOpen, otherProblem);

END ChanConsts.