[aadl]: AADL - Connection missing a classifier

[Peter Feiler]

The warning message gives you the answer. One of the two ends of your connection does not have a data type i.e., a data classifier reference. It is either the port of the thread or the parameter of the subprogram – in your case it is the thread port as Jerome mentioned.

Peter

From: sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of André Passos
Sent: Wednesday, June 18, 2014 3:26 AM
To: sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: AADL - Connection missing a classifier

Hi all,

I am trying to model some Metrology related system in AADL and I am getting a warning while trying to connect a thread port with a subprogram parameter. The problem is in connection R1 of thread implementation t_capture_scan_executor.imp.

Can someone explain me what am I doing wrong?

Thanks in advance.

subprogram capture_position_calculator
features
servoSpotTable: in parameter servo_spot_table;
strokeDefinition: in parameter stroke_definition;
capturePosition: out parameter capture_position;
 properties
    Source_Language => (C);
    Source_Name => "capture_position_calculator";
    Source_Text => ("Capture.c");
end capture_position_calculator;

thread t_capture_scan_executor
features
servoSpotTable: in event data port;
strokeDefinition: in event data port;
hardwareConfig: in event data port;
receipe: in event data port;
spotSelection: out event data port;
end t_capture_scan_executor;

thread implementation t_capture_scan_executor.imp
calls callModel : {
    perform_capture_scan_call: subprogram perform_capture_scan;
    capture_scan_request_builder_call: subprogram capture_scan_request_builder;
    capture_spot_selection_calculator_call: subprogram capture_spot_selection_calculator;
    capture_position_calculator_call: subprogram capture_position_calculator;
};
connections
R1: parameter capture_position_calculator_call.servoSpotTable -> servoSpotTable;
R2: parameter strokeDefinition -> capture_position_calculator_call.strokeDefinition;

Best regards, André Passos.
-------------- next part --------------
HTML attachment scrubbed and removed