]> andersk Git - splint.git/blame - test/metastate/file.mts
*** empty log message ***
[splint.git] / test / metastate / file.mts
CommitLineData
80ee600a 1state file
2 context reference FILE *
3 oneof unopen, open
4 annotations
5 open reference ==> open
6 closed reference ==> unopen
7
8 merge
9 open + unopen ==> error "files merge in inconsistent state"
10 unopen + open ==> error "files merge in inconsistent state"
11
12 transfers
13 open as unopen ==> error "open file passed as unopen"
14 unopen as open ==> error "unopen file passed as open"
15
16 losereference
17 open ==> error "open file not closed"
18
19 defaults
990ec868 20 reference ==> unopen
80ee600a 21 parameter ==> open
22end
23
24
25
This page took 0.070965 seconds and 5 git commands to generate.