[[Property:title|Invariants]]
[[Property:weight|-3]]
[[Property:uuid|74a4cf46-cc07-d7b8-bce4-b8bf78b72b99]]
The invariants view  [[Image:class-features-invariant-icon]] displays all the invariants of the current class. <br/>
It is available through the '''Class''' tab of the [[EiffelStudio window overview|context tool]].