[ref_impl_eiffel] [533] AWB-15: Make explicit the implicit assumption that ARCHETYPE_CONSTRAINT.representation is attached.

Reference Implementation: Eiffel (archive)

svn1 25 February 2008 11:42 1

Revision: 533
Author: peter.gummer

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [527] AWB-15: In ARCHETYPE, similar to revision 525's change for ontology, archetype_id and defintion could never be Void, so there was no point in ARCHETYPE_VALIDATOR.validate_basics checking whether they were Void. Reference Implementation: Eiffel (archive)	0	2	21 February 2008
[ref_impl_eiffel] [392] AWB-15. Reference Implementation: Eiffel (archive)	0	2	27 October 2007
[ref_impl_eiffel] [560] AWB-55 Exception in archetype with missing terms. Reference Implementation: Eiffel (archive)	0	0	8 March 2008
[ref_impl_eiffel] [531] AWB-15: Similar to revisions 525 and 527, ARCHETYPE.invariants could never be empty if attached, so there was no point in ARCHETYPE_VALIDATOR.validate_basics checking this. Reference Implementation: Eiffel (archive)	0	2	22 February 2008
[ref_impl_eiffel] [570] AWB-71: Colourise the HTML we can show what is inherited and redefined, using the ARCHETYPE_CONSTRAINT.specialisation_status. Reference Implementation: Eiffel (archive)	0	0	10 March 2008
[ref_impl_eiffel] [339] AWB-13: Fix void target references when an archetype fails to parse. Reference Implementation: Eiffel (archive)	0	0	10 August 2007
[ref_impl_eiffel] [380] AWB-14 - Further changes toward differential form of archetypes, and compilation structured tool. Reference Implementation: Eiffel (archive)	0	1	7 October 2007
[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] [794] RM checking - basic form looks correct for reasonable selection of archetypes. Reference Implementation: Eiffel (archive)	0	2	8 February 2009