repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
raw
|
HEAD
Don't try calling lsl when file is missing.
[splint-patched.git]
/
lib
/
file.mts
blob
f19f21b45324268fa15ddbf658e4eef947368d55
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