-- Automatic generation produced by ISE Eiffel --

class interface
     PROJECTION

feature -- Access

     x: INTEGER
                 -- Was declared in PROJECTION as synonym of y.

     xr: REAL
                 -- Was declared in PROJECTION as synonym of yr and zr.

     y: INTEGER
                 -- Was declared in PROJECTION as synonym of x.

     yr: REAL
                 -- Was declared in PROJECTION as synonym of xr and zr.

     zr: REAL
                 -- Was declared in PROJECTION as synonym of xr and yr.
     
feature -- Element change

     set_x (a_x: INTEGER)
                 -- Set x with a_x
           ensure
                 x_set: x = a_x

     set_xr (a_xr: REAL)
                 -- Set xr with a_xr
           ensure
                 xr_set: xr = a_xr

     set_y (a_y: INTEGER)
                 -- Set y with a_y
           ensure
                 y_set: y = a_y

     set_yr (a_yr: REAL)
                 -- Set yr with a_yr
           ensure
                 yr_set: yr = a_yr

     set_zr (a_zr: REAL)
                 -- Set zr with a_zr
           ensure
                 zr_set: zr = a_zr
     
invariant

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

end -- class PROJECTION

-- Generated by ISE Eiffel --

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