Connection Refinement Issue

[philip-alldredge]

I receive an error when refining connections as shown below.

Description Resource    Path    Location    Type
The required feature 'source' of 'org.osate.aadl2.impl.FeatureConnectionImpl@7fec4143{platform:/resource/Demo/packages/connection_refinement.aadl#connection_refinement::B.impl2.c1}' must be set   connection_refinement.aadl  /Demo/packages  line: 23 /Demo/packages/connection_refinement.aadl  Xtext Check (fast)
Description Resource    Path    Location    Type
The required feature 'destination' of 'org.osate.aadl2.impl.FeatureConnectionImpl@7fec4143{platform:/resource/Demo/packages/connection_refinement.aadl#connection_refinement::B.impl2.c1}' must be set  connection_refinement.aadl  /Demo/packages  line: 23 /Demo/packages/connection_refinement.aadl  Xtext Check (fast)

package connection_refinement
public

system A
features
    f: feature;
end A;

system B

end B;

system implementation B.impl
subcomponents
    sc1: system A;
    sc2: system A;
connections
    c1: feature sc1.f <-> sc2.f;
end B.impl;

system implementation B.impl2 extends B.impl
connections
    c1: refined to feature;
end B.impl2;

end connection_refinement;

[reteprelief]

Julien,

this is a Meta model issue. The Meta model specification for Connection requires the source and destination to be set. They should be optional. However, when it is used to represent a connection refinement the grammar does not require the user to supply the source or destination. They would be inherited from the original connection.

[juli1]

Fixed.