src/Headers/constraintExpr.h

   1 #ifndef __constraintExpr_h__
   2
   3 #define __constraintExpr_h__
   4
   5 typedef enum
   6 {
   7   binaryexpr,
   8   unaryExpr,
   9   term
  10 }
  11 constraintExprKind;
  12
  13 struct _constraintExpr {
  14   constraintExprKind kind;
  15   constraintExprData data;
  16 };
  17
  18
  19
  20 /*@constant null constraintExpr constraintExpr_undefined; @*/
  21 # define constraintExpr_undefined ((constraintExpr)NULL)
  22
  23 extern /*@falsenull@*/ bool constraintExpr_isDefined (constraintExpr p_e) /*@*/ ;
  24 extern /*@unused@*/ /*@truenull@*/ bool constraintExpr_isUndefined (constraintExpr p_e) /*@*/ ;
  25 extern /*@unused@*/ /*@truenull@*/ bool constraintExpr_isError (constraintExpr p_e) /*@*/ ;
  26
  27 # define constraintExpr_isDefined(e)        ((e) != constraintExpr_undefined)
  28 # define constraintExpr_isUndefined(e)      ((e) == constraintExpr_undefined)
  29 # define constraintExpr_isError(e)          ((e) == constraintExpr_undefined)
  30
  31
  32 void constraintExpr_free ( /*@only@*/ constraintExpr expr);
  33
  34 int constraintExpr_getValue (constraintExpr expr) /*@*/;
  35
  36 constraintExpr constraintExpr_setFileloc (/*@returned@*/ constraintExpr c, fileloc loc) /*@modifies c@*/;
  37
  38 constraintExpr constraintExpr_copy (constraintExpr expr) /*@*/;
  39
  40 /*@only@*/ cstring constraintExpr_unparse (/*@temp@*/ /*@observer@*/ constraintExpr ex) /*@*/;
  41 extern cstring constraintExpr_print (constraintExpr expr) /*@*/;
  42
  43
  44 bool constraintExpr_similar (constraintExpr expr1, constraintExpr expr2) /*@*/;
  45 bool constraintExpr_same (constraintExpr expr1, constraintExpr expr2) /*@*/;
  46 /*@only@*/ constraintExpr constraintExpr_searchandreplace (/*@only@*/ /*@unique@*/ constraintExpr c, /*@observer@*/ constraintExpr old, /*@observer@*/ constraintExpr new ) /*@modifies c@*/;
  47 bool constraintExpr_canGetValue (constraintExpr expr) /*@*/;
  48
  49 int constraintExpr_compare (constraintExpr expr1, constraintExpr expr2) /*@*/;
  50
  51 //constraintExpr constraintExpr_makeValueInt (int i);
  52
  53 /*@only@*/ constraintExpr constraintExpr_makeIntLiteral (int i);
  54
  55 /*@only@*/ constraintExpr constraintExpr_makeValueExpr (/*@exposed@*/ exprNode expr);
  56
  57 /*@only@*/ constraintExpr constraintExpr_makeMaxSetExpr (/*@exposed@*/ exprNode expr);
  58
  59 /*@only@*/ constraintExpr  constraintExpr_makeMaxReadExpr (/*@exposed@*/ exprNode expr);
  60
  61 /*@only@*/ constraintExpr constraintExpr_makeIncConstraintExpr (/*@only@*/ constraintExpr expr);
  62
  63 /*@only@*/ constraintExpr constraintExpr_makeDecConstraintExpr (/*@only@*/ constraintExpr expr);
  64
  65 /*@only@*/ constraintExpr constraintExpr_simplify (/*@only@*/ constraintExpr c);
  66
  67 /*@only@*/ constraintExpr constraintExpr_solveBinaryExpr (constraintExpr lexpr, /*@only@*/ constraintExpr expr) /*@modifies lexpr, expr @*/;
  68
  69 bool constraintExpr_search (/*@observer@*/ constraintExpr c, /*@observer@*/ constraintExpr old);
  70
  71 /*@only@*/ fileloc constraintExpr_getFileloc (constraintExpr expr);
  72
  73
  74 /*@only@*/ constraintExpr constraintExpr_makeSRefMaxset ( /*@exposed@*/ sRef s);
  75
  76 /*@only@*/ constraintExpr constraintExpr_makeTermsRef (/*@exposed@*/ sRef s);
  77
  78 constraintExpr constraintExpr_doSRefFixBaseParam ( /*@returned@*/ constraintExpr expr, exprNodeList arglist);
  79
  80 /*@only@*/ constraintExpr constraintExpr_makeExprNode (/*@exposed@*/ exprNode e);
  81
  82 /*@only@*/ constraintExpr constraintExpr_doFixResult (/*@only@*/  constraintExpr expr, /*@exposed@*/ exprNode fcnCall);
  83
  84 bool constraintExpr_isLit (constraintExpr expr);
  85
  86 /*@only@*/ constraintExpr constraintExpr_makeAddExpr (/*@only@*/ constraintExpr expr, /*@only@*/ constraintExpr addent);
  87
  88 /*@only@*/  constraintExpr constraintExpr_makeSubtractExpr (/*@only@*/ constraintExpr expr, /*@only@*/ constraintExpr addent);
  89
  90 /*@only@*/ constraintExpr constraintExpr_parseMakeUnaryOp (lltok op,/*@only@*/ constraintExpr cexpr);
  91
  92 constraintExpr constraintExpr_parseMakeBinaryOp (/*@only@*/ constraintExpr expr1, lltok op, /*@only@*/ constraintExpr expr2);
  93
  94 bool constraintExpr_hasMaxSet (/*@observer@*/ constraintExpr expr);
  95
  96
  97 /*@only@*/ constraintExpr constraintExpr_makeSRefMaxRead(/*@exposed@*/ sRef s);
  98
  99 /*@only@*/ constraintExpr constraintExpr_doSRefFixConstraintParam (/*@returned@*/ /*@only@*/ constraintExpr expr, exprNodeList arglist) /*@modifies expr@*/;
 100
 101 /*@only@*/
 102 constraintExpr constraintExpr_propagateConstants (/*@only@*/ constraintExpr expr,
 103                                                 /*@out@*/ bool * propagate,
 104                                                   /*@out@*/ int *literal);
 105
 106 bool constraintExpr_isBinaryExpr (/*@observer@*/ constraintExpr c);
 107
 108 extern void  constraintExpr_dump (/*@observer@*/ constraintExpr expr,  FILE *f);
 109
 110 extern /*@only@*/ constraintExpr  constraintExpr_undump (FILE *f);
 111
 112 #else
 113
 114
 115 # error "Multiple include"
 116
 117 #endif