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

svn1 21 February 2008 01:51 1

Revision: 527
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [531] AWB-15: Similar to revisions 525 and 527, ARCHETYPE.invariants could never be empty if attached, so there was no point in ARCHETYPE_VALIDATOR.validate_basics checking this. Reference Implementation: Eiffel (archive)	0	2	22 February 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
[ref_impl_eiffel] [488] AWB-14: Fix several Void target calls introduced by revision 380, caused by testing whether the selected archetype is valid when there is no selected archetype. Reference Implementation: Eiffel (archive)	0	2	5 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] [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] [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] [555] AWB-15: Fix a Void target call in ARCHETYPE_VALIDATOR.build_slot_id_index, due to an attempt to access the slot_id_index before it has been instantiated. Reference Implementation: Eiffel (archive)	0	2	5 March 2008
[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] [637] AWB-132: Fix a Void target call that showed up with some of the test archetypes, e.g. Reference Implementation: Eiffel (archive)	0	1	14 May 2008