Expression tag, used for differentiating mul-
tiple assertions.

Declaration :

• Uml : + tag : String, multiplicity : 0..1
• C++ : public: string tag
• Java : public String tag

String form of expression, in case an expression evaluator taking String expressions is
used for evaluation.

Declaration :

• Uml : + string_expression : String, multiplicity : 0..1
• C++ : public: string string_expression
• Java : public String string_expression

Definitions of variables used in the assertion expression.

Declaration :

• Uml : + variables : ASSERTION_VARIABLE, multiplicity : 0..*
• C++ : public: ASSERTION_VARIABLE variables
• Java : public ASSERTION_VARIABLE variables

Root of expression tree.

Declaration :

• Uml : + expression : EXPR_ITEM, multiplicity : 1
• C++ : public: EXPR_ITEM expression
• Java : public EXPR_ITEM expression