-- Automatic generation produced by ISE Eiffel --

class
     CARD

General
     cluster: root_cluster
     create: make

Ancestors
     APP_CONSTANTS
     BASIC_ROUTINES
     GAME_CONSTANTS

Queries
     card_image: WEL_BITMAP
     card_number: INTEGER
     height: INTEGER
     includes_point (x_pos, y_pos: INTEGER): BOOLEAN
     offset_x: INTEGER
     offset_y: INTEGER
     overlapped_with (a_card: CARD): BOOLEAN
     width: INTEGER
     x_position: INTEGER
     y_position: INTEGER

Commands
     set_offset_x (a_x: INTEGER)
     set_offset_y (a_y: INTEGER)
     set_x (a_x: INTEGER)
     set_y (a_y: INTEGER)

Constraints
     card image not void
     card image exists
     card number set

-- Generated by ISE Eiffel --

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