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

Add Callback mechanism in simu mode for sync RI

parent 1d20ee81
......@@ -424,6 +424,9 @@ package {process_name} is'''.format(process_name=process_name,
param_name = signal.get('param_name') \
or u'{}_param'.format(signal['name'])
# Add (optional) RI parameter
# Paramless TMs: when targetting simulation, the name of the TM is
# passed as single parameter. This allows the simualor to handle them
# dynamically, with a single callback function for all TMs
param_spec = '' if not simu else "(tm: chars_ptr)"
if 'type' in signal:
typename = type_name(signal['type'])
......@@ -432,7 +435,9 @@ package {process_name} is'''.format(process_name=process_name,
shared=u'; Size: Integer'
if SHARED_LIB else '')
ads_template.append(u'-- Required interface "' + signal['name'] + '"')
ads_template.append(u'-- {}equired interface "{}"'
.format("Paramless r" if not 'type' in signal
else "R", signal['name']))
if simu:
# When generating a shared library, we need a callback mechanism
ads_template.append(u'type {}_T is access procedure{};'
......@@ -469,18 +474,48 @@ package {process_name} is'''.format(process_name=process_name,
for proc in (proc for proc in process.procedures if proc.external):
ri_header = u'procedure {sig_name}'.format(sig_name=proc.inputString)
params = []
params_spec = u""
if simu:
# For simulators: add the TM name as first parameter
params.append("tm: chars_ptr")
for param in proc.fpar:
typename = type_name(param['type'])
params.append(u'{par[name]}: access {sort}'
params.append(u'{par[name]}: access {sort}{shared}'
shared=u"; {}_Size: Integer"
if SHARED_LIB else ""))
if params:
ri_header += u'(' + u';'.join(params) + ')'
params_spec = "({})".format("; ".join(params))
ri_header += params_spec
u'-- Sync required interface "' + proc.inputString)
ads_template.append(ri_header + u';')
ads_template.append(u'pragma import(C, {sig}, "{proc}_RI_{sig}");'
.format(sig=proc.inputString, proc=process_name))
if simu:
# As for async TM, generate a callback mechanism
ads_template.append(u"type {}_T is access procedure{};"
.format(proc.inputString, params_spec))
ads_template.append('pragma Convention(Convention => C,'
' Entity => {}_T);'.format(proc.inputString))
ads_template.append('{sig} : {sig}_T;'
ads_template.append('procedure Register_{sig}(Callback: {sig}_T);'
ads_template.append('pragma Export(C, Register_{sig},'
' "register_{sig}");'
taste_template.append('procedure Register_{sig}'
'(Callback:{sig}_T) is'
taste_template.append('{} := Callback;'.format(proc.inputString))
taste_template.append('end Register_{};'.format(proc.inputString))
ads_template.append(ri_header + u';')
ads_template.append(u'pragma import(C, {sig}, "{proc}_RI_{sig}");'
.format(sig=proc.inputString, proc=process_name))
# for the .ads file, generate the declaration of timers set/reset functions
for timer in process.timers:
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