KDM 1.4 RTF Avatar
  1. OMG Issue

KDM14 — Variable d2 in main compilation unit b.cpp doesn't have aHasValue relation

  • Key: KDM14-25
  • Legacy Issue Number: 11726
  • Status: closed  
  • Source: KDM Analytics ( Nikolai Mansourov)
  • Summary:

    Variable d2 in main in compilation unit b.cpp does not have a HasValue relation; need to see how to represent
    constructor calls.

  • Reported: KDM 1.0 — Sat, 1 Dec 2007 05:00 GMT
  • Disposition: Resolved — KDM 1.4
  • Disposition Summary:

    Correct Init example

    Make corrections to the Init example

  • Updated: Tue, 12 Jul 2016 14:44 GMT