src/Headers/clause.h

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