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

---

Parent Package: assertion
Class ASSERTION_VARIABLE
Definition of a named variable used in an assertion expression. Note: the definition of named variables may change; still under development in ADL2.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
definition : String	1	--		Formal definition of the variable. (see ADL2 specification; still under development).
name : String	1	--		Name of variable.

Constraints
Name	Expression
Definition_valid	inv: definition <> Void and not definition.is_empty
Name_valid	inv: name <> Void and not name.is_empty