KDM 1.4 RTF Avatar
  1. OMG Issue

KDM14 — Errors in example for micro actions

  • Key: KDM14-76
  • Legacy Issue Number: 17301
  • Status: closed  
  • Source: Benchmark Consulting ( Stephane Vaucher [X] (Inactive))
  • Summary:

    The example used to describe the difference between micro and non-micro kdm support contains several errors. From example in Chapter 14:

    id.11 id.80 id:85 -> Flows do not have 'to'
    id.45 -> should be of type Pointer (id.103)
    id.55 [ArraySelect] -> Select is on an array of pointers, the register (id.45) should be a pointer.
    id.61 [PointerReplace] -> PtrReplace is missing the addresses (first reads should become an addresses)
    id.92 -> Missing Addresses
    id.103 -> Array contains pointers (not integers), Array operations should reflect this

  • Reported: KDM 1.3 — Wed, 11 Apr 2012 04:00 GMT
  • Disposition: Resolved — KDM 1.4
  • Disposition Summary:

    Correct microKDM example

    Multiple corrections of XML on pages 165-167

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