Package com.tnsai.invariants

Interface InvariantExpression

All Known Implementing Classes:

InvariantExpression.And, InvariantExpression.Comparison, InvariantExpression.FieldRef, InvariantExpression.Literal, InvariantExpression.MethodCall, InvariantExpression.Not, InvariantExpression.Or

public sealed interface InvariantExpression
permits InvariantExpression.FieldRef, InvariantExpression.Literal, InvariantExpression.Comparison, InvariantExpression.And, InvariantExpression.Or, InvariantExpression.Not, InvariantExpression.MethodCall

Represents a parsed invariant expression.

Supports:

• Comparisons: ==, !=, <, >, <=, >=
• Logical: &&, ||, !
• Field access: state, numberOfLiveNeighbors, etc.
• Literals: numbers, strings, enums, true/false

Author:

TnsAI Team

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	InvariantExpression.And	Logical AND (invalid input: '&'invalid input: '&').
static final record	InvariantExpression.Comparison	Binary comparison (==, !
static enum	InvariantExpression.ComparisonOp	Comparison operators.
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 (||).