indexing description: "Owner Draw Action (ODA) constants." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" class interface WEL_ODA_CONSTANTS feature -- Access oda_drawentire: INTEGER oda_focus: INTEGER oda_select: INTEGER invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) end -- class WEL_ODA_CONSTANTS