first commit

Author: SMerrony

.envrc

@@ -0,0 +1 @@
+eval $(alr printenv)

.gitignore

@@ -0,0 +1,4 @@
+/obj/
+/bin/
+/alire/
+/config/

.vscode/launch.json

@@ -0,0 +1,17 @@
+{
+    // Use IntelliSense to learn about possible attributes.
+    // Hover to view descriptions of existing attributes.
+    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "name": "Debug",
+            "type": "gdb",
+            "request": "launch",
+            "target": "./bin/keypadder",
+            "arguments": "--config=examples/keypad.toml",
+            "cwd": "${workspaceRoot}",
+            "valuesFormatting": "parseText"
+        }
+    ]
+}

LICENSE

@@ -0,0 +1,13 @@
+name = "keypadder"
+description = "Shiny new project"
+version = "0.1.0-dev"
+
+authors = ["Stephen Merrony"]
+maintainers = ["Stephen Merrony <[email protected]>"]
+maintainers-logins = ["SMerrony"]
+
+executables = ["keypadder"]
+[[depends-on]]
+aws = "^23.0.0"
+[[depends-on]]
+ada_toml = "~0.3.0"

alire.toml

@@ -0,0 +1,55 @@
+[keypadder]
+port = 8082	# HTTP port to use
+
+[[tab]]   # A new tab
+label = "French"
+cols = 3	# No. of columns on this tab
+keys = [
+  { label = "à", send  = "à" },
+  { label = "â" },
+  { label = "ç" },
+# new row will start here
+  { label = "è" },
+  { label = "ê" },
+  { label = "é" },
+#
+  { label = "ì" },
+  { label = "î" },
+  { label = "ï" },
+#
+  { label = "ò" },
+  { label = "ô" },
+  { label = "ë" },
+#
+  { label = "ù" },
+  { label = "û" },
+  { label = "ü" }
+]
+
+[[tab]]
+label = "MuseScore"
+cols = 4
+keys = [
+  { label = "Esc", send = "\u001b" },
+  { label = "\U0001d17b", send = "V" },
+  { label = "\U0001d17c", send = "S" },
+  { label = "\U0001d17d", send = "N" },
+#
+  { label = "\u266e", send = "=" },
+  { label = "\u266f", send = "+" },
+  { label = "\u266d", send = "-" },
+  { label = "BLANK" },
+#
+  { label = "\U0001d1df", send = "5" },
+  { label = "\U0001d15f", send = "6" },
+  { label = "\U0001d15d", send = "7" },
+  { label = "BLANK" },
+#
+  { label = "\U0001d162", send = "2" },
+  { label = "\U0001d161", send = "3" },
+  { label = "\U0001d160", send = "4" },
+  { label = "\u035c", rowspan = 2, send = "T" },
+#
+  { label = "\U0001d13d", colspan = 2, send = "0" },
+  { label = "." }
+]

examples/keypad.toml

@@ -0,0 +1,22 @@
+with "config/keypadder_config.gpr";
+project Keypadder is
+
+   for Source_Dirs use ("src/", "config/");
+   for Object_Dir use "obj/" & Keypadder_Config.Build_Profile;
+   for Create_Missing_Dirs use "True";
+   for Exec_Dir use "bin";
+   for Main use ("keypadder.adb");
+
+   package Compiler is
+      for Default_Switches ("Ada") use Keypadder_Config.Ada_Compiler_Switches;
+   end Compiler;
+
+   package Binder is
+      for Switches ("Ada") use ("-Es"); --  Symbolic traceback
+   end Binder;
+
+   package Install is
+      for Artifacts (".") use ("share");
+   end Install;
+
+end Keypadder;

keypadder.gpr

