search

osate / osate2

Open Source AADL2 Tool Environment
http://osate.org
Eclipse Public License 2.0
38 stars 8 forks source link

Stepper Motor Example errors #2806

Open asazonova opened 2 years ago

asazonova commented 2 years ago

24 Error(s) found in org.osate.examples/examples/stepper-motor/packages/CasePositionControl.aadl mismatched input '=' expecting '5' mismatched input '=' expecting '5' mismatched input '=' expecting '5' CasePositionControl::SM_PCS_Pos.impl has no complete state : Behavior Annex D.3.(L3) legality rule failed. Only transition out of complete states may have dispatch condition : Behavior Annex D.3.(L6) legality rule failed. 'DoStempCmd' is not found 'Step_Count' is not found 'Step_Count' is not found 'Step_Count' is not found 'Open' is not found 'StepDone' is not found 'Step_Count' is not found 'Step_Count' is not found 'Step_Count' is not found 'Open' is not found 'StepDone' is not found 'StepsToDo' is not found 'StepsToDo' is not found There is no applicable operator "+" for type CasePositionControl::SM_Position There is no applicable operator "-" for type CasePositionControl::SM_Position 'Powersupply' and 'Power' have incompatible classifiers. 'Powersupply' and 'power' have incompatible classifiers. 'valvePosition' and 'Desired_Position' have incompatible classifiers. 'valvePosition' and 'Desired_Position' have incompatible classifiers.

lwrage commented 2 years ago

The stepper motor project is not marked as an AADL project when imported in OSATE. The .project file doesn't contain the necessary information. If you fix that (copy a .project form a proper AADL project) the error show up in OSATE, too.

jjhugues commented 2 years ago

Updated file sent to @asazonova