Summary
The BA expression grammar omits the standard D.5/D.7 port value p'updated. Only count and fresh suffixes are accepted.
Reproduction
This issue comes from the source audit in ba/doc/conformance.md; no additional runtime reproduction was performed. PortUpdated.aadl records a syntax error on updated.
Expected behavior
Accept, resolve, translate, type-check, serialize, and expose editor support for p'updated on applicable ports, with a Boolean result and the runtime meaning defined in AS5506/3 Rev. A.
Relevant code
ba/org.osate.xtext.aadl2.ba/src/org/osate/xtext/aadl2/ba/BehaviorAnnex.xtext — ReferenceExpression and UnindexedReferenceExpression.ba/org.osate.xtext.aadl2.ba/src/org/osate/xtext/aadl2/ba/translation/DeclarativeToStrictTranslator.java — reference-expression translation.ba/org.osate.ba.tests/models/characterization/conformance/PortUpdated.aadl.
Summary
The BA expression grammar omits the standard D.5/D.7 port value
p'updated. Onlycountandfreshsuffixes are accepted.Reproduction
This issue comes from the source audit in
ba/doc/conformance.md; no additional runtime reproduction was performed.PortUpdated.aadlrecords a syntax error onupdated.Expected behavior
Accept, resolve, translate, type-check, serialize, and expose editor support for
p'updatedon applicable ports, with a Boolean result and the runtime meaning defined in AS5506/3 Rev. A.Relevant code
ba/org.osate.xtext.aadl2.ba/src/org/osate/xtext/aadl2/ba/BehaviorAnnex.xtext—ReferenceExpressionandUnindexedReferenceExpression.ba/org.osate.xtext.aadl2.ba/src/org/osate/xtext/aadl2/ba/translation/DeclarativeToStrictTranslator.java— reference-expression translation.ba/org.osate.ba.tests/models/characterization/conformance/PortUpdated.aadl.