. InOut: Scope Name Type Initial Comment

name”. InOut: Scope [...] Comment Output x

evaluates to FALSE InOut [...] Initial Comment Return

evaluates to TRUE InOut [...] Initial Comment Return

of type BOOL InOut [...] Initial Comment Return

threshold InOut: Scope [...] Comment Return Assert

of type LDATE InOut [...] Initial Comment Return

threshold InOut: Scope [...] Comment Return Assert

of type DATE InOut [...] Initial Comment Return

_AND_TIME InOut: Scope Name Type Initial Comment