lib/filerw.mts

   1 attribute filerw
   2    context reference FILE *
   3    oneof rw_none, rw_read, rw_write, rw_either
   4    annotations
   5       read ==> rw_read
   6       write ==> rw_write
   7       rweither ==> rw_either
   8       rwnone ==> rw_none
   9    merge
  10       rw_read + rw_write ==> rw_none
  11       rw_none + * ==> rw_none
  12       rw_either + rw_read ==> rw_read
  13       rw_either + rw_write ==> rw_write
  14       rw_either + rw_none ==> rw_none
  15
  16    transfers
  17       rw_read as rw_write ==> error "Must reset file between read and write."
  18       rw_write as rw_read ==> error "Must reset file between write and read."
  19       rw_none as rw_read ==> error "File in unreadable state."
  20       rw_none as rw_write ==> error "File in unwritable state."
  21
  22       rw_either as rw_write ==> rw_write
  23       rw_either as rw_read ==> rw_read
  24
  25 end