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