Class Terminal

java.lang.Object

com.knezevic.edaf.v3.repr.grammar.model.Terminal

All Implemented Interfaces:

GrammarSymbol

Direct Known Subclasses:

BooleanConstantTerminal, ConstantTerminal, EphemeralConstantTerminal, OperatorTerminal, VariableTerminal

public abstract sealed class Terminal
extends Object
implements GrammarSymbol
permits VariableTerminal, ConstantTerminal, EphemeralConstantTerminal, BooleanConstantTerminal, OperatorTerminal

Base terminal symbol class.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Terminal(String symbol, TypeSignature typeSignature)

Method Summary

Modifier and Type	Method	Description
final String	symbol()	Symbol identifier used in rules and serialized AST payloads.
String	toString()
final TypeSignature	typeSignature()	Optional output type annotation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Terminal

protected Terminal(String symbol,
 TypeSignature typeSignature)

Method Details

symbol

public final String symbol()

Description copied from interface: GrammarSymbol

Symbol identifier used in rules and serialized AST payloads.

Specified by:

symbol in interface GrammarSymbol

typeSignature

public final TypeSignature typeSignature()

Description copied from interface: GrammarSymbol

Optional output type annotation.

Specified by:

typeSignature in interface GrammarSymbol

toString

public String toString()

Overrides:

toString in class Object