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

---

Parent Package: assertion
Class EXPR_LEAF

EXPR_ITEM
   |
   +--EXPR_LEAF
Expression tree leaf item

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
item : Any	1	--		The value referred to; a manifest constant, an attribute path, or a C_PRIMITIVE. [Future: possibly function names as well, even if not constrained in the archetype - as long as they are in the reference model].
reference_type : String	1	--		Type of reference: “constant”, “attribute”, “function”

Constraints
Name	Expression
item_valid	inv: item <> Void