[ref_impl_eiffel] [975] Add some missing pre- and postconditions to C_STRING.

Reference Implementation: Eiffel (archive)

svn1 3 July 2010 00:20 1

Revision: 975
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [986] Strengthen some postconditions in C_ATTRIBUTE. Reference Implementation: Eiffel (archive)	0	2	5 July 2010
[ref_impl_eiffel] [971] Add a missing postcondition. Reference Implementation: Eiffel (archive)	0	2	29 June 2010
ref_impl_eiffel [145] Adjust semantics of setting pattern or string constraints in C_STRING Reference Implementation: Eiffel (archive)	0	2	23 December 2006
[ref_impl_eiffel] [870] Add is_regexp to C_STRING Reference Implementation: Eiffel (archive)	0	2	17 June 2009
[ref_impl_eiffel] [698] Add a postcondition. Reference Implementation: Eiffel (archive)	0	1	5 September 2008
[ref_impl_eiffel] [763] Fix the way quoting is done on C_STRINGs and also correct the implementation (no change to the outcome) for DT_PRIMITIVE_OBJECTs (the objects of dadl strings). Reference Implementation: Eiffel (archive)	0	3	11 December 2008
[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)	0	1	23 June 2010
[ref_impl_eiffel] [1195] Safer type testing in STRING_UTILITIES. atomic_value_to_string function. Reference Implementation: Eiffel (archive)	0	2	8 September 2010
[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] [900] AWB-167: Eiffel Software is planning to remove the implicit conversions from STRING_32 to STRING_8 in EiffelStudio 6.5. Reference Implementation: Eiffel (archive)	0	1	27 September 2009