package body foowindowmanager_types is

begin
end foowindowmanager_types;

with windowmanager_types;
use windowmanager_types
package foowindowmanager_types is

type FooWindowManager is new WindowManager with record 
  -- Attributes
end record;

-- Operations
end foowindowmanager_types;

package body foowindow_types is

function redraw return void is
begin
end redraw;

begin
end foowindow_types;

with window_types;
use window_types
package foowindow_types is

type FooWindow is new Window with record 
  -- Attributes
end record;

-- Operations
  -- public:
    function redraw return void;
end foowindow_types;

package body point_types is

function Point ( x: float,  ) y: float ) return  is
begin
end Point;

function getX return float is
begin
end getX;

function getY return float is
begin
end getY;

begin
end point_types;

package point_types is

type Point is tagged record 
  -- Attributes
  -- private:
    x: float;
    y: float;
end record;

-- Operations
  -- public:
    function Point ( x: float,  ) y: float ) return ;
    function getX return float;
    function getY return float;
end point_types;

package body rectangle_types is

function getArea return float is
begin
end getArea;

begin
end rectangle_types;

with point_types;
use point_types
with shape_types;
use shape_types
package rectangle_types is

type Rectangle is new Shape with record 
  -- Attributes
end record;

-- Operations
  -- public:
    function getArea return float;
end rectangle_types;

package body shape_types is

return floatbegin
end shape_types;

package shape_types is

type Shape is tagged record 
  -- Attributes
end record;

-- Operations
  -- public:
    virtual function getArea return float = 0;
end shape_types;

package body windowmanager_types is

begin
end windowmanager_types;

with window_types;
use window_types
package windowmanager_types is

type WindowManager is tagged record 
  -- Attributes
end record;

-- Operations
end windowmanager_types;

package body window_types is

return voidbegin
end window_types;

with shape_types;
use shape_types
package window_types is

type Window is tagged record 
  -- Attributes
  -- private:
    visualrep: Shape;
end record;

-- Operations
  -- public:
    virtual function redraw return void = 0;
end window_types;