#ifndef __constraintExprData_h__
-
#define __constraintExprData_h__
-
typedef enum
{
BINARYOP_UNDEFINED,
typedef enum
{
UNARYOP_UNDEFINED,
- MAXSET, MINSET, MAXREAD, MINREAD
+ MAXSET, MINSET, MAXREAD, MINREAD
}
constraintExprUnaryOpKind;
-
typedef struct constraintExprBinaryOp_
{
constraintExpr expr1;
constraintExpr expr2;
} constraintExprBinaryOp;
-
typedef struct constraintExprUnaryOp_
{
constraintExpr expr;
constraintExprUnaryOpKind unaryOp;
} constraintExprUnaryOp;
-
typedef union constraintExprData
{
constraintExprBinaryOp binaryOp;
extern constraintExprData constraintExprData_termSetTerm ( /*@returned@*/ /*@partial@*/ constraintExprData p_data, /*@only@*/ constraintTerm p_term);
-extern /*@observer@*/ constraintTerm constraintExprData_termGetTerm (/*@observer@*/ constraintExprData p_data) /*@*/;
+extern /*@exposed@*/ constraintTerm
+constraintExprData_termGetTerm (/*@observer@*/ constraintExprData p_data) /*@*/;
-extern constraintExprUnaryOpKind constraintExprData_unaryExprGetOp (/*@observer@*/ /*@reldef@*/ constraintExprData p_data) /*@*/;
+extern constraintExprUnaryOpKind
+constraintExprData_unaryExprGetOp (/*@observer@*/ /*@reldef@*/ constraintExprData p_data) /*@*/;
-extern /*@observer@*/ constraintExpr constraintExprData_unaryExprGetExpr (/*@observer@*/ /*@reldef@*/constraintExprData p_data) /*@*/;
+extern /*@observer@*/ constraintExpr
+constraintExprData_unaryExprGetExpr (/*@observer@*/ /*@reldef@*/constraintExprData p_data) /*@*/;
-extern constraintExprData constraintExprData_unaryExprSetOp (/*@partial@*/ /*@returned@*/ constraintExprData p_data, constraintExprUnaryOpKind p_op);
+extern constraintExprData
+constraintExprData_unaryExprSetOp (/*@partial@*/ /*@returned@*/ constraintExprData p_data, constraintExprUnaryOpKind p_op);
extern constraintExprData constraintExprData_unaryExprSetExpr (/*@partial@*/ /*@returned@*/ constraintExprData p_data, /*@only@*/ constraintExpr p_expr);