here is an issue that probably comes from a regression in the parsing of the "Compute_Entrypoint_Call_Sequence" property; the following aadl model is considered by OSATE to have a problem:
package common_pkg
public
thread data_sender
features
p_out: out data port Integer;
end data_sender;
see Issue #347
The fix to this issue does not handle references to call sequences.
It only handles categories.
I am closing this issue and resolve the problem in #347
Hi guys,
here is an issue that probably comes from a regression in the parsing of the "Compute_Entrypoint_Call_Sequence" property; the following aadl model is considered by OSATE to have a problem:
package common_pkg public
thread data_sender features p_out: out data port Integer; end data_sender;
thread implementation data_sender.impl calls call : { c : subprogram sender_spg;}; connections cnx: parameter c.result -> p_out; properties Compute_Entrypoint_Call_Sequence => reference (call); end data_sender.impl;
end common_pkg;
Am I making a mistake in the usage of this property, or is it a regression in OSATE? Thanks for the help, Etienne.