class TEST_FILE_PATH |
---|
**** |
________This_is_a_test_program_to_test_the_operating_system_independent_class ___FILE_PATH.__Note_that_it_is_not_portable_for_simplicity_in_building_a ___local_test_library.__ _________Version_1.0_Nov_97.___Copyright_K_Hopper,_U_of_Waikato __________________________Development_History __________________________------------------- ________Date___________Who_By_________Detail ________----___________------_________------ _______17_Nov_97________kh_______Original |
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. |
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. |
const Current : STR := "." ; |
---|
const Dummy_Kind : STR := "9_1_1" ; |
---|
const Dummy_Path : STR := "node:/tmp/xxx/yyy/zzz/.aa.bb.cc.dd" ; |
---|
const Fred_Leaf : STR := "fred" ; |
---|
const Fred_Path : STR := "./fred" ; |
---|
const Sather_Home : STR := "../.." ; |
---|
const Text_Kind : STR := "txt" ; |
---|
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 |
---|