work in progress | string

proposal for class STRING

Add creation feature make_empty


Proposal for class STRING:

Add creation feature 'make_empty'. Please select one of the following:


The proposal was accepted.

Voting details

votes cast at eGroups:

Strongly accept the proposal
Accept the proposal
Don't mind (happy either way)
Reject the proposal
Abstain (not happy either way)

votes sent to the discussion list:


emailed votes:



This feature has not previously been implemented by any vendor.


Together with make_filled, 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.

Feature make_empty is not strictly needed because it can alternatively be written as:

make_filled(0, some_meaningless_character)
However, make_empty is more readable and avoids the need to specify the meaningless character. It would also be useful as a default creation routine under proposed language extensions.

Impact of proposed change