class TEST_SEQ General cluster: basic_tests description: "Summary description for {TEST_SEQ}." create: make Ancestors ES_TEST* Queries browser: BOOLEAN curr_os_dir_separator: CHARACTER_8 default_html_name: detachable STRING_8 f (i: INTEGER_32): INTEGER_32 get_html_name: STRING_8 is_positive (pair: PAIR [INTEGER_32, INTEGER_32]): BOOLEAN is_sorted (pair: PAIR [INTEGER_32, INTEGER_32]; seq: SEQ [INTEGER_32]): BOOLEAN number_of_tests: INTEGER_32 number_passed_tests: INTEGER_32 show_err: BOOLEAN t1: BOOLEAN t10: BOOLEAN t11: BOOLEAN t12: BOOLEAN t13: BOOLEAN t14: BOOLEAN t15: BOOLEAN t16: BOOLEAN t2: 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