Package com.tnsai.invariants

package com.tnsai.invariants

Related Packages

Package	Description
com.tnsai.invariants.rules	Rule engine for evaluating conditional transition rules at runtime.

Class	Description
DefaultInvariantCheckerFactory	Default factory that creates InvariantChecker instances.
InvariantChecker	Runtime invariant checker for TnsAI roles.
InvariantEvaluator	Evaluates InvariantExpression against a target object.
InvariantEvaluator.InvariantEvaluationException	Exception thrown when evaluation fails.
InvariantExpression	Represents a parsed invariant expression.
InvariantExpression.And	Logical AND (invalid input: '&'invalid input: '&').
InvariantExpression.Comparison	Binary comparison (==, !
InvariantExpression.ComparisonOp	Comparison operators.
InvariantExpression.FieldRef	Field reference (e.g., "state", "numberOfLiveNeighbors").
InvariantExpression.Literal	Literal value (number, string, boolean, enum).
InvariantExpression.MethodCall	Method call (e.g., "isEmpty()").
InvariantExpression.Not	Logical NOT (!).
InvariantExpression.Or	Logical OR (||).
InvariantParser	Parses invariant strings into InvariantExpression AST.
InvariantParser.InvariantParseException	Exception thrown when parsing fails.