Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Correct minor inconsistencies in ITEM_TABLE specification and example

Description

The following typos exist in the ITEM_TABLE part of the Data Structures IM.

1. The instance structure example of ITEM_TABLE in Reference Model Data Structures specification needs to be updated due to removal of DV_QUANTITY_RATIO.

2. in the function ith_row(), the upper limit needs to inclusive to get the last row. The lower limit could be improved as "i >= 1" to be consistent with other invariants
CURRENT:
ith_row(i:Integer): CLUSTER
require
i >0 and i < row_count

Activity

Thomas Beale August 11, 2008 at 10:52 PM

Passed by EB, RC, TB, DK, SH

Thomas Beale July 24, 2008 at 3:02 PM

Accepted by ARB members: SH, EB, TC, DK, TB, RC

Thomas Beale July 24, 2008 at 3:01 PM

Included content, prior to obsoleting

Fixed

Details

Assignee

Reporter

Raised By

Rong Chen

Priority

Created May 16, 2008 at 7:03 PM
Updated August 11, 2008 at 10:52 PM
Resolved August 11, 2008 at 10:52 PM