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

svn1 18 February 2008 10:48 1

Revision: 518
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
[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] [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] [526] AWB-15: Fix precondition failures in DADL_ENGINE.set_source and CADL_ENGINE.set_source when the archetype definition or ontology sections are completely empty. Reference Implementation: Eiffel (archive)	0	2	20 February 2008
[ref_impl_eiffel] [516] AWB-14: When we tightened up ARCHETYPE_ID.valid_id in revision 428, we forgot to apply the same changes to the lexer. Reference Implementation: Eiffel (archive)	0	2	17 February 2008
[ref_impl_eiffel] [409] AWB-13: Fix ARCHETYPE_TERM_CODE_TOOLS.is_valid_code, which was clearly wrong, because although it correctly checked whether the given code stated with "ac" or "at", it then ignored the result and returned True solely on the basis o Reference Implementation: Eiffel (archive)	0	0	15 December 2007
[ref_impl_eiffel] [339] AWB-13: Fix void target references when an archetype fails to parse. Reference Implementation: Eiffel (archive)	0	0	10 August 2007
[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] [560] AWB-55 Exception in archetype with missing terms. Reference Implementation: Eiffel (archive)	0	0	8 March 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
[ref_impl_eiffel] [517] AWB-15: Fix a void target call when validating a specialised archetype that is structurally sound, but whose parent is missing. Reference Implementation: Eiffel (archive)	0	1	18 February 2008