retrieving model error artifacts

[juli1]

Hi,

When querying the model, I do not get everything on a component. For example, when invoking the following methods:

• EM2Util.getErrorAnnexClause
• EM2Util.getComponentErrorBehavior
• EM2Util.getContainingErrorBehaviorStateMachine
• EM2Util.getCompositeErrorBehavior

When invoking these methods on a component instance, I do not get the definitions from the component classifier (in case my instance is a component implementation) or its refined component.

I have added an example in the repository, embedded-control.aadl. When trying to call these methods, I do not retrieve the appropriate objects from the models. In particular for the following components from the root system :

• s1, s2, s3: the methods do not retrieve the information from the component type (the instance being an implementation of the type)
• pi, pm, po: the methods do not retrieve the information from the extended component (the generic_processor).

To reproduce the issue, instantiate the model and try to generate the PRISM model from the root instance. Then, in Module.java (on line 319) in package org.osate2.aadl2.errormodel.analysis.prism, all object are either null or contains nothing at all.

[reteprelief]

methods are now available and handle inheritance.