search

osate / ErrorModelV2

Old AADL EMV2 annex repository, kept for reference
3 stars 10 forks source link

EMFTA export cannot use error super type #124

Closed pbalsgaard closed 7 years ago

pbalsgaard commented 7 years ago

The EMFTA export cannot use an error type if it has been extended in a type hierarchy. Instead, it uses the last extension in listed in the hierarchy. This isn't how I expect it to behave, but I guess it could be intentional. For example, ErrorLibrary defines:

OutOfRange: type extends DetectableValueError;
BelowRange: type extends OutOfRange;
AboveRange: type extends OutOfRange;

If a model uses error propagations of OutOfRange type, when performing EMFTA export the errors will be treated as AboveRange type because it is the last extension of OutOfRange.

pbalsgaard commented 7 years ago

After spending more time with this, I think it's the expected behavior that when the supertype is used, all subtypes are substituted in. I expected the extensions to behave like system extensions in regular AADL.

reteprelief commented 7 years ago

You are correct in your observation.