Lisaac prototype interface

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.
- '!' <-