Commit c0e6d824 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Generate code that imports the context at runtime

parent 2f293d07
...@@ -96,7 +96,8 @@ def parse_input_files(pr_files, ppty_file, simu=True): ...@@ -96,7 +96,8 @@ def parse_input_files(pr_files, ppty_file, simu=True):
process.transitions = [] process.transitions = []
process.composite_states = [] process.composite_states = []
process.mapping = {state:[] for state in process.mapping.keys()} process.mapping = {state:[] for state in process.mapping.keys()}
process.processName = '{}_stop_conditions'.format(process.processName) orig_name = process.processName
process.processName = '{}_stop_conditions'.format(orig_name)
idx = 0 idx = 0
# For each stop condition create a new Procedure with a boolean return type # For each stop condition create a new Procedure with a boolean return type
for each in stop_conditions: for each in stop_conditions:
...@@ -122,7 +123,10 @@ def parse_input_files(pr_files, ppty_file, simu=True): ...@@ -122,7 +123,10 @@ def parse_input_files(pr_files, ppty_file, simu=True):
proc.content.start.transition.terminators = [decision] proc.content.start.transition.terminators = [decision]
process.content.inner_procedures.append(proc) process.content.inner_procedures.append(proc)
idx += 1 idx += 1
opengeode.AdaGenerator.generate(process, simu=simu)
opengeode.AdaGenerator.generate(process,
simu=simu,
ppty_check=orig_name)
# gather asn.1 files and modules # gather asn.1 files and modules
asn1_files = ' '.join(ast[0].asn1_filenames) asn1_files = ' '.join(ast[0].asn1_filenames)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment