ANY CONTAINER NONE
deferred class interface LAYOUT
   -- A LAYOUT is an algorithm that organise WIDGETs in a CONTAINER.

feature(s) from LAYOUT
   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.
      ensure
         container = Void

feature(s) from LAYOUT
   container: CONTAINER

feature(s) from LAYOUT
   set_container (c: CONTAINER)
      require
         container = Void;
         c /= Void;
         c.layout = Current
      ensure
         container = c

   detach
      require
         container /= Void
      ensure
         container = Void

   redo_layout (x, y: INTEGER)
      require
         container /= Void
      ensure
         valid_size(container)

   update_requisition
      require
         container /= Void

   expose_paint
      require
         container /= Void

   valid_size (c: CONTAINER): BOOLEAN



end of deferred LAYOUT