[ref_impl_eiffel] [580] AWB-99: Fix a violation of the language_valid precondition in ARCETYPE_ONTOLOGY.term_definition.

Reference Implementation: Eiffel (archive)

svn1 19 March 2008 02:37 1

Revision: 580
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [1436] Fix a precondition violation in ARCHETYPE_ONTOLOGY. remove_term_binding, which was failing when called from remove_term_definition. Reference Implementation: Eiffel (archive)	0	0	23 February 2011
[ref_impl_eiffel] [331] AWB-13: Fix precondition violation "has_language" in ARCHETYPE.logical_paths. Reference Implementation: Eiffel (archive)	0	1	8 August 2007
[ref_impl_eiffel] [560] AWB-55 Exception in archetype with missing terms. Reference Implementation: Eiffel (archive)	0	0	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] [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	2	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	3	21 February 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	6	19 February 2008
[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] [518] AWB-14: Fix a precondition failure in ARCHETYPE_ID.make_from_string, caused by ADL_ENGINE passing through an invalid concept code. Reference Implementation: Eiffel (archive)	0	2	18 February 2008
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	1	10 September 2007