Refine the specification of count

Proposal

Proposal for class ARRAY:

Refine the specification of feature 'count':

   count: INTEGER
         -- Number of available indices
      ensure
         consistent_with_bounds: Result = upper - lower + 1

Please select one of the following:

Strongly accept the proposal
Accept the proposal
Reject the proposal
Strongly reject the proposal
Don't mind (happy either way)
Abstain (not happy either way)

History

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

Issues

The postcondition of count is redundant with the class invariant.

Impact of proposed change

Low.

Result

The proposal was accepted.

votes cast at eGroups:

Accept the proposal
                genep-@sympatico.ca
                eric-@gobosoft.com
                sparke-@eiffel.ie
                wagne-@ti.uni-trier.de
                franck.arnau-@omgroup.com
                joachim.durchhol-@halstenbach.de
                kwaxe-@aha.ru
Strongly accept the proposal
                steinma-@sco.edu
                jc-@rh.edu
Don't mind (happy either way)
                richie-@netlabs.net

votes sent by email:

Accept the proposal
Ulrich Windl