[ref_impl_eiffel] [994] Add a missing postcondition to ARCH_REP_ARCHETYPE.flatten.

Reference Implementation: Eiffel (archive)

svn1 8 July 2010 09:26 1

Revision: 994
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology. Reference Implementation: Eiffel (archive)	0	0	23 June 2010
[ref_impl_eiffel] [971] Add a missing postcondition. Reference Implementation: Eiffel (archive)	0	0	29 June 2010
[ref_impl_eiffel] [1343] Correct missing annotations in flattening of top-level archetype. Reference Implementation: Eiffel (archive)	0	0	22 December 2010
[ref_impl_eiffel] [698] Add a postcondition. Reference Implementation: Eiffel (archive)	0	0	5 September 2008
[ref_impl_eiffel] [695] First working version of proper archetype flattening. Reference Implementation: Eiffel (archive)	0	0	5 September 2008
[ref_impl_eiffel] [494] AWB-14: Flattening a specialised differential archetype did not set the parent archetype id. Reference Implementation: Eiffel (archive)	0	0	6 February 2008
[ref_impl_eiffel] [640] Renaming in ARCHETYPE_FLATTENER of output to output_archetype; Reference Implementation: Eiffel (archive)	0	0	17 May 2008
[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	0	8 July 2010
[ref_impl_eiffel] [932] Interim commit on C_ARCHETYPE_ROOT semantics; basic validation seems ok; flattening next. Reference Implementation: Eiffel (archive)	0	0	23 May 2010
[ref_impl_eiffel] [442] Initial working cut of flattening functionality: Reference Implementation: Eiffel (archive)	0	0	11 January 2008