Revision: 698
Author: peter.gummer
Log Message:
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ref_impl_eiffel] [971] Add a missing postcondition. | 0 | 2 | 29 June 2010 | |
| ref_impl_eiffel [255] AWB-32: Simplify the implementation, and add a postcondition. | 0 | 1 | 27 May 2007 | |
| [ref_impl_eiffel] [986] Strengthen some postconditions in C_ATTRIBUTE. | 0 | 3 | 5 July 2010 | |
| [ref_impl_eiffel] [994] Add a missing postcondition to ARCH_REP_ARCHETYPE.flatten. | 0 | 0 | 8 July 2010 | |
| [ref_impl_eiffel] [382] 1. | 0 | 4 | 10 October 2007 | |
| [ref_impl_eiffel] [1434] Correct a postcondition in DT_ATTRIBUTE_NODE.set_generic. | 0 | 0 | 23 February 2011 | |
| [ref_impl_eiffel] [968] Add a unit test demonstrating a wrong postcondition when creating a new minimal differential archetype . | 0 | 2 | 27 June 2010 | |
| [ref_impl_eiffel] [392] AWB-15. | 0 | 3 | 27 October 2007 | |
| [ref_impl_eiffel] [970] Add postconditions and unit test assertions demonstrating that a new minimal differential archetype was created in an invalid state . | 0 | 3 | 29 June 2010 | |
| [ref_impl_eiffel] [998] Changes: | 0 | 5 | 8 July 2010 |