]>
Commit | Line | Data |
---|---|---|
a8e557d3 | 1 | #ifndef __constraintExprData_h__ |
2 | ||
3 | #define __constraintExprData_h__ | |
4 | ||
5 | ||
6 | typedef enum | |
7 | { | |
84c9ffbf | 8 | BINARYOP_UNDEFINED, |
a8e557d3 | 9 | PLUS, |
10 | MINUS | |
11 | } | |
12 | constraintExprBinaryOpKind; | |
13 | ||
14 | typedef enum | |
15 | { | |
16 | UNARYOP_UNDEFINED, | |
bb25bea6 | 17 | MAXSET, MINSET, MAXREAD, MINREAD |
a8e557d3 | 18 | } |
19 | constraintExprUnaryOpKind; | |
20 | ||
21 | ||
22 | typedef struct constraintExprBinaryOp_ | |
23 | { | |
24 | constraintExpr expr1; | |
25 | constraintExprBinaryOpKind binaryOp; | |
26 | constraintExpr expr2; | |
27 | } constraintExprBinaryOp; | |
28 | ||
29 | ||
30 | typedef struct constraintExprUnaryOp_ | |
31 | { | |
32 | constraintExpr expr; | |
33 | constraintExprUnaryOpKind unaryOp; | |
34 | } constraintExprUnaryOp; | |
35 | ||
36 | ||
28bf4b0b | 37 | typedef union constraintExprData |
a8e557d3 | 38 | { |
39 | constraintExprBinaryOp binaryOp; | |
40 | constraintExprUnaryOp unaryOp; | |
41 | constraintTerm term; | |
dfd03f44 | 42 | } *constraintExprData; |
a8e557d3 | 43 | |
dfd03f44 | 44 | extern /*@falsenull@*/ bool constraintExprData_isDefined (/*@temp@*/ /*@observer@*/ /*@reldef@*/ constraintExprData p_e) /*@*/ ; |
45 | # define constraintExprData_isDefined(e) ((e) != NULL) | |
a8e557d3 | 46 | |
2934b455 | 47 | extern void constraintExprData_freeBinaryExpr (/*@only@*/ constraintExprData) ; |
48 | extern void constraintExprData_freeUnaryExpr (/*@only@*/ constraintExprData) ; | |
49 | extern void constraintExprData_freeTerm (/*@only@*/ constraintExprData) ; | |
a8e557d3 | 50 | |
28bf4b0b | 51 | constraintExprData constraintExprData_termSetTerm ( /*@returned@*/ /*@partial@*/ constraintExprData p_data, /*@only@*/ constraintTerm p_term); |
d46ce6a4 | 52 | |
28bf4b0b | 53 | /*@observer@*/ constraintTerm constraintExprData_termGetTerm (/*@observer@*/ constraintExprData p_data) /*@*/; |
a8e557d3 | 54 | |
28bf4b0b | 55 | constraintExprUnaryOpKind constraintExprData_unaryExprGetOp (/*@observer@*//*@reldef@*/constraintExprData p_data) /*@*/; |
a8e557d3 | 56 | |
28bf4b0b | 57 | /*@observer@*/ constraintExpr constraintExprData_unaryExprGetExpr (/*@observer@*/ /*@reldef@*/constraintExprData p_data) /*@*/; |
a8e557d3 | 58 | |
59 | ||
28bf4b0b | 60 | // special constraintExprData constraintExprData_unaryExprSetOp ( /out special@*/ @returned@ constraintExprData p_data, constraintExprUnaryOpKind op) /sets result->unaryOp.unaryOp; |
a8e557d3 | 61 | |
62 | ||
28bf4b0b | 63 | constraintExprData constraintExprData_unaryExprSetOp (/*@partial@*/ /*@returned@*/ constraintExprData p_data, constraintExprUnaryOpKind p_op); |
a8e557d3 | 64 | |
28bf4b0b | 65 | constraintExprData constraintExprData_unaryExprSetExpr (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr); |
a8e557d3 | 66 | |
67 | ||
28bf4b0b | 68 | constraintExprBinaryOpKind constraintExprData_binaryExprGetOp (/*@partial@*/constraintExprData p_data) /*@*/; |
a8e557d3 | 69 | |
28bf4b0b | 70 | /*@observer@*/ constraintExpr constraintExprData_binaryExprGetExpr1 (/*@observer@*/ /*@reldef@*/constraintExprData p_data)/*@*/; |
a8e557d3 | 71 | |
28bf4b0b | 72 | /*@observer@*/ constraintExpr constraintExprData_binaryExprGetExpr2 (/*@observer@*/ /*@reldef@*/constraintExprData p_data)/*@*/; |
a8e557d3 | 73 | |
28bf4b0b | 74 | constraintExprData constraintExprData_binaryExprSetExpr1 (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr) ; |
a8e557d3 | 75 | |
28bf4b0b | 76 | constraintExprData constraintExprData_binaryExprSetExpr2 (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr); |
a8e557d3 | 77 | |
28bf4b0b | 78 | constraintExprData constraintExprData_binaryExprSetOp (/*@partial@*/ /*@returned@*/ /*@out@*/constraintExprData p_data, constraintExprBinaryOpKind p_op); |
a8e557d3 | 79 | |
28bf4b0b | 80 | /*@only@*/ constraintExprData constraintExprData_copyBinaryExpr(/*@observer@*/ constraintExprData p_data); |
a8e557d3 | 81 | |
28bf4b0b | 82 | /*@only@*/ constraintExprData constraintExprData_copyUnaryExpr(/*@observer@*/ constraintExprData p_data); |
a8e557d3 | 83 | |
28bf4b0b | 84 | /*@only@*/ constraintExprData constraintExprData_copyTerm (/*@observer@*/ constraintExprData p_data); |
a8e557d3 | 85 | |
86 | #else | |
87 | ||
88 | #error "Multiple Include" | |
89 | ||
90 | #endif |