KDM 1.4 RTF Avatar
  1. OMG Issue

KDM14 — PtrCall for callable units and method units a->foo()

Open Closed All
  • Key: KDM14-18
  • Legacy Issue Number: 11714
  • Status: closed  
  • Source: KDM Analytics ( Dr. Nikolai Mansourov)
  • Summary:

    PtrCall for callable units and method units a->foo()
    or should it be only used for callable units; while for method units is a VirtualCall ?
    relationship is Dispatches, not Calls
    The text of the specification needs to be made more clear
  • Reported: KDM 1.0 — Sat, 1 Dec 2007 05:00 GMT
  • Disposition: Resolved — KDM 1.4
  • Disposition Summary:

    Add example to microKDM chapter

    Add example to micro KDM chapter, clarifying the use of the corresponding microKDM operations
  • Updated: Tue, 12 Jul 2016 14:44 GMT