test/fileio/file.mts

   1 attribute openness
   2    context reference FILE *
   3    oneof closed, open
   4    annotations
   5       open ==> open
   6       closed ==> closed
   7
   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 end
  21
  22
  23