]>
Commit | Line | Data |
---|---|---|
15b3d2b2 | 1 | attribute openness |
80ee600a | 2 | context reference FILE * |
15b3d2b2 | 3 | oneof closed, open |
80ee600a | 4 | annotations |
5 | open ==> open | |
15b3d2b2 | 6 | closed ==> closed |
80ee600a | 7 | |
8 | merge | |
b7e84605 | 9 | open + closed ==> error |
80ee600a | 10 | |
11 | transfers | |
15b3d2b2 | 12 | open as closed ==> error |
13 | closed as open ==> error | |
80ee600a | 14 | |
15 | losereference | |
16 | open ==> error "open file not closed" | |
17 | ||
18 | defaults | |
15b3d2b2 | 19 | reference ==> open |
80ee600a | 20 | end |
21 | ||
22 | ||
23 |