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