PrologParserListener

open external class PrologParserListener

Functions

enterClause
Link copied to clipboard
open fun enterClause(ctx: ClauseContext)
enterExpression
Link copied to clipboard
open fun enterExpression(ctx: ExpressionContext)
enterInteger
Link copied to clipboard
open fun enterInteger(ctx: IntegerContext)
enterList
Link copied to clipboard
open fun enterList(ctx: ListContext)
enterNumber
Link copied to clipboard
open fun enterNumber(ctx: NumberContext)
enterOp
Link copied to clipboard
open fun enterOp(ctx: OpContext)
enterOptClause
Link copied to clipboard
open fun enterOptClause(ctx: OptClauseContext)
enterOuter
Link copied to clipboard
open fun enterOuter(ctx: OuterContext)
enterReal
Link copied to clipboard
open fun enterReal(ctx: RealContext)
enterSet
Link copied to clipboard
open fun enterSet(ctx: SetContext)
enterSingletonExpression
Link copied to clipboard
open fun enterSingletonExpression(ctx: SingletonExpressionContext)
enterSingletonTerm
Link copied to clipboard
open fun enterSingletonTerm(ctx: SingletonTermContext)
enterStructure
Link copied to clipboard
open fun enterStructure(ctx: StructureContext)
enterTerm
Link copied to clipboard
open fun enterTerm(ctx: TermContext)
enterTheory
Link copied to clipboard
open fun enterTheory(ctx: TheoryContext)
enterVariable
Link copied to clipboard
open fun enterVariable(ctx: VariableContext)
exitClause
Link copied to clipboard
open fun exitClause(ctx: ClauseContext)
exitExpression
Link copied to clipboard
open fun exitExpression(ctx: ExpressionContext)
exitInteger
Link copied to clipboard
open fun exitInteger(ctx: IntegerContext)
exitList
Link copied to clipboard
open fun exitList(ctx: ListContext)
exitNumber
Link copied to clipboard
open fun exitNumber(ctx: NumberContext)
exitOp
Link copied to clipboard
open fun exitOp(ctx: OpContext)
exitOptClause
Link copied to clipboard
open fun exitOptClause(ctx: OptClauseContext)
exitOuter
Link copied to clipboard
open fun exitOuter(ctx: OuterContext)
exitReal
Link copied to clipboard
open fun exitReal(ctx: RealContext)
exitSet
Link copied to clipboard
open fun exitSet(ctx: SetContext)
exitSingletonExpression
Link copied to clipboard
open fun exitSingletonExpression(ctx: SingletonExpressionContext)
exitSingletonTerm
Link copied to clipboard
open fun exitSingletonTerm(ctx: SingletonTermContext)
exitStructure
Link copied to clipboard
open fun exitStructure(ctx: StructureContext)
exitTerm
Link copied to clipboard
open fun exitTerm(ctx: TermContext)
exitTheory
Link copied to clipboard
open fun exitTheory(ctx: TheoryContext)
exitVariable
Link copied to clipboard
open fun exitVariable(ctx: VariableContext)