[splint.git] / src / Headers / clause.h


typedef enum {
  NOCLAUSE,
  TRUECLAUSE,
  FALSECLAUSE,
  ANDCLAUSE,
  ORCLAUSE,
  WHILECLAUSE,
  DOWHILECLAUSE,
  FORCLAUSE,
  CASECLAUSE,
  SWITCHCLAUSE,
  CONDCLAUSE,
  ITERCLAUSE,
  TRUEEXITCLAUSE,
  FALSEEXITCLAUSE
} clause;

extern /*@observer@*/ cstring clause_nameAlternate (clause p_cl) /*@*/ ;
extern /*@observer@*/ cstring clause_nameTaken (clause p_cl) /*@*/ ;
extern /*@observer@*/ cstring clause_nameFlip (clause p_cl, bool p_flip) /*@*/ ;

extern bool clause_isConditional (clause p_cl) /*@*/ ;
extern bool clause_isBreakable (clause p_cl) /*@*/ ;
extern bool clause_isLoop (clause p_cl) /*@*/ ;
extern bool clause_isSwitch (clause p_cl) /*@*/ ;
extern bool clause_isCase (clause p_cl) /*@*/ ;
extern bool clause_isNone (clause p_cl) /*@*/ ;

extern /*@observer@*/ cstring clause_unparse (clause p_cl) /*@*/ ;
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) /@/ ;