PrologParserListener

open external class PrologParserListener

Functions

enterClause

open fun enterClause(ctx: ClauseContext)

enterExpression

open fun enterExpression(ctx: ExpressionContext)

enterInteger

open fun enterInteger(ctx: IntegerContext)

enterList

open fun enterList(ctx: ListContext)

enterNumber

open fun enterNumber(ctx: NumberContext)

enterOp

open fun enterOp(ctx: OpContext)

enterOptClause

open fun enterOptClause(ctx: OptClauseContext)

enterOuter

open fun enterOuter(ctx: OuterContext)

enterReal

open fun enterReal(ctx: RealContext)

enterSet

open fun enterSet(ctx: SetContext)

enterSingletonExpression

open fun enterSingletonExpression(ctx: SingletonExpressionContext)

enterSingletonTerm

open fun enterSingletonTerm(ctx: SingletonTermContext)

enterStructure

open fun enterStructure(ctx: StructureContext)

enterTerm

open fun enterTerm(ctx: TermContext)

enterTheory

open fun enterTheory(ctx: TheoryContext)

enterVariable

open fun enterVariable(ctx: VariableContext)

exitClause

open fun exitClause(ctx: ClauseContext)

exitExpression

open fun exitExpression(ctx: ExpressionContext)

exitInteger

open fun exitInteger(ctx: IntegerContext)

exitList

open fun exitList(ctx: ListContext)

exitNumber

open fun exitNumber(ctx: NumberContext)

exitOp

open fun exitOp(ctx: OpContext)

exitOptClause

open fun exitOptClause(ctx: OptClauseContext)

exitOuter

open fun exitOuter(ctx: OuterContext)

exitReal

open fun exitReal(ctx: RealContext)

exitSet

open fun exitSet(ctx: SetContext)

exitSingletonExpression

open fun exitSingletonExpression(ctx: SingletonExpressionContext)

exitSingletonTerm

open fun exitSingletonTerm(ctx: SingletonTermContext)

exitStructure

open fun exitStructure(ctx: StructureContext)

exitTerm

open fun exitTerm(ctx: TermContext)

exitTheory

open fun exitTheory(ctx: TheoryContext)

exitVariable

open fun exitVariable(ctx: VariableContext)