]>
Commit | Line | Data |
---|---|---|
990ec868 | 1 | state file |
2 | context reference FILE * | |
3 | oneof unopen, open | |
4 | annotations | |
5 | open ==> open | |
6 | closed ==> 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 | |
20 | parameter ==> open | |
21 | ||
22 | end | |
23 | ||
24 | ||
25 |