*** empty log message ***

[splint.git] / test / fileio / file.mts

diff --git a/test/fileio/file.mts b/test/fileio/file.mts
index c9396664d1786a0966355358de25e0947f62e306..6ecee0e1907d3d53ef8f39db77755b6e4951b749 100644 (file)
--- a/test/fileio/file.mts
+++ b/test/fileio/file.mts
@@ -1,24 +1,22 @@
-attribute file
+attribute openness
    context reference FILE *
-   oneof unopen, open
+   oneof closed, open
    annotations
       open ==> open
-      closed ==> unopen
+      closed ==> closed
 
    merge
-      open + unopen ==> error "files merge in inconsistent state"
-      unopen + open ==> error "files merge in inconsistent state"
+      open + closed ==> error 
 
    transfers
-      open as unopen ==> error "open file passed as unopen"
-      unopen as open ==> error "unopen file passed as open"
+      open as closed ==> error
+      closed as open ==> error
 
    losereference
       open ==> error "open file not closed"
 
    defaults 
-      parameter ==> open
-
+      reference ==> open
 end