Revision: 986
Author: peter.gummer
Log Message:
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ref_impl_eiffel] [698] Add a postcondition. | 0 | 1 | 5 September 2008 | |
| [ref_impl_eiffel] [955] Remove useless statements in C_ATTRIBUTE (due to PG code review) | 0 | 0 | 21 June 2010 | |
| [ref_impl_eiffel] [971] Add a missing postcondition. | 0 | 2 | 29 June 2010 | |
| [ref_impl_eiffel] [975] Add some missing pre- and postconditions to C_STRING. | 0 | 2 | 3 July 2010 | |
| [ref_impl_eiffel] [1434] Correct a postcondition in DT_ATTRIBUTE_NODE.set_generic. | 0 | 0 | 23 February 2011 | |
| [ref_impl_eiffel] [549] AWB-15: Add FIXME comments to some checks that I believe should be deleted from C_ATTRIBUTE.is_valid. | 0 | 0 | 4 March 2008 | |
| [ref_impl_eiffel] [826] Correct a bug that caused a Void reference violation for a C_ATTRIBUTE that should have been declared with a cardinality but wasn't | 0 | 2 | 28 February 2009 | |
| ref_impl_eiffel [255] AWB-32: Simplify the implementation, and add a postcondition. | 0 | 1 | 27 May 2007 | |
| [ref_impl_eiffel] [938] Changes: | 0 | 3 | 3 June 2010 | |
| [ref_impl_eiffel] [976] Changes: | 0 | 2 | 3 July 2010 |