# [ref_impl_eiffel] [1013] Correct invariant for AUTHORED_RESOURCE.languages_available, and also small refactoring to use the more standard '_cache' style name for the stored version.

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2010-07-16 10:37 UTC
**Views:** 2
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-1013-correct-invariant-for-authored-resource-languages-available-and-also-small-refactoring-to-use-the-more-standard-cache-style-name-for-the-stored-version/13495

---

## Post #1 by @svn1

Revision: 1013
Author:   thomas\.beale
Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-1013-correct-invariant-for-authored-resource-languages-available-and-also-small-refactoring-to-use-the-more-standard-cache-style-name-for-the-stored-version/13495
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-1013-correct-invariant-for-authored-resource-languages-available-and-also-small-refactoring-to-use-the-more-standard-cache-style-name-for-the-stored-version/13495