Uses of Interface
com.tnsai.invariants.InvariantExpression

Packages that use InvariantExpression

Package	Description
com.tnsai.invariants

Uses of InvariantExpression in com.tnsai.invariants

Classes in com.tnsai.invariants that implement InvariantExpression

Modifier and Type	Class	Description
static final record	InvariantExpression.And	Logical AND (invalid input: '&'invalid input: '&').
static final record	InvariantExpression.Comparison	Binary comparison (==, !
static final record	InvariantExpression.FieldRef	Field reference (e.g., "state", "numberOfLiveNeighbors").
static final record	InvariantExpression.Literal	Literal value (number, string, boolean, enum).
static final record	InvariantExpression.MethodCall	Method call (e.g., "isEmpty()").
static final record	InvariantExpression.Not	Logical NOT (!).
static final record	InvariantExpression.Or	Logical OR (||).

Methods in com.tnsai.invariants that return InvariantExpression

Modifier and Type	Method	Description
InvariantExpression	InvariantExpression.Not.expr()	Returns the value of the expr record component.
InvariantExpression	InvariantExpression.And.left()	Returns the value of the left record component.
InvariantExpression	InvariantExpression.Comparison.left()	Returns the value of the left record component.
InvariantExpression	InvariantExpression.Or.left()	Returns the value of the left record component.
InvariantExpression	InvariantParser.parse(String invariant)	Parses an invariant string into an expression tree.
InvariantExpression	InvariantExpression.And.right()	Returns the value of the right record component.
InvariantExpression	InvariantExpression.Comparison.right()	Returns the value of the right record component.
InvariantExpression	InvariantExpression.Or.right()	Returns the value of the right record component.
InvariantExpression	InvariantExpression.MethodCall.target()	Returns the value of the target record component.

Methods in com.tnsai.invariants that return types with arguments of type InvariantExpression

Modifier and Type	Method	Description
List<InvariantExpression>	InvariantExpression.MethodCall.args()	Returns the value of the args record component.

Methods in com.tnsai.invariants with parameters of type InvariantExpression

Modifier and Type	Method	Description
Object	InvariantEvaluator.evaluate(InvariantExpression expr)	Evaluates the expression and returns the result.
boolean	InvariantEvaluator.evaluateAsBoolean(InvariantExpression expr)	Evaluates the expression as a boolean.

Constructors in com.tnsai.invariants with parameters of type InvariantExpression

Modifier	Constructor	Description
	And(InvariantExpression left, InvariantExpression right)	Creates an instance of a And record class.
	Comparison(InvariantExpression left, InvariantExpression.ComparisonOp op, InvariantExpression right)	Creates an instance of a Comparison record class.
	MethodCall(InvariantExpression target, String methodName, List<InvariantExpression> args)	Creates an instance of a MethodCall record class.
	Not(InvariantExpression expr)	Creates an instance of a Not record class.
	Or(InvariantExpression left, InvariantExpression right)	Creates an instance of a Or record class.

Constructor parameters in com.tnsai.invariants with type arguments of type InvariantExpression

Modifier	Constructor	Description
	MethodCall(InvariantExpression target, String methodName, List<InvariantExpression> args)	Creates an instance of a MethodCall record class.