]>
Commit | Line | Data |
---|---|---|
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 |