class INVARIANT_VIOLATION Ancestors ASSERTION_VIOLATION* Clients INVARIANT_VIOLATION ISE_EXCEPTION_MANAGER Suppliers EXCEP_CONST IMMUTABLE_STRING_32 INVARIANT_VIOLATION
Generated by ISE EiffelStudio