class TEST_FSTR




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 Char_Val : CHAR := 'c' ;
const Long_Val : STR := " OF A LONGER STRING THAT SHOULD DOUBLE" ;
const Lower_Val : STR := "test" ;
const Minus_Val : CHAR := '-' ;
const Plus_Val : CHAR := '+' ;
const Sequence : STR := Plus_Val.str +
const Test_Val : STR := "TEST" ;

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