Essence 1.0 FTF Avatar
  1. OMG Issue

ESSENCE — Wrong reference in OCL expression on LanguageElement

  • Key: ESSENCE-208
  • Legacy Issue Number: 19259
  • Status: closed  
  • Source: Ivar Jacobson International AB ( Michael Striewe)
  • Summary:

    Problem to be solved: The OCL invariant on LanguageElement uses incorrect references to "owningAssociation" towards its end. This is incorrect, because owningAssociation will never point to e1 or e2, which are LanguageElements.

    Moreover, it uses reference "a.member", which is undefined.

    Proposed solution: Replace "p1.owningAssociation" by "p1.languageElement" and "p2.owningAssociation" by "p2.languageElement".

    In addition, replace "a.member" by "a.memberEnd".

  • Reported: Essence 1.0b1 — Tue, 25 Feb 2014 05:00 GMT
  • Disposition: Resolved — Essence 1.0
  • Disposition Summary:

    Agreed.

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