class TEST_TEXT_FILE




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 Expected_Size : CARD := 1431 ;
**** digits in numbers 1 - 513 inclusive
const First_Name : STR := "xx_text1" ;
const Second_Name : STR := "xx_text2" ;
const Second_Word : STR := "jane" ;
**** must have same size as Word!
const Sequence_Size : CARD := 513 ;
****
const Word : STR := "fred" ;
****
const Word_Count : CARD := 1023 ;

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