robotransform 0.0.4__tar.gz → 0.0.6__tar.gz

{robotransform-0.0.4 → robotransform-0.0.6}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: robotransform
-Version: 0.0.4
+Version: 0.0.6
 Summary: Perform model transformations for the RoboSapiens project.
 Keywords: transformation
 Author: Arkadiusz Michał Ryś
@@ -706,5 +706,7 @@ Description-Content-Type: text/markdown
 
 # RoboTransform
 
-Library to perform model to model transformations in the context of RoboSapiens.
+Library to perform model to model transformations in the context of RoboSAPIENS.
 
+For installation steps follow [the documentation](https://robotransform-0f96de.pages.rys.one/).
+We also provide [the reasoning behind certain decisions](-/jobs/artifacts/main/download?job=typst).

robotransform-0.0.6/README.md

@@ -0,0 +1,6 @@
+# RoboTransform
+
+Library to perform model to model transformations in the context of RoboSAPIENS.
+
+For installation steps follow [the documentation](https://robotransform-0f96de.pages.rys.one/).
+We also provide [the reasoning behind certain decisions](-/jobs/artifacts/main/download?job=typst).

{robotransform-0.0.4 → robotransform-0.0.6}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "uv_build"
 
 [project]
 name = "robotransform"
-version = "0.0.4"
+version = "0.0.6"
 description="Perform model transformations for the RoboSapiens project."
 authors = [
     {name = "Arkadiusz Michał Ryś", email = "Arkadiusz.Michal.Rys@gmail.com"},

{robotransform-0.0.4 → robotransform-0.0.6}/src/robotransform/concepts.py

@@ -566,7 +566,7 @@ class ProductType:
     def __repr__(self):
         if len(self.types) > 1:
             joined = "*".join(map(str, self.types))
-            return f"{joined}]"
+            return f"{joined}"
         return f"{self.types[0]}"
 
 
@@ -576,7 +576,7 @@ class SeqType:
     parent: Any
 
     def __repr__(self):
-        return f"Seq({self.domain})"
+        return f"[{self.domain}]"
 
 
 @dataclass

robotransform-0.0.6/src/robotransform/filters.py

@@ -0,0 +1,32 @@
+def type_to_port(_type) -> str:
+    # TODO this is wrong
+    if str(_type) in {"event", }:
+        return "event"
+    return "data"
+
+def type_to_aadl_type(_type) -> str:
+    typename = str(_type)
+    # Boolean,
+    # Character,
+    # Float, Float_32, Float_64,
+    # Integer, Integer_8, Integer_16, Integer_32, Integer_64,
+    # Natural,
+    # String,
+    # Unsigned_8, Unsigned_16, Unsigned_32, Unsigned_64
+    mapping = {
+        "boolean": "Base_Types::Boolean",
+        "nat"    : "Base_Types::Natural",
+        "real"   : "Base_Types::Float",
+    }
+    # TODO Seq -> Array[...]
+    # TODO Matrix to Array[Array[...]]
+    # REASON: AADL does not support variable length arrays
+    # TODO Very hacky, not correct
+    if typename.startswith("[") and typename.endswith("]"):
+        typename = typename[1:-1]
+    elif "*" in typename:
+        typename = typename.split("*")[0]
+    return mapping.get(typename, f"messages::{typename}")
+
+def aadl_case_fix(indetifier: str) -> str:
+    return identifier

robotransform-0.0.6/src/robotransform/templates/logical.aadl

@@ -0,0 +1,74 @@
+{%- macro render_port(name, direction, type) -%}
+  {{ name }}: {{ direction }} {{ type | type_to_port }} port {{ type | type_to_aadl_type}};
+{%- endmacro -%}
+
+{%- macro render_node_threads(machine) -%}
+  {%- for node in machine.nodes %}
+  thread {{ node.name }}
+    --features {# TODO: Replace these with real resolved fields #}
+      --input:  in  data port Base_Types::Float;
+      --output: out data port Base_Types::Float;
+  end {{ node.name }};
+  thread implementation {{ node.name }}.impl
+  end {{ node.name }}.impl;
+  {%- endfor %}
+{%- endmacro -%}
+
+package LogicalArchitecture
+public
+  with messages, Base_Types;
+{%- for package in packages %}
+  process {{package.name}}
+    {%- set interface_vars = package.interfaces | map(attribute="variables") | sum(start=[]) -%}
+    {%- set machine_vars = package.machines | map(attribute="variables") | sum(start=[]) -%}
+    {%- if interface_vars or machine_vars %}
+    features
+      {%- for interface in package.interfaces -%}
+        {%- for variable in interface.variables %}
+      {{ render_port(variable.name, "in",  variable.type) }}
+        {%- endfor %}
+      {%- endfor %}
+      {%- for machine in package.machines -%}
+        {%- for variable in machine.variables %}
+      {{ render_port(variable.name, "in",  variable.type) }}
+        {%- endfor %}
+      {%- endfor -%}
+      {%- endif %}
+  end {{package.name}};
+  process implementation {{package.name}}.impl
+  {%- set machines_with_nodes = package.machines | selectattr('nodes') | selectattr('nodes', '!=', []) | list %}
+    {%- if machines_with_nodes %}
+    modes
+      {%- for machine in machines_with_nodes -%}
+        {% for node in machine.nodes %}
+      {{node.name}}: {% if loop.first %}initial {% endif %}mode;
+        {%- endfor %}
+      {%- endfor %}
+  {%- endif %}
+  {%- if machines_with_nodes %}
+    --subcomponents
+      {%- for machine in machines_with_nodes -%}
+        {% for node in machine.nodes %}
+      --{{node.name}}: thread {{node.name}}; {# TODO: Filter so not all nodes are transformed into threads #}
+        {%- endfor %}
+      {%- endfor %}
+  {%- endif %}
+  {%- set machines_with_transitions = package.machines | selectattr("transitions") | selectattr('transitions', '!=', []) | list %}
+  {%- if machines_with_transitions %}
+    annex behaviour_specification {**
+      mode transitions
+      {%- for machine in machines_with_transitions -%}
+        {% for transition in machine.transitions %}
+        {{ transition.source }} -> {{ transition.target }}; {# TODO: Check if these are correct #}
+        {%- endfor %}
+      {%- endfor %}
+    **};
+  {%- endif %}
+  end {{package.name}}.impl;
+  {%- if machines_with_nodes %}
+    {%- for machine in machines_with_nodes -%}
+      {{ render_node_threads(machine) }}
+    {%- endfor %}
+  {%- endif %}
+{%- endfor %}
+end LogicalArchitecture;

robotransform-0.0.4/README.md

@@ -1,4 +0,0 @@
-# RoboTransform
-
-Library to perform model to model transformations in the context of RoboSapiens.
-

robotransform-0.0.4/src/robotransform/filters.py

@@ -1,29 +0,0 @@
-def type_to_port(type) -> str:
-    # TODO this is wrong
-    typename = str(type)
-    data_types = {"int", "integer", "real", "float", "double", "string"}
-    mixed_types = {"event_data", "event data"}
-
-    if typename in data_types:
-        return "data"
-    if typename in mixed_types:
-        return "event data"
-    return "data"
-
-def type_to_aadl_type(type) -> str:
-    typename = str(type)
-    # Boolean,
-    # Character,
-    # Float, Float_32, Float_64,
-    # Integer, Integer_8, Integer_16, Integer_32, Integer_64,
-    # Natural,
-    # String,
-    # Unsigned_8, Unsigned_16, Unsigned_32, Unsigned_64
-    mapping = {
-        "boolean": "Base_Types::Boolean",
-        "nat": "Base_Types::Natural",
-        "real": "Base_Types::Float",
-    }
-    # TODO Seq -> Array[...]
-    # TODO Matrix to Array[Array[...]]
-    return mapping.get(typename, f"messages::{typename}")

robotransform-0.0.4/src/robotransform/templates/logical.aadl

@@ -1,61 +0,0 @@
-{%- macro render_port(name, direction, type) -%}
-  {{ name }}: {{ direction }} {{ type | type_to_port }} port {{ type | type_to_aadl_type}};
-{%- endmacro -%}
-
-{%- macro render_state_threads(machine) -%}
-  {%- for state in machine.states %}
-thread {{ state.name }}
-  features
-    {# TODO: Replace these with real resolved fields #}
-    input:  in  event data port messages::input_type;
-    output: out event data port messages::output_type;
-end {{ state.name }};
-
-thread implementation {{ state.name }}.impl
-end {{ state.name }}.impl;
-  {%- endfor %}
-{%- endmacro -%}
-
-
-package LogicalArchitecture
-public
-  with messages, Base_Types;
-{%- for package in packages %}
-  process {{package.name}}
-    {%- set interface_vars = package.interfaces | map(attribute="variables") | sum(start=[]) -%}
-    {%- set machine_vars = package.machines | map(attribute="variables") | sum(start=[]) -%}
-    {%- if interface_vars or machine_vars %}
-    features
-      {%- for interface in package.interfaces -%}
-        {%- for variable in interface.variables %}
-      {{ render_port(variable.name, "in",  variable.type) }}
-        {%- endfor %}
-      {%- endfor %}
-      {%- for machine in package.machines -%}
-        {%- for variable in machine.variables %}
-      {{ render_port(variable.name, "in",  variable.type) }}
-        {%- endfor %}
-      {%- endfor -%}
-      {%- endif %}
-  end {{package.name}};
-  process implementation {{package.name}}.impl
-  {%- set machines_with_states = package.machines | selectattr("states") | select("truthy") | list %}
-  {%- if machines_with_states %}
-    subcomponents
-      {%- for machine in machines_with_states -%}
-        {% for state in machine.states %}
-      {{state.name}}: thread {{state.name}}; -- TODO: FILTER SO THAT NOT ALL STATES ARE TRANSFORMED INTO THREADS
-        {%- endfor %}
-      {%- endfor %}
-  {%- endif %}
-    connections
-      I1: port input_name -> thread_name.input_name; -- TODO: CANNOT RESOLVE CONNECTIONS!!
-      O1: port thread_name.output_name -> output_name; -- TODO: CANNOT RESOLVE CONNECTIONS!!
-  end {{package.name}}.impl;
-  {%- if machines_with_states %}
-    {%- for machine in machines_with_states %}
-      {{ render_state_threads(machine) }}
-    {%- endfor %}
-  {%- endif %}
-{%- endfor %}
-end LogicalArchitecture;