Invariants

The invariants view displays all the invariants of the current class.
It is available through the Class tab of the context tool.

cached: 09/13/2025 7:12:55.000 PM