work in progress | array

proposal for class ARRAY

Refine the specification of valid_index

Proposal

Proposal for class ARRAY:

Refine the specification of feature 'valid_index': 

   valid_index (i: INTEGER): BOOLEAN
         -- Is `i' within bounds?
      ensure
         definition: Result = ((lower <= i) and (i <= upper))

History

This feature was in ELKS 1995, and is implemented by all vendors.

Impact of proposed change

Low.

Result

There was no dissent voiced, and no issues were raised, so this feature has been accepted without a formal vote. If any issues arise, we can revisit this feature.