Invariants

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

cached: 06/05/2025 1:34:08.000 AM