Refine the class invariant

Proposal

Replace the ARRAY class invariant by one of the following:

Option A: an empty class invariant

Option B: a class invariant containing the following clause:

      valid_bounds: lower <= upper + 1

Please select one of the following:

Strongly prefer option A
Prefer option A
Prefer option B
Strongly prefer option B
Don't mind (happy either way)
Abstain (not happy either way)

Result

Option B was preferred.

votes cast at eGroups:

Strongly prefer option A
                joachim.durchhol-@halstenbach.de
Prefer option A
                richie-@netlabs.net
                stimul-@shadow.net
Prefer option B
                steinma-@sco.edu
                sparke-@eiffel.ie
                gmc33-@my-deja.com
                simonwillcock-@enterprise.net
                eric-@gobosoft.com
                manu-@eiffel.com
                kwaxe-@aha.ru
                wagne-@ti.uni-trier.de
                jweiric-@one.net
                franck.arnau-@omgroup.com
Strongly prefer option B
                sergei_ivano-@object-tools.com
                colne-@loria.fr
                dougparde-@my-deja.com
                tkin-@insystems.com
                jc-@rh.edu
                saunder-@wchat.on.ca

votes sent by email:

Prefer option B:
Ulrich Windl