Add feature same_items

Proposal

Add feature 'same_items':

same_items (other: like Current): BOOLEAN
      -- Do both arrays have the same items?
   require
      other_not_void: other /= Void
   ensure
      definition: Result = 
        ((count = other.count) and then
        (count = 0 or else
        (item (upper) = other.item (other.upper) and
          subarray (lower, upper-1).same_items 
           (other.subarray (other.lower, other.upper - 1)))))

History

This feature has not been implemented by any vendor.

Notes

This feature is not necessary to specify the features that are likely to be part of the ELKS 2000 ARRAY class. However, it makes certain specifications more convenient to express.

Impact of proposed change

Low.

Result

votes cast at eGroups:

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

votes sent by email:

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