Package com.tnsai.invariants

Class InvariantParser

java.lang.Object

com.tnsai.invariants.InvariantParser

public class InvariantParser
extends Object

Parses invariant strings into InvariantExpression AST.

Supports expressions like:

• state == ALIVE
• numberOfLiveNeighbors >= 2 && numberOfLiveNeighbors <= 3
• birthCount > 0 || deathCount > 0
• !isEmpty()

Thread-safe: all mutable parsing state is held in a method-local Cursor.

Author:

TnsAI Team

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InvariantParser.InvariantParseException	Exception thrown when parsing fails.

Constructor Summary

Constructors

Constructor	Description
InvariantParser()

Method Summary

Modifier and Type	Method	Description
InvariantExpression	parse(String invariant)	Parses an invariant string into an expression tree.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

InvariantParser

public InvariantParser()

Method Details

parse

public InvariantExpression parse(String invariant)

Parses an invariant string into an expression tree.

Parameters:

invariant - the invariant string

Returns:

parsed expression

Throws:

InvariantParser.InvariantParseException - if parsing fails