noexpand always false.

[splint.git] / lib / file.mts

diff --git a/lib/file.mts b/lib/file.mts
index 0e5003278966f1883679eacce10d1b4995bbe777..f19f21b45324268fa15ddbf658e4eef947368d55 100644 (file)
--- a/lib/file.mts
+++ b/lib/file.mts
@@ -1,24 +1,24 @@
-state file
+attribute openness
    context reference FILE *
-   oneof unopen, open
+   oneof closed, open, anyopen
    annotations
       open ==> open
-      closed ==> unopen
-
+      closed ==> closed
+      anyopen ==> anyopen
    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 
+      reference ==> open
       parameter ==> open
-
+      result ==> open
 end