-- Automatic generation produced by ISE Eiffel --

indexing
     description: "Generated by h2e from the file c:\eiffel4\examples\wel\pizza\app.rc."

class interface
     APPLICATION_IDS

feature -- Access

     Cmd_exit: INTEGER is 1000

     Cmd_order: INTEGER is 101

     Id_checkbox_garlic: INTEGER is 105

     Id_checkbox_oregano: INTEGER is 104

     Id_dialog_pizza: INTEGER is 1

     Id_ico_application: INTEGER is 1

     Id_ico_forhere: INTEGER is 4

     Id_ico_pizza: INTEGER is 2

     Id_ico_thick: INTEGER is 5

     Id_ico_thin: INTEGER is 6

     Id_ico_togo: INTEGER is 3

     Id_listbox_items: INTEGER is 110

     Id_main_menu: INTEGER is 1

     Id_rad_for_here: INTEGER is 101

     Id_rad_stuff: INTEGER is 113

     Id_rad_thick: INTEGER is 112

     Id_rad_thin: INTEGER is 111

     Id_rad_to_go: INTEGER is 102

     Id_size: INTEGER is 109

     Id_static_price: INTEGER is 103
     
invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class APPLICATION_IDS

-- Generated by ISE Eiffel --

-- For more details: www.eiffel.com --