ALF 1.1 RTF Avatar
  1. OMG Issue

ALF11 — Overload resolution for feature invocation expressions should be specific about the case of multiple most-specific operations.

  • Key: ALF11-35
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Under Semantics/OperationCall for Feature Invocation Expressions, step 3 is to "select the most specific operations". Note that this is plural, indicating that there may be more than one. The paragraph following step 3 states that "If there is a single operation remaining...this is the operation to be called", and a later paragraph indicates that "If there are no operations left...the feature invocation expression is illegal, with one exception". However, the case of more than one operation remaining after step 3 is not mentioned explicitly.

    It should be explicitly stated that the expression is illegal in the case of more than one operation remaining after step 3.

  • Reported: ALF 1.0 — Mon, 22 Jun 2015 20:27 GMT
  • Disposition: Resolved — ALF 1.1
  • Disposition Summary:

    Add clarification to overloading resolution rules


  • Updated: Thu, 22 Jun 2017 16:40 GMT