# [ref_impl_eiffel] [531] AWB-15: Similar to revisions 525 and 527, ARCHETYPE.invariants could never be empty if attached, so there was no point in ARCHETYPE_VALIDATOR.validate_basics checking this.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2008-02-22 11:39 UTC
**Views:** 2
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-531-awb-15-similar-to-revisions-525-and-527-archetype-invariants-could-never-be-empty-if-attached-so-there-was-no-point-in-archetype-validator-validate-basics-checking-this/12815

---

## Post #1 by @svn1

Revision: 531
Author:   peter\.gummer

Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-531-awb-15-similar-to-revisions-525-and-527-archetype-invariants-could-never-be-empty-if-attached-so-there-was-no-point-in-archetype-validator-validate-basics-checking-this/12815
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-531-awb-15-similar-to-revisions-525-and-527-archetype-invariants-could-never-be-empty-if-attached-so-there-was-no-point-in-archetype-validator-validate-basics-checking-this/12815