[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)

svn1 8 March 2008 13:42 1

Revision: 562
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
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)	0	0	29 May 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] [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	1	26 February 2008
[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] [563] AWB-55: The test archetypes added by revision 2988 of the knowledge repository revealed a few more bugs in the validation of languages. Reference Implementation: Eiffel (archive)	0	1	9 March 2008
[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	2	21 February 2008
[ref_impl_eiffel] [662] Fix a bug in ARCHETYPE_ONTOLOGY where the addition of a term binding caused it to be put under a group whose identifier included the terminology version rather than just using the terminology name. Reference Implementation: Eiffel (archive)	0	1	4 June 2008
[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	2	19 February 2008
[ref_impl_eiffel] [580] AWB-99: Fix a violation of the language_valid precondition in ARCETYPE_ONTOLOGY.term_definition. Reference Implementation: Eiffel (archive)	0	1	19 March 2008