]>
Commit | Line | Data |
---|---|---|
e26e911c | 1 | attribute filerw |
990ec868 | 2 | context reference FILE * |
3 | oneof rw_none, rw_read, rw_write, rw_either | |
4 | annotations | |
5 | read ==> rw_read | |
6 | write ==> rw_write | |
7 | rweither ==> rw_either | |
8 | rwnone ==> rw_none | |
9 | merge | |
10 | rw_read + rw_write ==> rw_none | |
11 | rw_none + * ==> rw_none | |
12 | rw_either + rw_read ==> rw_read | |
13 | rw_either + rw_write ==> rw_write | |
14 | rw_either + rw_none ==> rw_none | |
15 | ||
16 | transfers | |
17 | rw_read as rw_write ==> error "Must reset file between read and write." | |
18 | rw_write as rw_read ==> error "Must reset file between write and read." | |
19 | rw_none as rw_read ==> error "File in unreadable state." | |
20 | rw_none as rw_write ==> error "File in unwritable state." | |
21 | ||
22 | rw_either as rw_write ==> rw_write | |
23 | rw_either as rw_read ==> rw_read | |
24 | ||
25 | end |