diff options
Diffstat (limited to 'spec/fltk-widgets-groups-tiled.ads')
| -rw-r--r-- | spec/fltk-widgets-groups-tiled.ads | 84 | 
1 files changed, 84 insertions, 0 deletions
diff --git a/spec/fltk-widgets-groups-tiled.ads b/spec/fltk-widgets-groups-tiled.ads new file mode 100644 index 0000000..9edaf6b --- /dev/null +++ b/spec/fltk-widgets-groups-tiled.ads @@ -0,0 +1,84 @@ + + +--  Programmed by Jedidiah Barber +--  Released into the public domain + + +package FLTK.Widgets.Groups.Tiled is + + +    type Tiled_Group is new Group with private; + +    type Tiled_Group_Reference (Data : not null access Tiled_Group'Class) is +        limited null record with Implicit_Dereference => Data; + + + + +    package Forge is + +        function Create +               (X, Y, W, H : in Integer; +                Text       : in String := "") +            return Tiled_Group; + +        function Create +               (Parent     : in out Group'Class; +                X, Y, W, H : in     Integer; +                Text       : in     String := "") +            return Tiled_Group; + +    end Forge; + + + + +    procedure Position +           (This         : in out Tiled_Group; +            Old_X, Old_Y : in     Integer; +            New_X, New_Y : in     Integer); + +    procedure Resize +           (This       : in out Tiled_Group; +            X, Y, W, H : in     Integer); + + + + +    function Handle +           (This  : in out Tiled_Group; +            Event : in     Event_Kind) +        return Event_Outcome; + + +private + + +    type Tiled_Group is new Group with null record; + +    overriding procedure Initialize +           (This : in out Tiled_Group); + +    overriding procedure Finalize +           (This : in out Tiled_Group); + +    procedure Extra_Init +           (This       : in out Tiled_Group; +            X, Y, W, H : in     Integer; +            Text       : in     String) +    with Inline; + +    procedure Extra_Final +           (This : in out Tiled_Group) +    with Inline; + + +    pragma Inline (Position); +    pragma Inline (Resize); + +    pragma Inline (Handle); + + +end FLTK.Widgets.Groups.Tiled; + +  | 
