class TEST_EHEALTH_SYSTEM General cluster: ehealth description: "Summary description for {TEST_EHEALTH_SYSTEM}." create: make Ancestors COMMON_SETUP2 ES_TEST* Queries browser: BOOLEAN curr_os_dir_separator: CHARACTER_8 default_html_name: detachable STRING_8 get_html_name: STRING_8 m1: MEDICATION m2: MEDICATION m3: MEDICATION m4: MEDICATION number_of_tests: INTEGER_32 number_passed_tests: INTEGER_32 p1: PATIENT p2: PATIENT p3: PATIENT p4: PATIENT show_err: BOOLEAN system: HEALTH_SYSTEM t1: 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 common_setup 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