From b4438b2fbe895694be98e6e8426103deefc51448 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 21 Jan 2025 21:04:54 +1300 Subject: Split public API and private implementation files into different directories --- spec/fltk-widgets-menus-menu_buttons.ads | 104 +++++++++++++++++++++++++++++++ 1 file changed, 104 insertions(+) create mode 100644 spec/fltk-widgets-menus-menu_buttons.ads (limited to 'spec/fltk-widgets-menus-menu_buttons.ads') diff --git a/spec/fltk-widgets-menus-menu_buttons.ads b/spec/fltk-widgets-menus-menu_buttons.ads new file mode 100644 index 0000000..b265d7c --- /dev/null +++ b/spec/fltk-widgets-menus-menu_buttons.ads @@ -0,0 +1,104 @@ + + +-- Programmed by Jedidiah Barber +-- Released into the public domain + + +with + + FLTK.Menu_Items; + +limited with + + FLTK.Widgets.Groups; + + +package FLTK.Widgets.Menus.Menu_Buttons is + + + type Menu_Button is new Menu with private; + + type Menu_Button_Reference (Data : access Menu_Button'Class) is limited null record + with Implicit_Dereference => Data; + + -- Signifies which mouse buttons cause the menu to appear + type Popup_Buttons is (No_Popup, Popup1, Popup2, Popup12, Popup3, Popup13, Popup23, Popup123); + + + + + package Forge is + + function Create + (X, Y, W, H : in Integer; + Text : in String := "") + return Menu_Button; + + function Create + (Parent : in out FLTK.Widgets.Groups.Group'Class; + X, Y, W, H : in Integer; + Text : in String := "") + return Menu_Button; + + end Forge; + + + + + function Get_Popup_Kind + (This : in Menu_Button) + return Popup_Buttons; + + procedure Set_Popup_Kind + (This : in out Menu_Button; + Kind : in Popup_Buttons); + + function Popup + (This : in out Menu_Button) + return Extended_Index; + + + + + procedure Draw + (This : in out Menu_Button); + + function Handle + (This : in out Menu_Button; + Event : in Event_Kind) + return Event_Outcome; + + +private + + + type Menu_Button is new Menu with null record; + + overriding procedure Initialize + (This : in out Menu_Button); + + overriding procedure Finalize + (This : in out Menu_Button); + + procedure Extra_Init + (This : in out Menu_Button; + X, Y, W, H : in Integer; + Text : in String) + with Inline; + + procedure Extra_Final + (This : in out Menu_Button) + with Inline; + + + pragma Inline (Get_Popup_Kind); + pragma Inline (Set_Popup_Kind); + pragma Inline (Popup); + + pragma Inline (Draw); + pragma Inline (Handle); + + +end FLTK.Widgets.Menus.Menu_Buttons; + + -- cgit