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

svn1 9 March 2008 04:52 1

Revision: 563
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
[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	0	21 February 2008
[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	0	22 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] [639] AWB-117: Fix problems in the Errors grid when re-parsing an archetype successfully that previously had errors or warnings: Reference Implementation: Eiffel (archive)	0	0	15 May 2008
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	0	10 September 2007
[ref_impl_eiffel] [872] Improve the test that loads and compiles the validation test archetype repository. Reference Implementation: Eiffel (archive)	0	0	25 June 2009
[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	0	20 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	0	18 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	0	19 March 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	0	17 February 2008