ANY NONE
class interface ALIGNMENT
   -- This class is used to describe widget position inside area
   -- choosen by the container's layout.
   -- x is in range 0.0 to 1.0 from left to right (0.5 is the middle)
   -- y is in range 0.0 to 1.0 from top to bottom (0.5 is the middle)
   -- Alignment is useful only if x_expand_allowed or y_expand_allowed
   -- is True and the space given to the object is bigger than it's
   -- standard size.

creation
   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.

   make (x_pos, y_pos: REAL)

feature(s) from ALIGNMENT
   x: REAL

   y: REAL

   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.

   make (x_pos, y_pos: REAL)

   left

   right

   top

   bottom

   horizontal_center

   vertical_center


invariant

    x.in_range(0.0,1.0);

    y.in_range(0.0,1.0);

end of ALIGNMENT