Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	EV_COORDINATE

General
	cluster: interface
	description: "A position in a 2 dimensional space as INTEGERs (x, y)"
	create: default_create, set, make, make_with_position, make_precise

Ancestors
	DEBUG_OUTPUT*

Queries
	debug_output: STRING_8
	x: INTEGER_32
	x_abs: INTEGER_32
	x_precise: REAL_64
	y: INTEGER_32
	y_abs: INTEGER_32
	y_precise: REAL_64

Commands
	make (a_x: [like x] INTEGER_32; a_y: [like y] INTEGER_32)
	make_precise (a_x: [like x_precise] REAL_64; a_y: [like y_precise] REAL_64)
	make_with_position (a_x: [like x] INTEGER_32; a_y: [like y] INTEGER_32)
	set (a_x: [like x] INTEGER_32; a_y: [like y] INTEGER_32)
	set_position (a_x: [like x] INTEGER_32; a_y: [like y] INTEGER_32)
	set_precise (a_x: [like x_precise] REAL_64; a_y: [like y_precise] REAL_64)
	set_x (a_x: [like x] INTEGER_32)
	set_x_precise (a_x: [like x_precise] REAL_64)
	set_y (a_y: [like y] INTEGER_32)
	set_y_precise (a_y: [like y_precise] REAL_64)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org