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) /*@*/ ;
31