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

Status

Assignee

Unassigned

Reporter

Rong Chen

Raised By

Rong Chen

Priority

Trivial