expanded class interface ARC
creation
default_create
-- Default creation method. It is used when no creation
-- method is specified if allowed. Note it may be renamed.
feature(s) from ARC
default_create
-- Default creation method. It is used when no creation
-- method is specified if allowed. Note it may be renamed.
is_equal (other: like Current): BOOLEAN
-- Is other attached to an object considered equal to
-- current object ?
require
other /= Void
ensure
generating_type = other.generating_type implies Result = other.is_equal(Current)
out: STRING
-- Create a new string containing terse printable
-- representation of current object.
feature(s) from ARC
set (x_, y_, width_, height_, angle1_, angle2_: INTEGER)
set_x (x_: INTEGER)
set_y (y_: INTEGER)
set_width (width_: INTEGER)
set_height (height_: INTEGER)
set_angle1 (angle1_: INTEGER)
-- angle in 64th of degree
set_angle2 (angle2_: INTEGER)
-- angle in 64th of degree
to_external: POINTER
x: INTEGER
y: INTEGER
width: INTEGER
height: INTEGER
angle1: INTEGER
-- angle in 64th of degree
angle2: INTEGER
-- angle in 64th of degree
feature(s) from ARC
export_data (store: NATIVE_ARRAY[BIT 8]; index: INTEGER)
end of expanded ARC