Package com.tnsai.invariants

package com.tnsai.invariants

Invariant checking framework for runtime state verification.

Related Packages

Package	Description
com.tnsai	TnsAI Java SDK - A multi-agent framework with BDI architecture and Gaia methodology.

Class	Description
InvariantCheck	Enables automatic invariant checking on a class or method.
InvariantCheckerHandle	SPI handle for invariant checking.
InvariantCheckerHandle.Factory	Factory for creating InvariantCheckerHandle instances.
InvariantViolationException	Exception thrown when an invariant condition is violated.
InvariantViolationException.ViolationType