class
	TEST_GRAPH_BASIC

General
	cluster: basic_tests
	description: "Basic tests for GRAPH[V]"
	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
	t0: BOOLEAN
	t1: BOOLEAN
	t10: BOOLEAN
	t11: BOOLEAN
	t12: BOOLEAN
	t13: BOOLEAN
	t14: BOOLEAN
	t15a: BOOLEAN
	t15b: BOOLEAN
	t16: BOOLEAN
	t17: BOOLEAN
	t18: BOOLEAN
	t19: BOOLEAN
	t2: BOOLEAN
	t20: BOOLEAN
	t21a: BOOLEAN
	t21b: BOOLEAN
	t21c: BOOLEAN
	t3: BOOLEAN
	t4: BOOLEAN
	t5: BOOLEAN
	t6: BOOLEAN
	t7: BOOLEAN
	t8: BOOLEAN
	t9: 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


Generated by ISE EiffelStudio