[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology.

Reference Implementation: Eiffel (archive)

svn1 23 June 2010 01:41 1

Revision: 960
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[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] [1343] Correct missing annotations in flattening of top-level archetype. Reference Implementation: Eiffel (archive)	0	0	22 December 2010
[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] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	0	10 September 2007
[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] [640] Renaming in ARCHETYPE_FLATTENER of output to output_archetype; Reference Implementation: Eiffel (archive)	0	0	17 May 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	0	23 June 2010
[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	0	8 July 2010
[ref_impl_eiffel] [714] Further adjustments to specialised archetype validation and flattening - some bugs removed and code cleaned up in cADL parser; Reference Implementation: Eiffel (archive)	0	0	25 September 2008