work in progress | array

proposals for class ARRAY

Add feature all_cleared
Rename feature all_cleared to all_default

Proposal

Add feature 'all_cleared': 
 all_cleared: BOOLEAN
      -- Do all items have their type's default value?
   ensure
      definition: Result = (
         count = 0 or else (
           (item(upper) = Void or else item(upper) = item(upper).default)
            and subarray(lower, upper - 1).all_cleared
         ))

History

This feature is already implemented by all vendors.

Notes

An alternative name all_default has been proposed. A name change proposal will be put to a vote if it gains sufficient support.

Impact of proposed change

Low.

Result

The proposal was accepted.

votes cast at eGroups:

Strongly accept the proposal
                jc-@rh.edu
Accept the proposal
                sergei_ivano-@object-tools.com
                steinma-@sco.edu
                pete-@deakin.edu.au
                manu-@eiffel.com
                joachim.durchhol-@halstenbach.de
                kevi-@ethossoft.co.nz
                genep-@sympatico.ca
                eric-@gobosoft.com
                kwaxe-@aha.ru
                wagne-@ti.uni-trier.de
                jweiric-@one.net
                franck.arnau-@omgroup.com
Don't mind (happy either way)
                glenn-@westernport.com

votes sent by email:

Accept the proposal
                Simon Parker <sparker@eiffel.ie>

Amendment

Proposal for class ARRAY:

Rename feature 'all_cleared' to 'all_default'.

Result

The proposal was accepted.

votes cast at eGroups:

Strongly prefer 'all_cleared'
                steinma-@sco.edu
Prefer 'all_cleared'
                tkin-@insystems.com
Don't mind (happy either way)
                manu-@eiffel.com
                jweiric-@one.net
Prefer 'all_default'
                genep-@sympatico.ca
                jc-@rh.edu
                saunder-@wchat.on.ca

votes sent by email:

Prefer 'all_cleared'
                "Alexander Kogtenkov" <kwaxer@aha.ru>
                Eric Bezault <ericb@gobosoft.com>
Prefer 'all_default'
                "Sergei S. Ivanov" <ivanoff@aha.ru>
                "Ulrich Windl" <Ulrich.Windl@rz.uni-regensburg.de>