deferred class HARDWARE_EXCEPTION Ancestors MACHINE_EXCEPTION* Descendants FLOATING_POINT_FAILURE
Generated by ISE EiffelStudio