Section Header

    + name := BLOCK;

    - comment := "Block instruction library { ... } .";

Section Inherit

    - parent_object:OBJECT :=

Section Public

Conditional :


    - '||' Left 10 other:BLOCK :BOOLEAN <-

    - '&&' Left 20 other:BLOCK :BOOLEAN <-

    - if test:BOOLEAN <-

Loop :


    - while_do body:BLOCK <-

    - do_while test:BLOCK <-

    - until_do body:BLOCK <-

    - do_until test:BLOCK <-

    - while_do body:BLOCK ensure test:BLOCK <-
        Mix loop version beetween `while_do' and `do_while'

Debug: Require / Ensure / Check


    - '?' msg:STRING_CONSTANT <-
        User assertion with message.

    - '?' <-
        User assertion without message.

    - '-?' msg:STRING_CONSTANT <-
        Require assertion with message.

    - '-?' <-
        Require assertion without message.

    - '+?' msg:STRING_CONSTANT <-
        Ensure assertion with message.

    - '+?' <-
        Require assertion without message.

    - '?#' val:INTEGER <-
        Other assertion without message.

Code debug.


    - '!' <-