class EQA_ASSERTIONS General cluster: testing description: "Universal assertion mechanisms." Ancestors ANY Queries last_assertion_failed: BOOLEAN Commands assert (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN) disassert (a_tag: READABLE_STRING_GENERAL; a_condition: BOOLEAN) on_satisfaction (a_tag: READABLE_STRING_GENERAL) on_violation (a_tag: READABLE_STRING_GENERAL)
Generated by ISE EiffelStudio