# [ref_impl_eiffel] [1540] added void safety preconditions and void checking statements to archetype_wrapper_generator .e

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2011-08-17 11:00 UTC
**Views:** 2
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-1540-added-void-safety-preconditions-and-void-checking-statements-to-archetype-wrapper-generator-e/14114

---

## Post #1 by @svn1

Revision: 1540
Author:   seref\.arikan
Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-1540-added-void-safety-preconditions-and-void-checking-statements-to-archetype-wrapper-generator-e/14114
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-1540-added-void-safety-preconditions-and-void-checking-statements-to-archetype-wrapper-generator-e/14114