artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ASM generator, syntax update

Browse Source
This commit is contained in:
Artur Meski
2019-06-23 15:15:17 +01:00
parent 2379248d3f
commit f91fce4c34
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
reactics-bdd/in/scripts/gen_asm.py
View File

@@ -3,7 +3,7 @@
from sys import argv,exit from sys import argv,exit
OPTIONS_STR = """ OPTIONS_STR = """
options { use-context-automaton; make-progressive; } options { use-context-automaton; make-progressive; };
""" """
PROC_STR = """ PROC_STR = """
@@ -25,16 +25,16 @@ FINAL_PROC = """
CA_STR = """ CA_STR = """
context-automaton {{ context-automaton {{
states {{ init, act }} states {{ init, act }};
init-state {{ init }} init-state {{ init }};
transitions {{ transitions {{
{:s} {:s}
}} }};
}} }};
""" """
PROPERTY_STR = """ PROPERTY_STR = """
rsctlk-property {{ {:s} : {:s} }} rsctlk-property {{ {:s} : {:s} }};
""" """
@@ -56,7 +56,7 @@ for i in range(1, n+1):
out += PROC_STR.format(i) out += PROC_STR.format(i)
out += FINAL_PROC out += FINAL_PROC
out += "}\n" out += "};\n"
transitions = "" transitions = ""