lib/file.mts

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