Add feature has

Proposal

class STRING: add feature has, with the following specification:

   has (c: CHARACTER): BOOLEAN
         -- Does Current contain c?
      ensure
         false_if_empty: count = 0 implies not Result
         true_if_first: count > 0 and then item (1) = c implies Result
         recurse:
          (count > 0 and then item (1) /= c) implies
          (Result = substring (2, count).has (c))

History

Every vendor already implements a version of has that is compatible with this proposal.

Rationale

Add this already-implemented feature to the standard. It will be useful for the specification of other features in the STRING class. It also appears to be useful (and universally popular) in its own right.

Impact of proposed change

Low.

Result

The proposal was accepted into the ELKS 2000 draft on 19 November 1999.

Votes cast at egroups:

Strongly accept the proposal
                franck.arnaud@omgroup.com
Accept the proposal
                sergei_ivanov@object-tools.com
                joachim.durchholz@halstenbach.de
                jcm@mstr.hgc.edu
                ericb@gobosoft.com
                genepi@sympatico.ca
                steinman@sco.edu
                richieb@netlabs.net
                saunders@wchat.on.ca
                kwaxer@aha.ru
Reject the proposal
                tking@insystems.com