lib/file.mts

   1 state file
   2    context reference FILE *
   3    oneof unopen, open
   4    annotations
   5       open ==> open
   6       closed ==> unopen
   7
   8    merge
   9       open + unopen ==> error "files merge in inconsistent state"
  10       unopen + open ==> error "files merge in inconsistent state"
  11
  12    transfers
  13       open as unopen ==> error "open file passed as unopen"
  14       unopen as open ==> error "unopen file passed as open"
  15
  16    losereference
  17       open ==> error "open file not closed"
  18
  19    defaults
  20       parameter ==> open
  21
  22 end
  23
  24
  25