Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_UI_CONTEXT_AVAILABILITY_ENUM General cluster: ribbon description: "Specifies values that identify the availability of a contextual tab." Ancestors ANY Queries Active: NATURAL_32 Available: NATURAL_32 is_valie (a_value: NATURAL_32): BOOLEAN Not_available: NATURAL_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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