Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_THREAD_SEVERITY_CONSTANTS General cluster: independent_mswin description: "Event severity constants" Ancestors ANY Queries Error: INTEGER_32 Information: INTEGER_32 is_valid_severity (a_severity: INTEGER_32): BOOLEAN Stop: INTEGER_32 Warning: INTEGER_32 Constraints valid information severity valid warning severity valid error severity valid stop severity
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org