work in progress | array

proposal for class ARRAY

1. Refine the specification of make
2. Export make as a public feature
3. Header comment of make

Proposal 1

Proposal for class ARRAY:

Refine the specification of feature 'make':
   make (min_index, max_index: INTEGER)
         -- Allocate array to hold values for indexes in
         -- `min_index' .. `max_index'.
         -- Set all values to default.
      require
         valid_bounds: min_index <= max_index + 1
      ensure
         lower_set: lower = min_index
         upper_set: upper = max_index
Note: the question of whether 'make' should _also_ be a
publicly-exported feature will be the subject of a separate vote.

Please select one of the following:

Notes

In the ELKS 1995 version, any value of min_index greater than max_index is acceptable, and results in an empty ARRAY. In this proposed ELKS 2000 version, if we want an empty ARRAY we must call make with min_index exactly one greater than max_index. This change is consistent with the treatment of empty ARRAYs elsewhere in ELKS 2000.

All current compilers support the proposed ELKS 2000 behaviour described here.

Impact of proposed change

Low.

Result

The proposal was accepted.

votes cast at eGroups:

Accept the proposal
                sergei_ivano-@object-tools.com
                steinma-@sco.edu
                sparke-@eiffel.ie
                franck.arnau-@omgroup.com
                joachim.durchhol-@halstenbach.de
                genep-@sympatico.ca
                eric-@gobosoft.com
                tkin-@insystems.com
                manu-@eiffel.com
                wagne-@ti.uni-trier.de
                jweiric-@one.net
                jc-@rh.edu
                stimul-@shadow.net
                saunder-@wchat.on.ca
                kwaxe-@aha.ru
Reject the proposal
                gmc33-@my-deja.com

votes sent by email:

Accept the proposal:
                "Ulrich Windl" <Ulrich.Windl@rz.uni-regensburg.de>

Proposal 2

Proposal for class ARRAY:

Provide 'make' as a publicly-exported feature in
addition to its role as a creation feature.

Please select one of the following:

Notes

In the ELKS 1995 version, 'make' is both a creation procedure and a public procedure.

All current compilers support both roles for 'make'.

Impact of proposed change

Low.

If this proposal is rejected, existing compilers may retain 'make' as a public procedure, and no code needs to break.

Result

The proposal was rejected. Feature make will be a creation feature only.

votes cast at eGroups:

Strongly accept the proposal
                saunder-@wchat.on.ca
Don't mind (happy either way)
                sparke-@eiffel.ie
                tkin-@insystems.com
                manu-@eiffel.com
                jweiric-@one.net
                kwaxe-@aha.ru
Reject the proposal
                sergei_ivano-@object-tools.com
                genep-@sympatico.ca
                eric-@gobosoft.com
                franck.arnau-@omgroup.com
                stimul-@shadow.net

votes sent by email:

Reject the proposal:
                "Ulrich Windl" <Ulrich.Windl@rz.uni-regensburg.de>
                James McKim <jcm@rh.edu>

James McKim qualified his vote as follows:

"I vote to reject the proposal; however if clear_all is not incorporated into the standard then I change my vote to accept the proposal."

Proposal 3

Proposal for class ARRAY:

Add the following line to the header comment of 'make': 

   -- (Make array empty if maxindex = minindex - 1).
Please select one of the following:

Result

The proposal was accepted.

votes cast at eGroups:

Strongly accept the proposal
                richie-@netlabs.net
                steinma-@sco.edu
Accept the proposal
                sergei_ivano-@object-tools.com
                franck.arnau-@omgroup.com
                manu-@eiffel.com
                todd.kin-@nexthr.com
                genep-@sympatico.ca
                simonwillcock-@enterprise.net
                eric-@gobosoft.com
                xavie-@halstenbach.com
                jweiric-@one.net
                stimul-@shadow.net
                kwaxe-@aha.ru
Don't mind (happy either way)
                wagne-@ti.uni-trier.de
                jc-@rh.edu

votes sent by email:

Accept the proposal:
                Ulrich Windl
Don't mind (happy either way)
                Joachim.Durchhol-@halstenbach.de