[ref_impl_eiffel] [794] RM checking - basic form looks correct for reasonable selection of archetypes.

Reference Implementation: Eiffel (archive)

svn1 8 February 2009 20:40 1

Revision: 794
Author: thomas.beale

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [791] The basic class and attribute checks appear to be working, based on current archetypes, including specialised ones. Reference Implementation: Eiffel (archive)	0	8	4 February 2009
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	9	10 September 2007
[ref_impl_eiffel] [908] Rewrite of archetype class hierarchy, completely derived from RM structure. Reference Implementation: Eiffel (archive)	0	7	12 May 2010
ref_impl_eiffel [297] Various structural modifications & simplifications on the way to a 'system of archetypes compiler' approach. Reference Implementation: Eiffel (archive)	0	9	9 July 2007
[ref_impl_eiffel] [380] AWB-14 - Further changes toward differential form of archetypes, and compilation structured tool. Reference Implementation: Eiffel (archive)	0	7	7 October 2007
[ref_impl_eiffel] [1340] First cut of working archetype Annotations: Reference Implementation: Eiffel (archive)	0	9	21 December 2010
[ref_impl_eiffel] [932] Interim commit on C_ARCHETYPE_ROOT semantics; basic validation seems ok; flattening next. Reference Implementation: Eiffel (archive)	0	7	23 May 2010
[ref_impl_eiffel] [392] AWB-15. Reference Implementation: Eiffel (archive)	0	8	27 October 2007
[ref_impl_eiffel] [1383] Correct initial condition in ARCHETYPE_COMPILER. Reference Implementation: Eiffel (archive)	0	9	10 January 2011
[ref_impl_eiffel] [842] Correct various errors in the RM checking. Reference Implementation: Eiffel (archive)	0	11	18 March 2009