ANY DECORATOR NONE
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