Invariants

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

cached: 01/24/2020 12:11:22.000 AM