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

svn1 8 July 2010 16:01 1

Revision: 997
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [996] Fix a failing precondition when ARCH_REP_ARCHETYPE. add_slot_ids was changing the comparison criterion of a non-empty list. Reference Implementation: Eiffel (archive)	0	1	8 July 2010
[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology. Reference Implementation: Eiffel (archive)	0	1	23 June 2010
[ref_impl_eiffel] [961] Fix a precondition failure when creating the parent id of a specialised archetype while populating the repository tree . Reference Implementation: Eiffel (archive)	0	1	23 June 2010
[ref_impl_eiffel] [1351] Fix the ARCHETYPE_DIRECTORY unit tests. Reference Implementation: Eiffel (archive)	0	2	6 January 2011
ref_impl_eiffel [139] Correct ARCHETYPE_ID for archetype directory merge changes Reference Implementation: Eiffel (archive)	0	1	23 December 2006
[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] [1383] Correct initial condition in ARCHETYPE_COMPILER. Reference Implementation: Eiffel (archive)	0	2	10 January 2011
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	1	10 September 2007
[ref_impl_eiffel] [990] Add a unit test demonstrating a bugs in ARCHETYPE_DIRECTORY. add_adhoc_item: Reference Implementation: Eiffel (archive)	0	2	7 July 2010
[ref_impl_eiffel] [1011] TEST_DIFFERENTIAL_ARCHETYPE_ONTOLOGY was failing during instantiation because , now that we've enabled invariants, the invariants inherited from DIFFERENTIAL_ARCHETYPE were not being satisfied . Reference Implementation: Eiffel (archive)	0	0	16 July 2010