UML 1.4 NO IDEA Avatar
  1. OMG Issue

UML14 — UML 2 Super/pg.78/operation redefinition

Open Closed All
  • Key: UML14-262
  • Legacy Issue Number: 6212
  • Status: closed  
  • Source: Simula Research Laboratory ( Dr. Bran Selic)
  • Summary:

    pg. 78 Operation/Constraints: Operation redefinition is effectively covariant ("return type of redefinition must conform to the original return type"). There is a fierce controversy between covariant and contravariant redefinition. Do we mean to rule out contravariant? I wouldn't think so, as it is the most common. Better eliminate this constraint on types. The whole issue of type conformance requires more care.

  • Reported: UML 1.5 — Sun, 7 Sep 2003 04:00 GMT
  • Disposition: Resolved — UML 1.4.2
  • Disposition Summary:

    see above
  • Updated: Fri, 6 Mar 2015 20:58 GMT