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

svn1 8 July 2010 13:46 1

Revision: 996
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[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	1	8 July 2010
[ref_impl_eiffel] [994] Add a missing postcondition to ARCH_REP_ARCHETYPE.flatten. Reference Implementation: Eiffel (archive)	0	0	8 July 2010
[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] [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] [934] Add referenced archetype index to ARCH_REP_ARCHETYPE; Reference Implementation: Eiffel (archive)	0	0	26 May 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] [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] [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)	0	2	18 February 2008
[ref_impl_eiffel] [480] Correct case-changing error introduced with slot table building. Reference Implementation: Eiffel (archive)	0	0	29 January 2008