State Scope

State Scopes allow to define interface declarations and reactions

Interface Declarations

Declarations in a state interface scope are visible in this state and its descendant states.

+

Declarations

Within State Scopes there can be declarations of variables (and signals)?.

A Variable:

• has an optional (not direction for local variables) direction, 
• can be static, 
• has a datatype 
• an optional initial value
• has a CombineOperator (-, +, *, max, min, or, and, host).

Examples: