problem in RAMSES delta inplace test
There is a difference reported as follows: Differences are: Difference is org.osate.aadl2.impl.DataPortImpl@563c3aca (name: the_receiver_context) (in: true, out: false). Difference is org.osate.aadl2.impl.DataPortImpl@1c421b0f (name: the_sender_context) (in: true, out: false). Difference is org.osate.aadl2.impl.StringLiteralImpl@4dcc0e3d"p". Difference is org.osate.aadl2.impl.StringLiteralImpl@70313b0b"config". Difference is org.osate.aadl2.impl.PropertyImpl@dcd67f1 (name: Element_Names) (inherit: false, emptyListDefault: false). Difference is org.osate.aadl2.impl.PropertyImpl@75abc18c (name: Priority) (inherit: true, emptyListDefault: false). Difference is org.osate.aadl2.impl.DataTypeImpl@2a484710 (name: Integer_16) (noPrototypes: false, noAnnexes: false, noProperties: false) (derivedModes: false, noFlows: false, noModes: false) (noFeatures: false). Value 'DataAccess dim_test_ramses_inplace::receiver.the_receiver_context' of feature 'ThreadType.EReference ownedDataAccess' of ThreadType dim_test_ramses_inplace::receiver' was added to the right side. Difference is org.osate.aadl2.impl.StringLiteralImpl@29becf8b"p". Difference is org.osate.aadl2.impl.StringLiteralImpl@58dd1d0c"config". Difference is org.osate.aadl2.impl.PropertyImpl@dcd67f1 (name: Element_Names) (inherit: false, emptyListDefault: false). Difference is org.osate.aadl2.impl.DataTypeImpl@2a484710 (name: Integer_16) (noPrototypes: false, noAnnexes: false, noProperties: false) (derivedModes: false, noFlows: false, noModes: false) (noFeatures: false). Value 'DataAccess dim_test_ramses_inplace::sender.the_sender_context' of feature 'ThreadType.EReference ownedDataAccess' of ThreadType dim_test_ramses_inplace::sender' was added to the right side.
The difference in the corresponding code is as follows:
- generated: thread sender features the_sender_context: in data port Integer_16 {Data_Model::Element_Names => ("p", "config");}; end sender; v/s oracle: thread sender features the_sender_context: requires data access {Data_Model::Element_Names => ("p", "config");}; end sender;
- generated: thread receiver features the_receiver_context: in data port Integer_16 {Priority => 5; Data_Model::Element_Names => ("p", "config");}; end receiver; v/s oracle: thread receiver features the_receiver_context: requires data access {Priority => 5; Data_Model::Element_Names => ("p", "config");}; end receiver;