class
	TEST_VALUE1

General
	cluster: basic_tests
	create: make

Ancestors
	ES_TEST*

Queries
	browser: BOOLEAN
	curr_os_dir_separator: CHARACTER_8
	default_html_name: detachable STRING_8
	get_html_name: STRING_8
	number_of_tests: INTEGER_32
	number_passed_tests: INTEGER_32
	show_err: BOOLEAN
	test0: BOOLEAN
	test00: BOOLEAN
	test01: BOOLEAN
	test1: BOOLEAN
	test100: BOOLEAN
	test101: BOOLEAN
	test102: BOOLEAN
	test103: BOOLEAN
	test104: BOOLEAN
	test105: BOOLEAN
	test106: BOOLEAN
	test107: BOOLEAN
	test108: BOOLEAN
	test109: BOOLEAN
	test11: BOOLEAN
	test110: BOOLEAN
	test111: BOOLEAN
	test112: BOOLEAN
	test113: BOOLEAN
	test114: BOOLEAN
	test115: BOOLEAN
	test116: BOOLEAN
	test117: BOOLEAN
	test12: BOOLEAN
	test13: BOOLEAN
	test2: BOOLEAN
	test200: BOOLEAN
	test201: BOOLEAN
	test202: BOOLEAN
	test203: BOOLEAN
	test204: BOOLEAN
	test205: BOOLEAN
	test206: BOOLEAN
	test207: BOOLEAN
	test208: BOOLEAN
	test209: BOOLEAN
	test210: BOOLEAN
	test211: BOOLEAN
	test212: BOOLEAN
	test213: BOOLEAN
	test214: BOOLEAN
	test215: BOOLEAN
	test216: BOOLEAN
	test217: BOOLEAN
	test218: BOOLEAN
	test219: BOOLEAN
	test22: BOOLEAN
	test220: BOOLEAN
	test221: BOOLEAN
	test222: BOOLEAN
	test223: BOOLEAN
	test224: BOOLEAN
	test225: BOOLEAN
	test226: BOOLEAN
	test227: BOOLEAN
	test3: BOOLEAN
	test300: BOOLEAN
	test301: BOOLEAN
	test302: BOOLEAN
	test303: BOOLEAN
	test304: BOOLEAN
	test305: BOOLEAN
	test306: BOOLEAN
	test307: BOOLEAN
	test308: BOOLEAN
	test309: BOOLEAN
	test310: BOOLEAN
	test4: BOOLEAN
	test400: BOOLEAN
	test401: BOOLEAN
	test402: BOOLEAN
	test403: BOOLEAN
	test404: BOOLEAN
	test405: BOOLEAN
	test5: BOOLEAN
	test8: BOOLEAN
	test9: BOOLEAN

Commands
	add_boolean_case (v: PREDICATE)
	add_violation_case (v: PROCEDURE)
	add_violation_case_with_tag (expected_tag: STRING_8; v: PROCEDURE)
	check_browser
	print_console_report
	print_to_screen (message: STRING_8)
	run_espec
	safe_put_string (message: STRING_8)
	set_error_report (v: BOOLEAN)
	set_html_name (s: STRING_8)
	show_browser
	show_errors
	test10


Generated by ISE EiffelStudio