ALF 1.0 FTF Avatar
  1. OMG Issue

ALF_ — Inherited abstract operations

Open Closed All
  • Key: ALF_-78
  • Legacy Issue Number: 17526
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Subject: Inherited abstract operations

    Subclauses: 15.2.4 ClassDefinition, 15.2.16 OperationDefinition

    There is currently a constraint for an OperationDefinition that it must owned by a non-abstract class. This isn’t strong enough, because it doesn’t prevent a non-abstract class from inheriting an abstract operation. Instead, there should be a constraint on ClassDefinition that all member operations (owned or inherited) are not abstract.
  • Reported: ALF 1.0b2 — Thu, 19 Jul 2012 04:00 GMT
  • Disposition: Resolved — ALF 1.0
  • Disposition Summary:

    agreed
  • Updated: Fri, 6 Mar 2015 21:49 GMT