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

---

Parent Package: basic
Class STATE{Abstract}

Direct Subclassifiers:
       NON_TERMINAL_STATE, TERMINAL_STATE
Abstract definition of one state in a state machine.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
name : String	1	--		name of this state

Constraints
Name	Expression
Name_valid	inv: name <> Void and not name.is_empty
Transitions_valid	inv: transitions <> Void and not transitions.is_empty