note description: "[ Specifies values that identify the availability of a contextual tab. ]" date: "$Date$" revision: "$Revision$" class EV_UI_CONTEXT_AVAILABILITY_ENUM feature -- Enum not_available: NATURAL_32 = 0 -- UI_CONTEXTAVAILABILITY_NOTAVAILABLE -- A contextual tab is not available for the selected object. available: NATURAL_32 = 1 -- UI_CONTEXTAVAILABILITY_AVAILABLE -- A contextual tab is available for the selected object. The tab is not the active tab. active: NATURAL_32 = 2 -- UI_CONTEXTAVAILABILITY_ACTIVE -- A contextual tab is available for the selected object. The tab is the active tab. feature -- Contract support is_valie (a_value: NATURAL_32): BOOLEAN -- If `a_value' valid? do Result := a_value = not_available or else a_value = available or else a_value = active end note copyright: "Copyright (c) 1984-2011, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end