[ref_impl_eiffel] [1011] TEST_DIFFERENTIAL_ARCHETYPE_ONTOLOGY was failing during instantiation because , now that we've enabled invariants, the invariants inherited from DIFFERENTIAL_ARCHETYPE were not being satisfied .

Reference Implementation: Eiffel (archive)

svn1 16 July 2010 05:29 1

Revision: 1011
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [970] Add postconditions and unit test assertions demonstrating that a new minimal differential archetype was created in an invalid state . Reference Implementation: Eiffel (archive)	0	10	29 June 2010
[ref_impl_eiffel] [1010] Fixes Reference Implementation: Eiffel (archive)	0	10	16 July 2010
[ref_impl_eiffel] [1012] Fix two unit tests that were failing because a precondition was failing. Reference Implementation: Eiffel (archive)	0	9	16 July 2010
[ref_impl_eiffel] [968] Add a unit test demonstrating a wrong postcondition when creating a new minimal differential archetype . Reference Implementation: Eiffel (archive)	0	7	27 June 2010
[ref_impl_eiffel] [1017] Changes: Reference Implementation: Eiffel (archive)	0	10	18 July 2010
[ref_impl_eiffel] [1015] Changes: Reference Implementation: Eiffel (archive)	0	7	16 July 2010
[ref_impl_eiffel] [566] AWB-14 - Change the test view to properly accommodate differential form archetypes and to ignore flat form archetypes. Reference Implementation: Eiffel (archive)	0	8	10 March 2008
[ref_impl_eiffel] [475] Correct error where specialised archetype whose definition is a copy of that of the parent was causing an exception during DIFFERENTIAL_ARCHETYPE.make_from_flat Reference Implementation: Eiffel (archive)	0	6	27 January 2008
[ref_impl_eiffel] [1351] Fix the ARCHETYPE_DIRECTORY unit tests. Reference Implementation: Eiffel (archive)	0	9	6 January 2011
[ref_impl_eiffel] [1020] Remove erroneous precondition on ARCH_REP_ARCHETYPE.compile_legacy, which used to protect against compiling legacy archetypes when there was a differential file available . Reference Implementation: Eiffel (archive)	0	8	19 July 2010