class TEST_DIRECTORY
****

________This_is_a_test_program_to_test_the_operating_system_interface_to
___the_directory_system_of_the_native_file_system.__Note_that_it_is_not
___portable_for_simplicity_in_building_a_local_library.
_________Version_1.1_Mar_2000.___Copyright_K_Hopper,_U_of_Waikato
__________________________Development_History
__________________________-------------------
________Date___________Who_By_________Detail
________----___________------_________------
_______17_Nov_97________kh_______Original
_______21_Mar_00________kh_______Fixes_needed_for_portability




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 Dir_Name : STR := "lib_test" ;
const New_Name : STR := "test_lib" ;

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