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

---

Parent Package: basic
Class TRANSITION
Definition of a state machine transition.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
action : String	0..1	--		Side-effect action to execute during the firing of this transition
event : String	1	--		Event which fires this transition
guard : String	0..1	--		Guard condition which must be true for this transition to fire

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	next_state : STATE	0..1	--	Target state of transition

Constraints
Name	Expression
Action_valid	inv: action <> Void implies not action.is_empty
Guard_valid	inv: guard <> Void implies not guard.is_empty
Event_valid	inv: event <> Void and not event.is_empty
Next_state_valid	inv: next_state <> Void