search

osate / ErrorModelV2

Old AADL EMV2 annex repository, kept for reference
3 stars 10 forks source link

EMV2 property cannot be associated with connection #75

Closed reteprelief closed 9 years ago

reteprelief commented 9 years ago

Hello, I'd like to apply EMv2 properties to port connections -- specifically those in a system implementation. This would allow me to describe errors on specific connections between components, so something like:

package Example_System public with ComponentType,;

system Example_System
end Example_System;

system implementation Example_System.imp
subcomponents
    ComponentOne : device ComponentType::ComponentType.imp;
    ComponentTwo : device ComponentType::ComponentType.imp;
connections
   MyConnection : port ComponentOne.TheOutPort -> ComponentTwo.TheInPort;
annex EMV2 {**
    properties
    MyPropertySet::ExampleProperty => ExampleValue applies to MyConnection;
**};
end Example_System.imp;

end Example_System; This isn't possible in the latest source-build of OSATE, though it used to be -- the binary release from http://www.aadl.info/aadl/osate/stable/2.0.8/ gives no syntax errors. Was this change intentional? If so, is it something that might be reconsidered? Regards,

reteprelief commented 9 years ago

fixed