Class OperatorTerminal

java.lang.Object

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

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

All Implemented Interfaces:

GrammarSymbol

public final class OperatorTerminal
extends Terminal

Terminal that references one executable operator definition.

Constructor Summary

Constructors

Constructor	Description
OperatorTerminal(OperatorDefinition operator)	Creates operator terminal.

Method Summary

Modifier and Type	Method	Description
OperatorDefinition	operator()	Bound operator implementation.

Methods inherited from class com.knezevic.edaf.v3.repr.grammar.model.Terminal

symbol, toString, typeSignature

Methods inherited from class java.lang.Object

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

Constructor Details

OperatorTerminal

public OperatorTerminal(OperatorDefinition operator)

Creates operator terminal.

Method Details

operator

public OperatorDefinition operator()

Bound operator implementation.