ref_impl_eiffel [258] AWB-34: ARCHETYPE_ONTOLOGY.update_highest_constraint_code_index worked only if the archetype was at the top or the first level of specialisation.

Reference Implementation: Eiffel (archive)

svn1 29 May 2007 08:57 1

Revision: 258
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [562] AWB-15: Fix a bug in ARCHETYPE_ONTOLOGY.update_highest_constraint_code_index, which was comparing with highest_term_code_index instead of highest_constraint_code_index. Reference Implementation: Eiffel (archive)	0	1	8 March 2008
[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] [565] Correct missing call to update_specialised_codes from constraint code part of ARCHETYPE_ONTOLOGY.synchronise_from_tree Reference Implementation: Eiffel (archive)	0	0	10 March 2008
[ref_impl_eiffel] [525] AWB-15: Fix ARCHETYPE_VALIDATOR.validate_found_codes, which was not checking that at-codes were at the correct specialisation level. Reference Implementation: Eiffel (archive)	0	1	20 February 2008
ref_impl_eiffel [64] Corrected some errors in ARCHETYPE.ontology_remove_unused_codes; Reference Implementation: Eiffel (archive)	0	2	14 May 2006
[ref_impl_eiffel] [527] AWB-15: In ARCHETYPE, similar to revision 525's change for ontology, archetype_id and defintion could never be Void, so there was no point in ARCHETYPE_VALIDATOR.validate_basics checking whether they were Void. Reference Implementation: Eiffel (archive)	0	3	21 February 2008
[ref_impl_eiffel] [536] AWB-15: Fix a bug introduced by revision 527, where a specialised archetype's parent id was set to its own id. Reference Implementation: Eiffel (archive)	0	2	26 February 2008
[ref_impl_eiffel] [631] AWB-127: Fix a catcall that occurred when building an archetype lineage. Reference Implementation: Eiffel (archive)	0	3	6 May 2008
ref_impl_eiffel [158] Reference Implementation: Eiffel (archive)	0	4	17 January 2007
[ref_impl_eiffel] [522] AWB-15: There is a precondition failure in ARCHETYPE_TERM_CODE_TOOLS.specialisation_depth_from_code if the code is invalid. Reference Implementation: Eiffel (archive)	0	6	19 February 2008