Case Block

Selects values depending on an enumerated value.

Syntax

where the pattern syntax is defined in Pattern

Signatures

  1. Type

    The input expr is of type: enumerated, or integer, or character or Boolean.

    All patterns and the input expr must have the same type.

    Each flow entering a branch, is of a type 'T and the output is of type 'T, which extends to a group

    Rules on the patterns:

    • All patterns must be different

    • If the input expr is an integer or a character, the default pattern is mandatory, else it is optional, provided that all values of the type are present.

  2. Causality

    The outputs depend instantaneously on the inputs.

  3. Initialization

    The resulting sequence has its first value defined if the inputs have their first value defined.

  4. Clock

    The inputs and outputs have the same clock.