| Key: |
SPEC-271
|
| Type: |
Change Request
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Trivial
|
| Reporter: |
Rong Chen
|
| Votes: |
0
|
| Watchers: |
0
|
|
If you were logged in you would be able to see more operations.
|
|
|
| Change Description: |
Changes made:
1. In figure 6 in the Data Structures specification, replace DV_QUANTITY_RATIO with DV_PROPORTION
2. The ith_row() function is updated to the following:
ith_row (i:Integer): CLUSTER
require
i >= 1 and i <= row_count
Changes made:
1. In figure 6 in the Data Structures specification, replace DV_QUANTITY_RATIO with DV_PROPORTION
2. The ith_row() function is updated to the following:
ith_row (i:Integer): CLUSTER
require
i >= 1 and i <= row_count
|
| Impact Analysis: |
Minimal impact.
|
| Analyst: |
Thomas Beale
|
|
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
|
|
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
|
Show » |
|
Correct minor inconsistencies in ITEM_TABLE specification and example
SPEC-272content, prior to obsoletingSPEC-272