generate PTA from YAML model, support several types of test harness

2 files changed, 102 insertions, 0 deletions

diff --git a/lib/automata.py b/lib/automata.py
index 922cdaf..96a724e 100755
--- a/lib/automata.py
+++ b/lib/automata.py
@@ -365,6 +365,38 @@ class PTA:
 
         return pta
 
+    @classmethod
+    def from_yaml(cls, yaml_input: dict):
+        """Return a PTA created from the YAML DFA format (passed as dict)."""
+
+        kwargs = dict()
+
+        if 'parameters' in yaml_input:
+            kwargs['parameters'] = yaml_input['parameters']
+
+        if 'initial_param_values' in yaml_input:
+            kwargs['initial_param_values'] = yaml_input['initial_param_values']
+
+        if 'states' in yaml_input:
+            kwargs['state_names'] = yaml_input['states']
+
+        pta = cls(**kwargs)
+
+        for trans_name in sorted(yaml_input['transition'].keys()):
+            transition = yaml_input['transition'][trans_name]
+            arguments = list()
+            argument_values = list()
+            is_interrupt = False
+            if 'arguments' in transition:
+                for argument in transition['arguments']:
+                    arguments.append(argument['name'])
+                    argument_values.append(argument['values'])
+            for origin in transition['src']:
+                pta.add_transition(origin, transition['dst'], trans_name,
+                    arguments = arguments, argument_values = argument_values)
+
+        return pta
+
     def to_json(self) -> dict:
         """
         Return JSON encoding of this PTA.
diff --git a/lib/harness.py b/lib/harness.py
new file mode 100644
index 0000000..c03406c
--- /dev/null
+++ b/lib/harness.py
@@ -0,0 +1,70 @@
+"""
+Harnesses for various types of benchmark logs.
+
+tbd
+"""
+
+class OnboardTimerHarness:
+    def __init__(self, gpio_pin = None):
+        self.gpio_pin = gpio_pin
+        pass
+
+    def global_code(self):
+        ret = '#include "driver/counter.h"\n'
+        ret += '#define PTALOG_TIMING\n'
+        if self.gpio_pin != None:
+            ret += '#define PTALOG_GPIO {}\n'.format(self.gpio_pin)
+        ret += '#include "object/ptalog.h"\n'
+        return ret
+
+    def start_benchmark(self):
+        return 'ptalog.startBenchmark(0);\n'
+
+    def start_run(self):
+        return 'ptalog.reset();\n'
+
+    def pass_transition(self, transition_id, transition_code):
+        ret = 'ptalog.passTransition({:d});\n'.format(transition_id)
+        ret += 'ptalog.startTransition();\n'
+        ret += 'counter.start();\n'
+        ret += '{}\n'.format(transition_code)
+        ret += 'counter.stop();\n'
+        ret += 'ptalog.stopTransition(counter);\n'
+        return ret
+
+    def stop_run(self):
+        return 'ptalog.dump();\n'
+
+    def stop_benchmark(self):
+        return ''
+
+class TransitionHarness:
+    def __init__(self, gpio_pin = None):
+        self.gpio_pin = gpio_pin
+        pass
+
+    def global_code(self):
+        ret = ''
+        if self.gpio_pin != None:
+            ret += '#define PTALOG_GPIO {}\n'.format(self.gpio_pin)
+        ret += '#include "object/ptalog.h"\n'
+        return ret
+
+    def start_benchmark(self):
+        return 'ptalog.startBenchmark(0);\n'
+
+    def start_run(self):
+        return 'ptalog.reset();\n'
+
+    def pass_transition(self, transition_id, transition_code):
+        ret = 'ptalog.passTransition({:d});\n'.format(transition_id)
+        ret += 'ptalog.startTransition();\n'
+        ret += '{}\n'.format(transition_code)
+        ret += 'ptalog.stopTransition();\n'
+        return ret
+
+    def stop_run(self):
+        return 'ptalog.dump();\n'
+
+    def stop_benchmark(self):
+        return ''