Add component construction prototype

ref #97

Author: jklmnn

cement

@@ -61,6 +61,48 @@ def mount_segger_jlink(device):
     iface = dbus.Interface(obj, 'org.freedesktop.UDisks2.Filesystem')
     return iface.get_dbus_method('Mount', dbus_interface='org.freedesktop.UDisks2.Filesystem')([])
 
+def generate_nrf52832_main(config, project_dir):
+    generated_dir = os.path.join(project_dir, "generated")
+    try:
+        os.mkdir(generated_dir)
+    except FileExistsError:
+        pass
+    components = ET.parse(config).getroot().findall("component")
+    implementations = {c.get("name"): c.get("implementation") if "implementation" in c.keys() else c.get("name") for c in components}
+    components = {c.get("name"): {(s.get("server"), s.get("name")) for s in c.findall("service")} for c in components}
+    started = [c for c, s in components.items() if not s]
+    while set(started) != set(components):
+        started.extend([c for c, s in components.items() if c not in started and {t[0] for t in s}.issubset(started)])
+    started = [implementations[s].title() for s in started]
+    with open(os.path.join(generated_dir, "gneiss_internal-main.adb"), "w") as main:
+        main.write(f"""with Gneiss.Init;
+{chr(10).join([f'with {c}.Component;' for c in started])}
+
+package body Gneiss_Internal.Main with
+   SPARK_Mode
+is
+
+   Registry : Component_Registry (0 .. {len(components) - 1}) :=
+    (
+       {("," + chr(10) + "       ").join(
+            [(f'{started.index(implementations[c].title())} => ({chr(10)}'
+              f'         Permits  => ('
+              f'{("," + chr(10) + " " * 22).join([f"({started.index(implementations[t[0]].title())}, Gneiss_Protocol.{t[1]})" for t in s] + ["(-1, Gneiss_Protocol.Message)"] * (8 - len(s)))}'
+              f'),{chr(10)}         Services => (others => System.Null_Address))')
+             for c, s in components.items()
+            ])}
+    );
+
+   procedure Run with
+      SPARK_Mode => Off
+   is
+   begin
+      {(chr(10) + "      ").join([f"{c}.Component.Main.Construct (Gneiss.Init.Create_Capability (Registry'Address, {started.index(c)}));" for c in started])}
+   end Run;
+
+end Gneiss_Internal.Main;
+""")
+    return generated_dir
 
 def build_init(root, outdir, default_args, platform, logger):
     args = default_args + ["-P", f"core",
@@ -147,7 +189,9 @@ def gpr_compile_nrf52832(config, gneiss_root, build_dir, paths, platform, logger
         with open(os.path.join(gneiss_root, f"src/core/{platform}/core.gpr"), "r") as core_template:
             core_gpr.write(core_template.read())
     for step in ["prepare", "compile"]:
-        args += ["-XCEMENT_BUILD_STEP=" + step]
+        args += [f"-XCEMENT_BUILD_STEP={step}"]
+        if step == "compile":
+            args += [f"-XCEMENT_GENERATED_SOURCE={generate_nrf52832_main(config, project_dir)}"]
         logger.debug("gprbuild " + " ".join(args))
         if gprbuild(args) != 0:
             logger.error("Compilation failed")

src/core/nRF52832/core.gpr

@@ -1,15 +1,17 @@
 with "switches";
 with "basalt";
 with "gneiss";
+with "gneiss_protocol";
 
 project Core is
 
    Gneiss_Root := external ("GNEISS_ROOT", ".");
    Step := external ("CEMENT_BUILD_STEP");
+   Generated := external("CEMENT_GENERATED_SOURCE", "");
 
    case Step is
       when "compile" =>
-         for Source_Dirs use (Gneiss_Root & "/src/core/nRF52832");
+         for Source_Dirs use (Gneiss_Root & "/src/core/nRF52832", Generated);
          for Object_Dir use external ("CEMENT_OBJECT_DIR");
          for Create_Missing_Dirs use "True";
          for Languages use ("Ada", "Asm_CPP");

src/core/nRF52832/gneiss_internal-main.ads

@@ -0,0 +1,28 @@
+with System;
+with Gneiss_Protocol;
+
+package Gneiss_Internal.Main with
+   SPARK_Mode
+is
+
+   subtype Index is Integer range -1 .. Integer'Last;
+
+   type Permit is record
+      Server : Index                     := 0;
+      S_Type : Gneiss_Protocol.Kind_Type := Gneiss_Protocol.Kind_Type'First;
+   end record;
+
+   type Permit_List is array (1 .. 8) of Permit;
+
+   type Provides is array (Gneiss_Protocol.Kind_Type) of System.Address;
+
+   type Component is record
+      Permits  : Permit_List;
+      Services : Provides := (others => System.Null_Address);
+   end record;
+
+   type Component_Registry is array (Natural range <>) of Component;
+
+   procedure Run;
+
+end Gneiss_Internal.Main;

src/core/nRF52832/main.adb

@@ -3,6 +3,7 @@ with Componolit.Runtime.Drivers.GPIO;
 with Componolit.Runtime.Debug;
 with Spi;
 with ST7789;
+with Gneiss_Internal.Main;
 
 procedure Main with
    SPARK_Mode
@@ -63,4 +64,5 @@ begin
    Rainbow (Purple, 200);
    Debug.Log_Debug ("There should be a Pixel");
    --  Output.Turn_Off;
+   Gneiss_Internal.Main.Run;
 end Main;

src/platform/nRF52832/gneiss-init.adb

@@ -0,0 +1,12 @@
+package body Gneiss.Init with
+   SPARK_Mode
+is
+
+   function Create_Capability (Reg : System.Address;
+                               Idx : Natural) return Capability
+   is
+   begin
+      return (Reg, Idx);
+   end Create_Capability;
+
+end Gneiss.Init;

src/platform/nRF52832/gneiss-init.ads

@@ -0,0 +1,10 @@
+with System;
+
+package Gneiss.Init with
+   SPARK_Mode
+is
+
+   function Create_Capability (Reg : System.Address;
+                               Idx : Natural) return Capability;
+
+end Gneiss.Init;

src/platform/nRF52832/gneiss_internal.ads

@@ -1,7 +1,12 @@
+with System;
+
 package Gneiss_Internal with
    SPARK_Mode
 is
 
-   type Capability is null record;
+   type Capability is record
+      Reg : System.Address;
+      Idx : Natural;
+   end record;
 
 end Gneiss_Internal;

test/empty/empty-component.adb

@@ -1,12 +1,14 @@
+with Componolit.Runtime.Debug;
 
 package body Empty.Component with
    SPARK_Mode
 is
 
    procedure Construct (Capability : Gneiss.Capability)
    is
+      pragma Unreferenced (Capability);
    begin
-      null;
+      Componolit.Runtime.Debug.Log_Debug ("Empty Construct");
    end Construct;
 
    procedure Destruct