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

svn1 10 March 2008 02:49 1

Revision: 565
Author: thomas.beale

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] [411] Correct error where non-local codes were being searched for in ARCHTEYPE_ONTOLOGY Reference Implementation: Eiffel (archive)	0	1	20 December 2007
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] [338] Rework specialisation code in ARCHETYPE_ONTOLOGY, ARCHETYPE, ARCHETYPE_COMPILER, archetype_term_code_tools. Reference Implementation: Eiffel (archive)	0	2	10 August 2007
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] [1660] Missed minor code change as part of last commit. Reference Implementation: Eiffel (archive)	0	2	15 December 2011
[ref_impl_eiffel] [475] Correct error where specialised archetype whose definition is a copy of that of the parent was causing an exception during DIFFERENTIAL_ARCHETYPE.make_from_flat Reference Implementation: Eiffel (archive)	0	0	27 January 2008
[ref_impl_eiffel] [1232] These changes change ARCHETYPE_ONTOLOGY and ADL_ENGINE so that the ontology object properly reports coded errors , currently only to do with constraint_ and term_bindings. Reference Implementation: Eiffel (archive)	0	0	23 September 2010
[ref_impl_eiffel] [1141] Update trunk to current specialisation revision. Reference Implementation: Eiffel (archive)	0	0	18 August 2010
[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