search

osate / osate2

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

XSemantic checker does not handle model references correctly in method actuals #1531

Open reteprelief opened 6 years ago

reteprelief commented 6 years ago

A verification activity invokes verification methods. We have methods that accept instance model references as parameters. When specified as model element formal no error message occurs. However, when a property type representing model references is used it reports an error when as actual a model reference is passed in. integration.aadl is an aadl model. testme.aadl defines a property type and a property. consistency.reqspec defines a requirement. consistency_plan.verify has two method invocations (consistency2 and consistency3) that give the error message. Resolute.methodregistry has the entries that define the formal parameters to the method being invoked.

The issue is in verify.xsemantics

reteprelief commented 6 years ago

Here are the files mentioned above. Desktop.zip