Loading ...
Sorry, an error occurred while loading the content.

Call to vote: STRING 'append_character', 'append_string'

Expand Messages
  • Roger Browne
    You should soon receive messages from the eGroups polling system, inviting you to vote on the following two proposals: Proposal for class STRING: refine the
    Message 1 of 1 , Oct 1, 2000
    • 0 Attachment
      You should soon receive messages from the eGroups polling system, inviting
      you to vote on the following two proposals:

      Proposal for class STRING: refine the specification of
      'append_character' to the 28 SEPTEMBER 2000 version.

      Proposal for class STRING: refine the specification of
      'append_string' to the 28 SEPTEMBER 2000 version.

      At the end of this email I have shown the 28 SEPTEMBER versions, and the
      ELKS 95 versions that these would replace.

      Voting is open to all NICE members. The eGroups poll will run for three
      days. If you cannot vote within that time, or have problems with the
      eGroups polling system, feel free to post your vote directly to this list.

      28 SEPTEMBER 2000 VERSIONS:

      append_character (c: CHARACTER)
      -- Append 'c' at end.
      ensure
      new_count: count = old count + 1
      appended: item (count) = c
      stable_before: substring (1, count - 1)
      .is_equal (old clone (current))

      append_string (s: STRING)
      -- Append a copy of 's' at end.
      require
      s_not_void: s /= void
      ensure
      appended: is_equal (old clone (current) + old clone (s))

      ELKS 95 VERSIONS:

      append_character (c: CHARACTER)
      -- Append 'c' at end.
      ensure
      item_inserted: item (count) = c
      one_more_occurrence: occurrences (c) = old (occurrences (c)) + 1
      item_inserted: has (c)

      append_string (s: STRING)
      -- Append a copy of 's', if not void, at end.
      ensure
      new_count: count = old count + s.count
      -- appended: For every i in 1.. s.count,
      -- item (old count + i) = s.item (i)

      Regards,
      Roger
      --
      Roger Browne - roger@... - Everything Eiffel
      19 Eden Park Lancaster LA1 4SJ UK - Phone +44 1524 32428
    Your message has been successfully submitted and would be delivered to recipients shortly.