The containment path issue is an interesting one.
An error event (or error propagation) refers to an error type with subtypes or a named type set with element.
The property association wants to attach a property value to a subtype or element in the type set. The scope implementation currently only resolves the type referenced in the error event (or error propagation) but does not recognize the subtype or element of the type set.
For examples see examples in Github.
One example is safetyTutorial GPSSystem/aadl - it has two places marked as TODO. (type set element example).
Another example is ARP4761/misc/functional-initial.aadl (subtype example).
The text was updated successfully, but these errors were encountered: