[ref_impl_eiffel] [1056] Fix a failure of the 'attr_name_valid' precondition in DT_COMPLEX_OBJECT_NODE.remove_attribute, when called from C_DOMAIN_TYPE.synchronise_to_tree.

Reference Implementation: Eiffel (archive)

svn1 29 July 2010 00:49 1

Revision: 1056
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [1435] Fix a precondition violation in DT_ATTRIBUTE_NODE. set_container_object_data_from_dt, which was failing because the node was not multiple. Reference Implementation: Eiffel (archive)	0	0	23 February 2011
[ref_impl_eiffel] [1434] Correct a postcondition in DT_ATTRIBUTE_NODE.set_generic. Reference Implementation: Eiffel (archive)	0	0	23 February 2011
[ref_impl_eiffel] [995] Remove an invariant that was failing. Reference Implementation: Eiffel (archive)	0	1	8 July 2010
[ref_impl_eiffel] [1010] Fixes Reference Implementation: Eiffel (archive)	0	2	16 July 2010
[ref_impl_eiffel] [1541] Fix error where single-valued attribute nodes allowed addition of more than one sub-node . Reference Implementation: Eiffel (archive)	0	1	17 August 2011
[ref_impl_eiffel] [632] EDT-272: Fix a bug introduced by revision 132. Reference Implementation: Eiffel (archive)	0	2	10 May 2008
[ref_impl_eiffel] [1610] Fixes: Reference Implementation: Eiffel (archive)	0	3	9 September 2011
[ref_impl_eiffel] [933] Corrected small bug to do with VCATU error checking in CADL parser, where it was testing if an attribute already existed under an object by name (e.g. Reference Implementation: Eiffel (archive)	0	2	24 May 2010
[ref_impl_eiffel] [986] Strengthen some postconditions in C_ATTRIBUTE. Reference Implementation: Eiffel (archive)	0	3	5 July 2010
[ref_impl_eiffel] [1530] Fixes: Reference Implementation: Eiffel (archive)	0	2	12 August 2011