[ref_impl_eiffel] [964] Fix a precondition failure in STRING.replace_substring_all, caused by MESSAGE_DB. create_message_content passing it a Void replacement string.

Reference Implementation: Eiffel (archive)

svn1 23 June 2010 13:18 1

Revision: 964
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [368] Fix a precondition failure when the user sets the Reference Repository Path to an empty string. Reference Implementation: Eiffel (archive)	0	1	22 September 2007
[ref_impl_eiffel] [360] AWB-14: Fix a precondition violation in STRING.to_integer, called from ARCHETYPE_ONTOLOGY.update_highest_non_specialised_term_code_index. Reference Implementation: Eiffel (archive)	0	1	9 September 2007
[ref_impl_eiffel] [668] EDT-291: Fix a precondition violation in C_CODE_PHRASE.make_from_pattern, caused by revision 659. Reference Implementation: Eiffel (archive)	0	2	6 June 2008
[ref_impl_eiffel] [975] Add some missing pre- and postconditions to C_STRING. Reference Implementation: Eiffel (archive)	0	2	3 July 2010
[ref_impl_eiffel] [349] Fix some void reference calls. Reference Implementation: Eiffel (archive)	0	0	17 August 2007
[ref_impl_eiffel] [340] AWB-13: Fix a void target reference, caused by a creation routine not satisfying an invariant. Reference Implementation: Eiffel (archive)	0	1	10 August 2007
[ref_impl_eiffel] [716] Missed validity message. Reference Implementation: Eiffel (archive)	0	1	25 September 2008
[ref_impl_eiffel] [940] Correct a bug in the message reporting system. Reference Implementation: Eiffel (archive)	0	2	4 June 2010
[ref_impl_eiffel] [971] Add a missing postcondition. Reference Implementation: Eiffel (archive)	0	2	29 June 2010
[ref_impl_eiffel] [995] Remove an invariant that was failing. Reference Implementation: Eiffel (archive)	0	1	8 July 2010