Lisaac prototype interface

Lisaac^TM Platform

BLOCK

Block instruction library { ... } .

Inherit/Insert Summary
`parent_object` No developed.

Conditional :
`Infix '\|\|'`
`Infix '&&'`
`if`

Loop :
`endless_loop`
`while_do`
`do_while`
`until_do`
`do_until`
`while_do ensure` Mix loop version beetween `while_do` and `do_while`

Debug: Require / Ensure / Check
`Infix '?'` User assertion with message.
`Prefix '?'` User assertion without message.
`Infix '-?'` Require assertion with message.
`Prefix '-?'` Require assertion without message.
`Infix '+?'` Ensure assertion with message.
`Prefix '+?'` Require assertion without message.
`Infix '?#'` Other assertion without message.

Code debug.
`Prefix '!'`

Inherit/Insert Detail

parent_object

.../base/kernel/block.li line #12
Section:: Inherit
Profile:: - Self: SELF. parent_object : OBJECT

Conditional :

Infix '||'

.../base/kernel/block.li line #20
Section:: Public
Profile:: - Self:{ BOOLEAN} ' || ' Left 10 other :{ BOOLEAN} : BOOLEAN

Infix '&&'

.../base/kernel/block.li line #25
Section:: Public
Profile:: - Self:{ BOOLEAN} ' && ' Left 20 other :{ BOOLEAN} : BOOLEAN

if

.../base/kernel/block.li line #30
Section:: Public
Profile:: - Self:{}. if test : BOOLEAN

Loop :

endless_loop

.../base/kernel/block.li line #41
Section:: Public
Profile:: - Self:{}. endless_loop

while_do

.../base/kernel/block.li line #49
Section:: Public
Profile:: - Self:{ BOOLEAN}. while_do body :{}

do_while

.../base/kernel/block.li line #58
Section:: Public
Profile:: - Self:{}. do_while test :{ BOOLEAN}

until_do

.../base/kernel/block.li line #67
Section:: Public
Profile:: - Self:{ BOOLEAN}. until_do body :{}

do_until

.../base/kernel/block.li line #76
Section:: Public
Profile:: - Self:{}. do_until test :{ BOOLEAN}

while_do ensure

.../base/kernel/block.li line #85
Section:: Public
Profile:: - Self:{ BOOLEAN}. while_do body :{} ensure test :{ BOOLEAN}
Description:: Mix loop version beetween while_do and do_while

Debug: Require / Ensure / Check

Infix '?'

.../base/kernel/block.li line #112
Section:: Public
Profile:: - Self:{ BOOLEAN} ' ? ' msg : STRING_CONSTANT
Description:: User assertion with message.

Prefix '?'

.../base/kernel/block.li line #120
Section:: Public
Profile:: - ' ? ' Self:{ BOOLEAN}
Description:: User assertion without message.

Infix '-?'

.../base/kernel/block.li line #128
Section:: Public
Profile:: - Self:{ BOOLEAN} ' -? ' msg : STRING_CONSTANT
Description:: Require assertion with message.

Prefix '-?'

.../base/kernel/block.li line #136
Section:: Public
Profile:: - ' -? ' Self:{ BOOLEAN}
Description:: Require assertion without message.

Infix '+?'

.../base/kernel/block.li line #144
Section:: Public
Profile:: - Self:{ BOOLEAN} ' +? ' msg : STRING_CONSTANT
Description:: Ensure assertion with message.

Prefix '+?'

.../base/kernel/block.li line #152
Section:: Public
Profile:: - ' +? ' Self:{ BOOLEAN}
Description:: Require assertion without message.

Infix '?#'

.../base/kernel/block.li line #160
Section:: Public
Profile:: - Self:{ BOOLEAN} ' ?# ' val : INTEGER
Description:: Other assertion without message.

Code debug.

Prefix '!'

.../base/kernel/block.li line #172
Section:: Public
Profile:: - ' ! ' Self:{ BOOLEAN}