Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_VIEW_VERB General cluster: ribbon description: "Constants for UI_VIEWVERB." Ancestors ANY Queries Create_: INTEGER_32 Destroy: INTEGER_32 Error: INTEGER_32 is_valid (a_int: INTEGER_32): BOOLEAN Size: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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