work in progress | string

proposal for class STRING

Add creation feature make_filled

Proposal

Proposal for class STRING:

Add creation feature 'make_filled': 

   make_filled( c : CHARACTER ; n : INTEGER )
         -- create string of length 'n' filled with 'c'
      require
         valid_count: n >= 0
      ensure
         count_set: count = n
         filled: occurrences (c) = count
Please select one of the following:

Result

The proposal was accepted.

Voting details

votes cast at eGroups:

Strongly accept the proposal
                jcm@mstr.hgc.edu
                steinman@sco.edu
Accept the proposal
                peter@deakin.edu.au
                richieb@netlabs.net
                kevin@ethossoft.co.nz
                genepi@sympatico.ca
                ericb@gobosoft.com
                tking@insystems.com
                kwaxer@aha.ru
Don't mind (happy either way)
                manus@eiffel.com
                dougpardee@my-deja.com
                franck.arnaud@omgroup.com
Reject the proposal
                ansible@xnet.com
Strongly reject the proposal
                joachim.durchholz@halstenbach.de

votes sent to the discussion list:

-

emailed votes:

-

History

This feature has not previously been implemented by any vendor.

Rationale

This feature would make it possible to write interoperable non-capacity-aware STRINGs.

Currently, Visual Eiffel uses make for this purpose, which clashes with the ELKS 1995 specification of make.

Impact of proposed change

Low.