1 #ifndef __constraintExpr_h__
3 #define __constraintExpr_h__
13 struct s_constraintExpr {
14 constraintExprKind kind;
15 bool ct; /*changed type */
17 constraintExprData data;
22 /*@constant null constraintExpr constraintExpr_undefined; @*/
23 # define constraintExpr_undefined ((constraintExpr)NULL)
25 extern /*@falsewhennull@*/ bool constraintExpr_isDefined (constraintExpr p_e) /*@*/ ;
26 extern /*@unused@*/ /*@nullwhentrue@*/ bool constraintExpr_isUndefined (constraintExpr p_e) /*@*/ ;
27 extern /*@unused@*/ /*@nullwhentrue@*/ bool constraintExpr_isError (constraintExpr p_e) /*@*/ ;
29 # define constraintExpr_isDefined(e) ((e) != constraintExpr_undefined)
30 # define constraintExpr_isUndefined(e) ((e) == constraintExpr_undefined)
31 # define constraintExpr_isError(e) ((e) == constraintExpr_undefined)
34 void constraintExpr_free ( /*@only@*/ constraintExpr p_expr);
36 constraintExpr constraintExpr_setFileloc (/*@returned@*/ constraintExpr p_c, fileloc p_loc) /*@modifies p_c@*/;
38 constraintExpr constraintExpr_copy (constraintExpr p_expr) /*@*/;
40 /*@only@*/ cstring constraintExpr_unparse (/*@temp@*/ /*@observer@*/ constraintExpr p_ex) /*@*/;
41 extern cstring constraintExpr_print (constraintExpr p_expr) /*@*/;
44 bool constraintExpr_similar (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
45 bool constraintExpr_same (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
46 /*@only@*/ constraintExpr constraintExpr_searchandreplace (/*@only@*/ /*@unique@*/ constraintExpr p_c, /*@temp@*/ /*@observer@*/ constraintExpr p_old, /*@temp@*/ /*@observer@*/ constraintExpr p_newExpr ) /*@modifies p_c@*/;
48 bool constraintExpr_canGetValue (constraintExpr p_expr) /*@*/;
49 long constraintExpr_getValue (constraintExpr p_expr) /*@*/;
51 int constraintExpr_compare (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
53 /* constraintExpr constraintExpr_makeValueInt (int i); */
55 /*@only@*/ /*@notnull@*/constraintExpr constraintExpr_makeIntLiteral (long p_i);
57 /*@only@*/ constraintExpr constraintExpr_makeValueExpr (/*@exposed@*/ exprNode p_expr);
59 /*@only@*/ constraintExpr constraintExpr_makeMaxSetExpr (/*@exposed@*/ exprNode p_expr);
61 /*@only@*/ constraintExpr constraintExpr_makeMaxReadExpr (/*@exposed@*/ exprNode p_expr);
63 /*@only@*/ constraintExpr constraintExpr_makeIncConstraintExpr (/*@only@*/ constraintExpr p_expr);
65 /*@only@*/ constraintExpr constraintExpr_makeDecConstraintExpr (/*@only@*/ constraintExpr p_expr);
67 /*@only@*/ constraintExpr constraintExpr_simplify (/*@only@*/ constraintExpr p_c);
69 /*@only@*/ constraintExpr constraintExpr_solveBinaryExpr (constraintExpr p_lexpr, /*@only@*/ constraintExpr p_expr) /*@modifies p_lexpr, p_expr @*/;
71 bool constraintExpr_search (/*@observer@*/ /*@temp@*/ constraintExpr p_c, /*@observer@*/ /*@temp@*/ constraintExpr p_old);
73 /*@only@*/ fileloc constraintExpr_getFileloc (constraintExpr p_expr);
76 /*@only@*/ constraintExpr constraintExpr_makeSRefMaxset ( /*@temp@*/ /*@observer@*/ sRef p_s);
78 /*@only@*/ constraintExpr constraintExpr_makeSRefMaxRead(/*@temp@*/ /*@observer@*/ sRef p_s);
80 /*@only@*/ constraintExpr constraintExpr_makeTermsRef (/*@temp@*/ sRef p_s);
82 constraintExpr constraintExpr_doSRefFixBaseParam ( /*@returned@*/ constraintExpr p_expr, exprNodeList p_arglist);
84 /*@only@*/ constraintExpr constraintExpr_makeExprNode (/*@dependent@*/ exprNode p_e);
86 /*@only@*/ constraintExpr constraintExpr_doFixResult (/*@only@*/ constraintExpr p_expr, /*@observer@*/ exprNode p_fcnCall);
88 /*@falsewhennull@*/ bool constraintExpr_isLit (constraintExpr p_expr) /*@*/ ;
90 /*@only@*/ constraintExpr constraintExpr_makeAddExpr (/*@only@*/ constraintExpr p_expr, /*@only@*/ constraintExpr p_addent);
92 /*@only@*/ constraintExpr constraintExpr_makeSubtractExpr (/*@only@*/ constraintExpr p_expr, /*@only@*/ constraintExpr p_addent);
94 /*@only@*/ constraintExpr constraintExpr_parseMakeUnaryOp (lltok p_op,/*@only@*/ constraintExpr p_cexpr);
96 constraintExpr constraintExpr_parseMakeBinaryOp (/*@only@*/ constraintExpr p_expr1, lltok p_op, /*@only@*/ constraintExpr p_expr2);
98 bool constraintExpr_hasMaxSet (/*@observer@*/ /*@temp@*/ constraintExpr p_expr);
102 /*@only@*/ constraintExpr constraintExpr_doSRefFixConstraintParam (/*@returned@*/ /*@only@*/ constraintExpr p_expr, exprNodeList p_arglist) /*@modifies p_expr@*/;
105 constraintExpr constraintExpr_propagateConstants (/*@only@*/ constraintExpr p_expr,
106 /*@out@*/ bool * p_propagate,
107 /*@out@*/ int *p_literal);
109 /*@falsewhennull@*/ bool constraintExpr_isBinaryExpr (/*@observer@*/ /*@temp@*/ constraintExpr p_c) /*@*/ ;
111 extern void constraintExpr_dump (/*@observer@*/ /*@temp@*/ constraintExpr p_expr, FILE *p_f);
113 extern /*@only@*/ constraintExpr constraintExpr_undump (FILE *p_f);
115 extern /*@only@*/ constraintExpr constraintExpr_makeTermExprNode (/*@exposed@*/ exprNode p_e) ;
117 /* drl added 8/8/001*/
118 bool constraintExpr_isTerm (/*@observer@*/ /*@temp@*/ constraintExpr p_c);
120 /* drl added 8/8/001*/
121 /*@observer@*/ /*@temp@*/ constraintTerm constraintExpr_getTerm ( /*@temp@*/ /*@observer@*/ constraintExpr p_c);
123 /* drl added 8/8/001*/
124 int constraintExpr_getDepth (/*@observer@*/ /*@temp@*/ constraintExpr p_ex);
127 /*drl 1/6/2001: I didn't think these functions were solid enough to include in the stable release of splint.*/
128 /* drl added 12/30/001*/
129 /* extern / *@only@* / constraintExpr constraintExpr_doSRefFixInvarConstraint (/ *@only@* / constraintExpr p_expr, sRef p_s, ctype p_ct); */
134 bool constraintExpr_isConstantOnly ( constraintExpr p_e );
137 # error "Multiple include"