parser-core/it.unibo.tuprolog.core.parsing/PrologExpressionVisitor

PrologExpressionVisitor

class PrologExpressionVisitor(scope: Scope = Scope.empty()) : PrologParserBaseVisitor<Term>

Constructors

fun PrologExpressionVisitor(scope: Scope = Scope.empty())

Functions

aggregateResult

open fun aggregateResult(p0: Term, p1: Term): Term

defaultResult

open fun defaultResult(): Term

shouldVisitNextChild

open fun shouldVisitNextChild(p0: RuleNode, p1: Term): Boolean

visit

open override fun visit(p0: ParseTree): Term

visitBlock

open override fun visitBlock(ctx: PrologParser.BlockContext): Term

visitChildren

open override fun visitChildren(p0: RuleNode): Term

visitClause

open override fun visitClause(ctx: PrologParser.ClauseContext): Term

visitErrorNode

open override fun visitErrorNode(p0: ErrorNode): Term

visitExpression

open override fun visitExpression(ctx: PrologParser.ExpressionContext): Term

visitInteger

open override fun visitInteger(ctx: PrologParser.IntegerContext): Term

visitList

open override fun visitList(ctx: PrologParser.ListContext): Term

visitNumber

open override fun visitNumber(p0: PrologParser.NumberContext): Term

visitOp

open override fun visitOp(p0: PrologParser.OpContext): Term

visitOptClause

open override fun visitOptClause(p0: PrologParser.OptClauseContext): Term

visitOptExpression

open override fun visitOptExpression(p0: PrologParser.OptExpressionContext): Term

visitOuter

open override fun visitOuter(p0: PrologParser.OuterContext): Term

visitReal

open override fun visitReal(ctx: PrologParser.RealContext): Term

visitSingletonExpression

open override fun visitSingletonExpression(ctx: PrologParser.SingletonExpressionContext): Term

visitSingletonTerm

open override fun visitSingletonTerm(ctx: PrologParser.SingletonTermContext): Term

visitStructure

open override fun visitStructure(ctx: PrologParser.StructureContext): Term

visitTerm

open override fun visitTerm(ctx: PrologParser.TermContext): Term

visitTerminal

open override fun visitTerminal(p0: TerminalNode): Term

visitTheory

open override fun visitTheory(p0: PrologParser.TheoryContext): Term

visitVariable

open override fun visitVariable(ctx: PrologParser.VariableContext): Term