class TEST_BTREE




Public


Readonly Shareds
shared checked_tests : CARD ; .. Included as checked_tests
shared class_name_str : STR ; .. Included as class_name_str
**** The name of the tested class.
shared failure_docs : FLIST{STR} ; .. Included as failure_docs
**** Documentation of failures.
shared failures : FLIST{CARD} ; .. Included as failures
**** The tests which failed.
shared test_number : CARD ; .. Included as test_number
**** Which test.

Writable Shareds
shared checked_tests : CARD ; .. Included as checked_tests
shared class_name_str : STR ; .. Included as class_name_str
**** The name of the tested class.
shared failure_docs : FLIST{STR} ; .. Included as failure_docs
**** Documentation of failures.
shared failures : FLIST{CARD} ; .. Included as failures
**** The tests which failed.
shared test_number : CARD ; .. Included as test_number
**** Which test.

Constants
const contents10 : STR := "[[.100.120.|..]140[.200.220.|..]240[.260.300.400.500.|]|..]" ;
const contents11 : STR := "[[.100.120.|..]140[.200.220.240.|.]260[.300.400.500.600.|]|..]" ;
const contents12 : STR := "[[.100.120.|..]140[.200.220.240.260.|]280[.300.400.500.600.|]|..]" ;
const contents13 : STR := "[[.100.120.140.|.]180[.200.220.240.260.|]280[.300.400.500.600.|]|..]" ;
const contents14 : STR := "[[.100.120.140.|.]180[.200.220.260.|.]280[.300.400.500.600.|]|..]" ;
const contents15 : STR := "[[.100.120.140.|.]180[.200.220.|..]260[.300.400.500.600.|]|..]" ;
const contents16 : STR := "[[.100.120.140.|.]180[.200.220.260.|.]280[.300.400.500.600.|]|..]" ;
const contents17 : STR := "[[.100.120.140.160.|]180[.200.220.260.|.]280[.300.400.500.600.|]|..]" ;
const contents18 : STR := "[[.100.120.140.160.|]170[.180.200.220.260.|]280[.300.400.500.600.|]|..]" ;
const contents19 : STR := "100 120 140 160 170 180 200 220 260 280 300 400 500 600" ;
const contents1 : STR := "[.200.|...]" ;
const contents20 : STR := "[[.100.120.140.160.|]170[.200.220.260.|.]280[.300.400.500.600.|]|..]" ;
const contents21 : STR := "[[.100.120.140.160.|]170[.200.220.|..]280[.300.400.500.600.|]|..]" ;
const contents22 : STR := "[[.100.120.140.|.]160[.170.220.|..]280[.300.400.500.600.|]|..]" ;
const contents23 : STR := "[[.100.120.|..]140[.160.170.|..]280[.300.400.500.600.|]|..]" ;
const contents24 : STR := "[[.100.120.|..]140[.170.280.|..]300[.400.500.600.|.]|..]" ;
const contents25 : STR := "[[.100.120.|..]140[.280.300.|..]400[.500.600.|..]|..]" ;
const contents26 : STR := "[[.120.140.280.300.|]400[.500.600.|..]|...]" ;
const contents27 : STR := "[[.120.140.280.|.]300[.400.600.|..]|...]" ;
const contents28 : STR := "[[.120.140.|..]280[.300.600.|..]|...]" ;
const contents2 : STR := "[.200.400.|..]" ;
const contents3 : STR := "[.200.300.400.|.]" ;
const contents4 : STR := "[.100.200.300.400.|]" ;
const contents5 : STR := "[[.100.200.|..]300[.400.500.|..]|...]" ;
const contents6 : STR := "[[.100.200.220.|.]300[.400.500.|..]|...]" ;
const contents7 : STR := "[[.100.200.220.240.|]300[.400.500.|..]|...]" ;
const contents8 : STR := "[[.100.200.220.240.|]260[.300.400.500.|.]|...]" ;
const contents9 : STR := "[[.100.120.200.220.|]240[.260.300.400.500.|]|...]" ;

Features
class_name( .. Included as class_name
finish .. Included as finish
main
raise_test( .. Included as raise_test
test(doc_ds, .. Included as test
unchecked_test( .. Included as unchecked_test

The Sather Home Page