class TEST_ANGLE_T General cluster: tests description: "Eiffel tests that can be executed by testing tool." Ancestors EQA_TEST_SET* Queries asserter: [like new_asserter] EQA_ASSERTIONS environment: EQA_ENVIRONMENT file_system: [like new_file_system] EQA_FILE_SYSTEM is_prepared: BOOLEAN Source_path_key: STRING_8 Target_path_key: STRING_8 Test_name_key: STRING_8 Testing_directory_key: STRING_8 Commands assert (a_tag: STRING_8; a_condition: BOOLEAN) assert_32 (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN) set_asserter (a: [like asserter] EQA_ASSERTIONS) test_abs_negative test_abs_positive test_unary_minus
Generated by ISE EiffelStudio