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

svn1 23 February 2011 11:57 1

Revision: 1436
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [580] AWB-99: Fix a violation of the language_valid precondition in ARCETYPE_ONTOLOGY.term_definition. Reference Implementation: Eiffel (archive)	0	8	19 March 2008
[ref_impl_eiffel] [662] Fix a bug in ARCHETYPE_ONTOLOGY where the addition of a term binding caused it to be put under a group whose identifier included the terminology version rather than just using the terminology name. Reference Implementation: Eiffel (archive)	0	8	4 June 2008
[ref_impl_eiffel] [1437] Although the last revision worked, further testing shows that it was doing more work than necessary in ARCHETYPE_ONTOLOGY .finalise_dt. Reference Implementation: Eiffel (archive)	0	8	23 February 2011
[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology. Reference Implementation: Eiffel (archive)	0	8	23 June 2010
[ref_impl_eiffel] [666] EDT-284: Fix exceptions in ARCHETYPE_ONTOLOGY that occurred while testing the parser with Archetype Editor and when opening adl-test-ENTRY.ontology_term_binding_empty.v1.adl in ADL Workbench. Reference Implementation: Eiffel (archive)	0	9	5 June 2008
[ref_impl_eiffel] [359] AWB-14: Fix void target references in ARCHETYPE.remove_inherited_subtrees. Reference Implementation: Eiffel (archive)	0	9	9 September 2007
[ref_impl_eiffel] [560] AWB-55 Exception in archetype with missing terms. Reference Implementation: Eiffel (archive)	0	6	8 March 2008
[ref_impl_eiffel] [997] Fix a precondition failure caused by ARCHETYPE_DIRECTORY. initialise_ontology_prototype violating the same_rule precondition of ARRAYED_SET .merge, i.e. Reference Implementation: Eiffel (archive)	0	8	8 July 2010
[ref_impl_eiffel] [343] Fix a void reference exception, triggered by an empty term_definitions list like this: Reference Implementation: Eiffel (archive)	0	6	13 August 2007
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	9	10 September 2007