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

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

IsInSync : BOOL In [...] Return IsInSync BOOL

: BOOL InOut: Scope [...] Open BOOL Input s