@@ -0,0 +1,90 @@
+--  SPDX-License-Identifier: GPL-3.0-or-later
+--  SPDX-FileCopyrightText: Copyright 2023 Stephen Merrony
+
+with Ada.Text_IO;   use Ada.Text_IO;
+
+with TOML;
+with TOML.File_IO;
+
+package body Config is
+
+   procedure Load_Config_File (Filename : String; Verbose : Boolean := False) is
+      Toml_Parse_Result : TOML.Read_Result;
+   begin
+      Toml_Parse_Result := TOML.File_IO.Load_File (Filename);
+      if not Toml_Parse_Result.Success then
+         raise Could_Not_Parse with To_String (Toml_Parse_Result.Message);
+      end if;
+
+      declare
+         Top_Keys : constant TOML.Key_Array := Toml_Parse_Result.Value.Keys;
+         Tab_Ix   : Natural := 0;
+      begin
+         for TK of Top_Keys loop
+            if Verbose then
+               Put_Line ("Configuration for " & To_String (TK) & " is...");
+            end if;
+
+            if To_String (TK) = "keypadder" then
+               declare
+                  Keypadder_Table : constant TOML.TOML_Value := TOML.Get (Toml_Parse_Result.Value, "keypadder");
+               begin
+                  Keypadder_Conf.Port := Port_T (TOML.As_Integer (TOML.Get (Keypadder_Table, "port")));
+                  if Verbose then
+                     Put_Line ("Port:" & Keypadder_Conf.Port'Image);
+                  end if;
+               end;
+            elsif To_String (TK) = "tab" then
+               declare
+                  Tabs_Array : constant TOML.TOML_Value := TOML.Get (Toml_Parse_Result.Value, "tab");
+                  Tabs_Count : constant Natural         := TOML.Length (Tabs_Array);
+                  Tab        : TOML.TOML_Value;
+
+               begin
+                  if Tabs_Count = 0 then
+                     raise Incomplete_Configuration with "you must configure at least one Tab";
+                  end if;
+                  for T in 1 .. Tabs_Count loop
+                     Tab_Ix := Tab_Ix + 1;
+                     Tab := TOML.Item (Tabs_Array, T);
+                     Tabs (T).Label   := TOML.As_Unbounded_String (TOML.Get (Tab, "label"));
+                     Tabs (T).Columns := Natural (TOML.As_Integer (TOML.Get (Tab, "cols")));
+                     --  Put_Line ("Tab defined:"  & TOML.Dump_As_String (Tab));
+                     if Verbose then
+                        Put_Line ("Tab: " & To_String (Tabs (T).Label) &
+                                  " with:" & Tabs (T).Columns'Image & " columns");
+                     end if;
+                     declare
+                        Keys_Array : constant TOML.TOML_Value := TOML.Get (Tab, "keys");
+                        Key_Table  : TOML.TOML_Value;
+                     begin
+                        Put_Line ("Keys defined:"  & TOML.Length (Keys_Array)'Image);
+                        Tabs (Tab_Ix).Keys_Count := TOML.Length (Keys_Array);
+                        for K in 1 .. TOML.Length (Keys_Array) loop
+                           Key_Table := TOML.Item (Keys_Array, K);
+                           Tabs (Tab_Ix).Keys (K).Label := TOML.As_Unbounded_String (TOML.Get (Key_Table, "label"));
+                           if TOML.Has (Key_Table, "send") then
+                              Tabs (Tab_Ix).Keys (K).Send := TOML.As_Unbounded_String (TOML.Get (Key_Table, "send"));
+                           end if;
+                           if TOML.Has (Key_Table, "colspan") then
+                              Tabs (Tab_Ix).Keys (K).Colspan := Natural (TOML.As_Integer (TOML.Get (Key_Table, "colspan")));
+                           end if;
+                           if TOML.Has (Key_Table, "rowspan") then
+                              Tabs (Tab_Ix).Keys (K).Rowspan := Natural (TOML.As_Integer (TOML.Get (Key_Table, "rowspan")));
+                           end if;
+                           if Verbose then
+                              Put_Line ("Key No. " & K'Image & " is: " & To_String (Tabs (Tab_Ix).Keys (K).Label));
+                           end if;
+                        end loop;
+                     end;
+                  end loop;
+               end;
+            else
+               raise Unknown_Configuration_Item with To_String (TK);
+            end if;
+
+         end loop;
+      end;
+   end Load_Config_File;
+
+end Config;

src/config.adb

@@ -0,0 +1,48 @@
+--  SPDX-License-Identifier: GPL-3.0-or-later
+
+with Ada.Strings.Unbounded;     use Ada.Strings.Unbounded;
+
+package Config is
+
+   type Port_T is range 1 .. 65535;
+   type Keypadder_Conf_T is record
+      Port : Port_T;
+   end record;
+
+   Keypadder_Conf : Keypadder_Conf_T;
+
+   type Key_T is record
+      Label   : Unbounded_String;
+      Send    : Unbounded_String;
+      Colspan,
+      Rowspan : Natural := 0;
+   end record;
+
+   Max_Keys : constant Positive := 88;
+   --  Arbitrary limit to ensure the config parser doesn't go into
+   --  a crazy loop.
+
+   type Keys_T is array (1 .. Max_Keys) of Key_T;
+
+   type Tab_T is record
+      Label      : Unbounded_String;
+      Columns    : Natural := 0;
+      Keys       : Keys_T;
+      Keys_Count : Natural := 0;
+   end record;
+
+   Max_Tabs   : constant Positive := 8;
+   Tabs_Count : Natural := 0;
+
+   type Tabs_T is array (1 .. Max_Tabs) of Tab_T;
+
+   Tabs : Tabs_T;
+
+   procedure Load_Config_File (Filename : String; Verbose : Boolean := False);
+
+   Could_Not_Parse,
+   Duplicate_Configuration,
+   Incomplete_Configuration,
+   Unknown_Configuration_Item  : exception;
+
+end Config;

src/config.ads

@@ -0,0 +1,84 @@
+--  SPDX-License-Identifier: GPL-3.0-or-later
+--  SPDX-FileCopyrightText: Copyright 2023 Stephen Merrony
+
+with Ada.Command_Line;        use Ada.Command_Line;
+with Ada.Directories;
+with Ada.Strings.Unbounded;   use Ada.Strings.Unbounded;
+with Ada.Text_IO;             use Ada.Text_IO;
+
+with AWS.Response;
+with AWS.Server;
+with AWS.Status;
+
+with Config;
+
+procedure Keypadder is
+
+   App_SemVer : constant String := "0.1.0";  --  TODO Update App_SemVer for each release
+
+   Arg_Ix     : Natural := 1;
+   Config_Arg : Unbounded_String := Null_Unbounded_String;
+   Verbose    : Boolean := True; --  FIXME debugging
+
+   WS : AWS.Server.HTTP;
+   Do_Shutdown : Boolean := False;
+
+   function HW_CB (Request : AWS.Status.Data)
+      return AWS.Response.Data
+   is
+      URI : constant String := AWS.Status.URI (Request);
+   begin
+      if URI = "/hello" then
+         return AWS.Response.Build ("text/html", "<p>Hello world !");
+      elsif URI = "/shutdown" then
+         Do_Shutdown := True;
+         return AWS.Response.Build ("text/html", "<p>Shutting down...");
+      else
+         return AWS.Response.Build ("text/html", "<p>Hum...");
+      end if;
+   end HW_CB;
+
+begin
+
+   while Arg_Ix <= Argument_Count loop
+      if Argument (Arg_Ix) = "-V" or else Argument (Arg_Ix) = "-version" then
+            Ada.Text_IO.Put_Line ("keypadder version: " & App_SemVer);
+            return;
+      elsif Argument (Arg_Ix) = "-v" or else Argument (Arg_Ix) = "-verbose" then
+            Verbose := True;
+      elsif Argument (Arg_Ix) = "-h" or else Argument (Arg_Ix) = "-help "then
+            Put_Line ("Usage of keypadder:");
+            Put_Line ("  --config=<config-file>  Configuration file for keypadder (required)");
+            Put_Line ("  -h | -help              Show this help");
+            Put_Line ("  -V | -version           Show the version of keypadder and exit");
+            Put_Line ("  -v | -verbose           Show lots of detail when running");
+            return;
+      elsif Argument (Arg_Ix)'Length > 9 and then Argument (Arg_Ix)(1 .. 9) = "--config=" then
+            Config_Arg := To_Unbounded_String (Argument (Arg_Ix)(10 .. Argument (Arg_Ix)'Length));
+      end if;
+      Arg_Ix := Arg_Ix + 1;
+   end loop;
+
+   if Config_Arg = Null_Unbounded_String then
+      Put_Line ("ERROR: You must specify a configuration file.  Use '-h' for help.");
+      return;
+   end if;
+
+   if not Ada.Directories.Exists (To_String (Config_Arg)) then
+      Put_Line ("ERROR: Configuration file: " & To_String (Config_Arg) & " does not exist.");
+      return;
+   end if;
+
+   Config.Load_Config_File (To_String (Config_Arg), Verbose);
+
+   AWS.Server.Start (WS,
+                    Name => "Keypadder Server",
+                    Callback => HW_CB'Unrestricted_Access,
+                    Max_Connection => 2,
+                    Port => 9090);
+   loop
+      delay 10.0;
+      exit when Do_Shutdown;
+   end loop;
+   AWS.Server.Shutdown (WS);
+end Keypadder;