Re: [eiffel-nice-library] Call to vote: STRING 'replace_substring'
- James McKim wrote:
> It looks like both postconditions survived :-). Maybe post a clarification?Arno Wagner wrote:
> The second one is correct...Yes. This is how the "30 OCTOBER 2000" version should look:
> ... It seems Roger just forgot to delete the wrong one.
replace_substring(s: STRING; start_index, end_index: INTEGER)
-- Replace the substring from start_pos to end_pos, inclusive,
-- with `s'.
string_not_void: s /= Void
valid_start_index: 1 <= start_index
valid_end_index: end_index <= count
meaningful_interval: start_index <= end_index + 1
replaced: is_equal(old (substring(1, start_index - 1) +
substring(end_index + 1, count)))
Of the duplicate postconditions, I have removed the first one, which was
Please proceed with voting, on the assumption that the motion refers to
the corrected version above.
Roger Browne - roger@... - Everything Eiffel
19 Eden Park Lancaster LA1 4SJ UK - Phone +44 1524 32428