]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | typedef enum { | |
3 | NOCLAUSE, | |
4 | TRUECLAUSE, | |
5 | FALSECLAUSE, | |
6 | ANDCLAUSE, | |
7 | ORCLAUSE, | |
8 | WHILECLAUSE, | |
9 | DOWHILECLAUSE, | |
10 | FORCLAUSE, | |
11 | CASECLAUSE, | |
12 | SWITCHCLAUSE, | |
13 | CONDCLAUSE, | |
14 | ITERCLAUSE, | |
15 | TRUEEXITCLAUSE, | |
16 | FALSEEXITCLAUSE | |
17 | } clause; | |
18 | ||
19 | extern /*@observer@*/ cstring clause_nameAlternate (clause p_cl) /*@*/ ; | |
20 | extern /*@observer@*/ cstring clause_nameTaken (clause p_cl) /*@*/ ; | |
21 | extern /*@observer@*/ cstring clause_nameFlip (clause p_cl, bool p_flip) /*@*/ ; | |
22 | ||
23 | extern bool clause_isConditional (clause p_cl) /*@*/ ; | |
24 | extern bool clause_isBreakable (clause p_cl) /*@*/ ; | |
25 | extern bool clause_isLoop (clause p_cl) /*@*/ ; | |
26 | extern bool clause_isSwitch (clause p_cl) /*@*/ ; | |
27 | extern bool clause_isCase (clause p_cl) /*@*/ ; | |
28 | extern bool clause_isNone (clause p_cl) /*@*/ ; | |
29 | ||
30 | extern /*@observer@*/ cstring clause_unparse (clause p_cl) /*@*/ ; |