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