Alf Reference Implementation v1.0.1

This is a tracking release of the Alf Reference Implementation, tracking the issue resolutions approved in Ballot 2 of the Alf 1.1 Revision Task Force (RTF).

OMG Issue Resolutions

This version includes resolutions of the following OMG issues, as approved by the Alf 1.1 RTF. Preliminary implementations of most of these resolutions were already included in the previous v1.0.0 release. However, in all cases, the implementation has been updated in this version to conform to the resolutions as actually adopted by the RTF. (Note that certain issues approved in Ballot 2 are not included on the list below, because they did not effect the implementation.)

ALF11-5 BehaviorInvocationExpression Should Have a Derived Implicit Binding
ALF11-6 Derivation of the Type of a ConditionalTestExpression
ALF11-7 NameExpression::assignment Derivation for a Parameter Name
ALF11-8 ConcurrentClauses Should Have a Derived assignmentBefore
ALF11-9 Empty Type Names for Initialization Sequence and Construction Expressions
ALF11-10 NonFinalClause and SwitchClause Should Have Derived assignmentBefore and assignmentAfter
ALF11-11 NamespaceDefinition::member type
ALF11-12 ActivityDefinition and OperationDefinition Bodies
ALF11-24 IncrementOrDecrementExpression::operator attribute is missing
ALF11-25 NameLeftHandSide needs a feature constraint
ALF11-28 The resolution of Issue 17517 was incomplete
ALF11-34 An abstract operation should not be allowed to have a body
ALF11-35 Overload resolution for feature invocation expressions should be specific about the case of multiple most-specific operations.
ALF11-37 Multiplicity upper bound of a select or reject expression should be based on its primary expression

Enhancements

This release does not include any enhancements beyond those in the v1.0.0 release.

Bug Fixes

This release does not include any bug fixes beyond those in the v1.0.0a release.