KDM 1.4 RTF Avatar
  1. OMG Issue

KDM14 — Specification of Incr and Decr is ambiguous

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

    The micro definition for kinds Incr and Decr is ambiguous.

    First, they are described in the preamble of A.2 and A.3. The description indicates that they should have a Reads and a Writes, which makes sense since they might represent the code for something like 'i++'.

    Second, they are described in the table under A.4. Control Actions. This would imply that they are used for control, but I don't understand why that would be the case. Furthermore, these ActionElements would have only an Addresses relationship, but that does not match the definition of an Addresses class (access to complex data structure/pointer).

    It would be helpful to know what is the correct description.

  • Reported: KDM 1.3 — Thu, 13 Jun 2013 04:00 GMT
  • Disposition: Resolved — KDM 1.4
  • Disposition Summary:

    Move specifications of Incr and Decr from table A.4 to table A.2

    Move specifications of Incr and Decr operations from table A.4 (Control) to table A.2 (Actions related to Primitive Numerical Datatypes).
    Modify description in table A.3 to remove references to Incr and Decr.

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