Alf Reference Implementation v1.0.3

This is a tracking release of the Alf Reference Implementation, tracking the issue resolutions approved in Ballot 4 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, in addition to those included in the previous v1.0.2 release. Preliminary implementations of some of these resolutions were already included in the 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.

Issue #25 Implement resolutions for Alf 1.1 RTF ballot 4

ALF11-22 Sequence feature invocation expressions
ALF11-26 Classify statements should start classifier behaviors
ALF11-43 Inconsistent rules for local names defined in if and switch statements
ALF11-44 Alf should have a "null-coalescing" operator
ALF11-67 Instance creation should start classifier behaviors of parent classes
ALF11-75 Incorrect derivation of AssignmentExpression::isFeature
ALF11-77 Multiplicity and typing of local names should be better tracked

Enhancements

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

Bug Fixes

This release includes the following bug fixes, in addition those in the v1.0.2 release.

Issue #22 Invocation of an activity with no return type in a conditional-test expression can cause an exception
Issue #23 Operands of equality expressions are not always mapped
Issue #24 ReadLine should always return a value
Issue #26 Cast expressions are being incorrectly given a lower bound of 1 instead of 0
Issue #27 Need to convert Natural values to UnlimitedNatural on assignment
Issue #28 Out parameters should be assignable in conditional statement conditions
Issue #29 Error in implementation of Map::size()
Issue #30 Assignments made in the 2nd operand of a binary expression are not properly updated