# ref\_impl\_eiffel \[255\] AWB-32: Simplify the implementation, and add a postcondition.

**URL:** <https://discourse.openehr.org/t/ref-impl-eiffel-255-awb-32-simplify-the-implementation-and-add-a-postcondition/12422>\
**Category:** Reference Implementation: Eiffel (archive)\
**Created:** [27 May 2007 10:16 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-255-awb-32-simplify-the-implementation-and-add-a-postcondition/12422 "2007-05-27T10:16:22Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![svn1](https://discourse.openehr.org/letter_avatar_proxy/v4/letter/s/958977/32.png) [@svn1](https://discourse.openehr.org/u/svn1)\
**Post date:** [27 May 2007 10:16 UTC](https://discourse.openehr.org/t/ref-impl-eiffel-255-awb-32-simplify-the-implementation-and-add-a-postcondition/12422/1 "2007-05-27T10:16:22Z")

</div>

Revision: 255  
Author: peter.gummer

Log Message: