Don't try calling lsl when file is missing.
[splint-patched.git] / lib / file.mts
blobf19f21b45324268fa15ddbf658e4eef947368d55
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 
11    transfers
12       open as closed ==> error
13       closed as open ==> error
15    losereference
16       open ==> error "open file not closed"
18    defaults 
19       reference ==> open
20       parameter ==> open
21       result ==> open
22 end