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