View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Attributes | Relations | Constraints

---

Parent Package: assertion
Class EXPR_ITEM{Abstract}

Direct Subclassifiers:
       EXPR_LEAF, EXPR_OPERATOR
Abstract parent of all expression tree items.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
type : String	1	--		Type name of this item. For leaf nodes, must be the name of a primitive type, or else a reference model type. The type for any relational or boolean operator will be “BOOLEAN”, while the type for any arithmetic operator, will be “REAL” or “INTEGER”

Constraints
Name	Expression
type_valid	inv: type <> Void and not type.is_empty