class TEST_RESOURCES |
---|
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 Bad_Num : STR := "RES_TEST_BAD_NUM" ; |
---|
const Colon_Omitted : STR := "RES_TEST_COLON_OMITTED" ; |
---|
const Good : STR := "RES_TEST_OK" ; |
---|
const No_Head,Headed ; |
---|
const Missing : STR := "RES_TEST_MISSING" ; |
---|
const Msg_Count : CARD := Headed + 1 ; |
---|
const No_Head,Headed ; |
---|
const Short : STR := "RES_TEST_SHORT" ; |
---|
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 |
---|