Empty : BOOL InOut: Scope [...] Empty BOOL

StaticState : BOOL InOut: Scope [...] StaticState BOOL

Initialize : BOOL In [...] Return Initialize BOOL

PROTECTED Analyze : BOOL [...] BOOL

Alarms : BOOL InOut: Scope [...] Alarms BOOL

Next : BOOL Checks the next [...] Next BOOL

Out: Name Type x BOOL _x BOOL t TIME _t TIME

Output xDone BOOL xError BOOL

: BOOL Returns whether [...] BOOL

: BOOL InOut: Scope [...] Return Init BOOL Input