LisaacTM 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:
- SelfSELFparent_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}