summaryrefslogtreecommitdiff
path: root/spec/fltk-widgets-clocks.ads
diff options
context:
space:
mode:
Diffstat (limited to 'spec/fltk-widgets-clocks.ads')
-rw-r--r--spec/fltk-widgets-clocks.ads121
1 files changed, 121 insertions, 0 deletions
diff --git a/spec/fltk-widgets-clocks.ads b/spec/fltk-widgets-clocks.ads
new file mode 100644
index 0000000..d5b3728
--- /dev/null
+++ b/spec/fltk-widgets-clocks.ads
@@ -0,0 +1,121 @@
+
+
+-- Programmed by Jedidiah Barber
+-- Released into the public domain
+
+
+limited with
+
+ FLTK.Widgets.Groups;
+
+
+package FLTK.Widgets.Clocks is
+
+
+ type Clock is new Widget with private;
+
+ type Clock_Reference (Data : not null access Clock'Class) is limited null record
+ with Implicit_Dereference => Data;
+
+ subtype Hour is Integer range 0 .. 23;
+ subtype Minute is Integer range 0 .. 59;
+ subtype Second is Integer range 0 .. 60;
+
+ type Time_Value is mod 2 ** 32;
+
+
+
+
+ package Forge is
+
+ function Create
+ (X, Y, W, H : in Integer;
+ Text : in String := "")
+ return Clock;
+
+ function Create
+ (Parent : in out FLTK.Widgets.Groups.Group'Class;
+ X, Y, W, H : in Integer;
+ Text : in String := "")
+ return Clock;
+
+ end Forge;
+
+
+
+
+ function Get_Hour
+ (This : in Clock)
+ return Hour;
+
+ function Get_Minute
+ (This : in Clock)
+ return Minute;
+
+ function Get_Second
+ (This : in Clock)
+ return Second;
+
+
+
+
+ function Get_Time
+ (This : in Clock)
+ return Time_Value;
+
+ procedure Set_Time
+ (This : in out Clock;
+ To : in Time_Value);
+
+ procedure Set_Time
+ (This : in out Clock;
+ Hours : in Hour;
+ Minutes : in Minute;
+ Seconds : in Second);
+
+
+
+
+ procedure Draw
+ (This : in out Clock);
+
+ procedure Draw
+ (This : in out Clock;
+ X, Y, W, H : in Integer);
+
+
+private
+
+
+ type Clock is new Widget with null record;
+
+ overriding procedure Initialize
+ (This : in out Clock);
+
+ overriding procedure Finalize
+ (This : in out Clock);
+
+ procedure Extra_Init
+ (This : in out Clock;
+ X, Y, W, H : in Integer;
+ Text : in String)
+ with Inline;
+
+ procedure Extra_Final
+ (This : in out Clock)
+ with Inline;
+
+
+ pragma Inline (Get_Hour);
+ pragma Inline (Get_Minute);
+ pragma Inline (Get_Second);
+
+ pragma Inline (Get_Time);
+ pragma Inline (Set_Time);
+
+ pragma Inline (Draw);
+
+
+end FLTK.Widgets.Clocks;
+
+