Test12.ow

UNIT Test12

    VAR x, y, z INTEGER; t TYPE

START
    IF x IS INTEGER THEN
        1 -> x
    END

    \TYPEOF x -> t

    IF x IS t THEN
        2 -> x
    END

    CHOOSE x
    OF 1: 3 -> y
    OR 2: 2 -> y
    OR 3: 1 -> y
    ELSE 0 -> y END;

    CHOOSE x
    AS INTEGER: 2 -> y
    OR BOOLEAN: 3 -> y
    ELSE 0 -> y END;

    CHOOSE
    OF x = 1 : 2 -> y
    OR x = 2 : 3 -> y
    ELSE 0 -> y END;

    CHOOSE x, y, z
    OF 1, *, 2 : NONE -> t
    OR 3, 4, 5 + 1 : NONE -> t
    ELSE NONE -> t END;

END Test12