fol

package
v0.0.0-...-4c43aeb Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 4, 2022 License: Apache-2.0 Imports: 5 Imported by: 0

Documentation

Overview

Example 
package main

import (
	"bramp.net/antlr4/fol"

	"fmt"
	"github.com/antlr/antlr4/runtime/Go/antlr"
)

type exampleListener struct {
	*fol.BasefolListener
}

func (l *exampleListener) EnterEveryRule(ctx antlr.ParserRuleContext) {
	fmt.Println(ctx.GetText())
}
func main() {
	// Setup the input
	is := antlr.NewInputStream("...some text to parse...")

	// Create the Lexer
	lexer := fol.NewfolLexer(is)
	stream := antlr.NewCommonTokenStream(lexer, antlr.TokenDefaultChannel)

	// Create the Parser
	p := fol.NewfolParser(stream)
	p.BuildParseTrees = true
	p.AddErrorListener(antlr.NewDiagnosticErrorListener(true))

	// Finally walk the tree
	tree := p.Condition()
	antlr.ParseTreeWalkerDefault.Walk(&exampleListener{}, tree)
}

Output:

Index

Examples

Constants

This section is empty.

Variables

This section is empty.

Functions

func NewfolLexer 

func NewfolLexer(input antlr.CharStream) *folLexer

func NewfolParser 

func NewfolParser(input antlr.TokenStream) *folParser

Types

type BasefolListener 

type BasefolListener struct{}

BasefolListener is a complete listener for a parse tree produced by folParser.

func (*BasefolListener) EnterBin_connective 

func (s *BasefolListener) EnterBin_connective(ctx *Bin_connectiveContext)

EnterBin_connective is called when production bin_connective is entered.

func (*BasefolListener) EnterCondition 

func (s *BasefolListener) EnterCondition(ctx *ConditionContext)

EnterCondition is called when production condition is entered.

func (*BasefolListener) EnterEveryRule 

func (s *BasefolListener) EnterEveryRule(ctx antlr.ParserRuleContext)

EnterEveryRule is called when any rule is entered.

func (*BasefolListener) EnterFormula 

func (s *BasefolListener) EnterFormula(ctx *FormulaContext)

EnterFormula is called when production formula is entered.

func (*BasefolListener) EnterFunc_constant 

func (s *BasefolListener) EnterFunc_constant(ctx *Func_constantContext)

EnterFunc_constant is called when production func_constant is entered.

func (*BasefolListener) EnterInd_constant 

func (s *BasefolListener) EnterInd_constant(ctx *Ind_constantContext)

EnterInd_constant is called when production ind_constant is entered.

func (*BasefolListener) EnterPred_constant 

func (s *BasefolListener) EnterPred_constant(ctx *Pred_constantContext)

EnterPred_constant is called when production pred_constant is entered.

func (*BasefolListener) EnterSeparator 

func (s *BasefolListener) EnterSeparator(ctx *SeparatorContext)

EnterSeparator is called when production separator is entered.

func (*BasefolListener) EnterTerm 

func (s *BasefolListener) EnterTerm(ctx *TermContext)

EnterTerm is called when production term is entered.

func (*BasefolListener) EnterVariable 

func (s *BasefolListener) EnterVariable(ctx *VariableContext)

EnterVariable is called when production variable is entered.

func (*BasefolListener) ExitBin_connective 

func (s *BasefolListener) ExitBin_connective(ctx *Bin_connectiveContext)

ExitBin_connective is called when production bin_connective is exited.

func (*BasefolListener) ExitCondition 

func (s *BasefolListener) ExitCondition(ctx *ConditionContext)

ExitCondition is called when production condition is exited.

func (*BasefolListener) ExitEveryRule 

func (s *BasefolListener) ExitEveryRule(ctx antlr.ParserRuleContext)

ExitEveryRule is called when any rule is exited.

func (*BasefolListener) ExitFormula 

func (s *BasefolListener) ExitFormula(ctx *FormulaContext)

ExitFormula is called when production formula is exited.

func (*BasefolListener) ExitFunc_constant 

func (s *BasefolListener) ExitFunc_constant(ctx *Func_constantContext)

ExitFunc_constant is called when production func_constant is exited.

func (*BasefolListener) ExitInd_constant 

func (s *BasefolListener) ExitInd_constant(ctx *Ind_constantContext)

ExitInd_constant is called when production ind_constant is exited.

func (*BasefolListener) ExitPred_constant 

func (s *BasefolListener) ExitPred_constant(ctx *Pred_constantContext)

ExitPred_constant is called when production pred_constant is exited.

func (*BasefolListener) ExitSeparator 

func (s *BasefolListener) ExitSeparator(ctx *SeparatorContext)

ExitSeparator is called when production separator is exited.

func (*BasefolListener) ExitTerm 

func (s *BasefolListener) ExitTerm(ctx *TermContext)

ExitTerm is called when production term is exited.

func (*BasefolListener) ExitVariable 

func (s *BasefolListener) ExitVariable(ctx *VariableContext)

ExitVariable is called when production variable is exited.

func (*BasefolListener) VisitErrorNode 

func (s *BasefolListener) VisitErrorNode(node antlr.ErrorNode)

VisitErrorNode is called when an error node is visited.

func (*BasefolListener) VisitTerminal 

func (s *BasefolListener) VisitTerminal(node antlr.TerminalNode)

VisitTerminal is called when a terminal node is visited.

type Bin_connectiveContext 

type Bin_connectiveContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewBin_connectiveContext 

func NewBin_connectiveContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *Bin_connectiveContext

func NewEmptyBin_connectiveContext 

func NewEmptyBin_connectiveContext() *Bin_connectiveContext

func (*Bin_connectiveContext) BICOND 

func (s *Bin_connectiveContext) BICOND() antlr.TerminalNode

func (*Bin_connectiveContext) CONJ 

func (s *Bin_connectiveContext) CONJ() antlr.TerminalNode

func (*Bin_connectiveContext) DISJ 

func (s *Bin_connectiveContext) DISJ() antlr.TerminalNode

func (*Bin_connectiveContext) EnterRule 

func (s *Bin_connectiveContext) EnterRule(listener antlr.ParseTreeListener)

func (*Bin_connectiveContext) ExitRule 

func (s *Bin_connectiveContext) ExitRule(listener antlr.ParseTreeListener)

func (*Bin_connectiveContext) GetParser 

func (s *Bin_connectiveContext) GetParser() antlr.Parser

func (*Bin_connectiveContext) GetRuleContext 

func (s *Bin_connectiveContext) GetRuleContext() antlr.RuleContext

func (*Bin_connectiveContext) IMPL 

func (s *Bin_connectiveContext) IMPL() antlr.TerminalNode

func (*Bin_connectiveContext) IsBin_connectiveContext 

func (*Bin_connectiveContext) IsBin_connectiveContext()

func (*Bin_connectiveContext) ToStringTree 

func (s *Bin_connectiveContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

type ConditionContext 

type ConditionContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewConditionContext 

func NewConditionContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *ConditionContext

func NewEmptyConditionContext 

func NewEmptyConditionContext() *ConditionContext

func (*ConditionContext) AllENDLINE 

func (s *ConditionContext) AllENDLINE() []antlr.TerminalNode

func (*ConditionContext) AllFormula 

func (s *ConditionContext) AllFormula() []IFormulaContext

func (*ConditionContext) ENDLINE 

func (s *ConditionContext) ENDLINE(i int) antlr.TerminalNode

func (*ConditionContext) EOF 

func (s *ConditionContext) EOF() antlr.TerminalNode

func (*ConditionContext) EnterRule 

func (s *ConditionContext) EnterRule(listener antlr.ParseTreeListener)

func (*ConditionContext) ExitRule 

func (s *ConditionContext) ExitRule(listener antlr.ParseTreeListener)

func (*ConditionContext) Formula 

func (s *ConditionContext) Formula(i int) IFormulaContext

func (*ConditionContext) GetParser 

func (s *ConditionContext) GetParser() antlr.Parser

func (*ConditionContext) GetRuleContext 

func (s *ConditionContext) GetRuleContext() antlr.RuleContext

func (*ConditionContext) IsConditionContext 

func (*ConditionContext) IsConditionContext()

func (*ConditionContext) ToStringTree 

func (s *ConditionContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

type FormulaContext 

type FormulaContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptyFormulaContext 

func NewEmptyFormulaContext() *FormulaContext

func NewFormulaContext 

func NewFormulaContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *FormulaContext

func (*FormulaContext) AllFormula 

func (s *FormulaContext) AllFormula() []IFormulaContext

func (*FormulaContext) AllSeparator 

func (s *FormulaContext) AllSeparator() []ISeparatorContext

func (*FormulaContext) AllTerm 

func (s *FormulaContext) AllTerm() []ITermContext

func (*FormulaContext) Bin_connective 

func (s *FormulaContext) Bin_connective() IBin_connectiveContext

func (*FormulaContext) EQUAL 

func (s *FormulaContext) EQUAL() antlr.TerminalNode

func (*FormulaContext) EXISTS 

func (s *FormulaContext) EXISTS() antlr.TerminalNode

func (*FormulaContext) EnterRule 

func (s *FormulaContext) EnterRule(listener antlr.ParseTreeListener)

func (*FormulaContext) ExitRule 

func (s *FormulaContext) ExitRule(listener antlr.ParseTreeListener)

func (*FormulaContext) FORALL 

func (s *FormulaContext) FORALL() antlr.TerminalNode

func (*FormulaContext) Formula 

func (s *FormulaContext) Formula(i int) IFormulaContext

func (*FormulaContext) GetParser 

func (s *FormulaContext) GetParser() antlr.Parser

func (*FormulaContext) GetRuleContext 

func (s *FormulaContext) GetRuleContext() antlr.RuleContext

func (*FormulaContext) IsFormulaContext 

func (*FormulaContext) IsFormulaContext()

func (*FormulaContext) LPAREN 

func (s *FormulaContext) LPAREN() antlr.TerminalNode

func (*FormulaContext) NOT 

func (s *FormulaContext) NOT() antlr.TerminalNode

func (*FormulaContext) Pred_constant 

func (s *FormulaContext) Pred_constant() IPred_constantContext

func (*FormulaContext) RPAREN 

func (s *FormulaContext) RPAREN() antlr.TerminalNode

func (*FormulaContext) Separator 

func (s *FormulaContext) Separator(i int) ISeparatorContext

func (*FormulaContext) Term 

func (s *FormulaContext) Term(i int) ITermContext

func (*FormulaContext) ToStringTree 

func (s *FormulaContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

func (*FormulaContext) Variable 

func (s *FormulaContext) Variable() IVariableContext

type Func_constantContext 

type Func_constantContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptyFunc_constantContext 

func NewEmptyFunc_constantContext() *Func_constantContext

func NewFunc_constantContext 

func NewFunc_constantContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *Func_constantContext

func (*Func_constantContext) AllCHARACTER 

func (s *Func_constantContext) AllCHARACTER() []antlr.TerminalNode

func (*Func_constantContext) CHARACTER 

func (s *Func_constantContext) CHARACTER(i int) antlr.TerminalNode

func (*Func_constantContext) EnterRule 

func (s *Func_constantContext) EnterRule(listener antlr.ParseTreeListener)

func (*Func_constantContext) ExitRule 

func (s *Func_constantContext) ExitRule(listener antlr.ParseTreeListener)

func (*Func_constantContext) GetParser 

func (s *Func_constantContext) GetParser() antlr.Parser

func (*Func_constantContext) GetRuleContext 

func (s *Func_constantContext) GetRuleContext() antlr.RuleContext

func (*Func_constantContext) IsFunc_constantContext 

func (*Func_constantContext) IsFunc_constantContext()

func (*Func_constantContext) ToStringTree 

func (s *Func_constantContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

type IBin_connectiveContext 

type IBin_connectiveContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsBin_connectiveContext differentiates from other interfaces.
	IsBin_connectiveContext()
}

IBin_connectiveContext is an interface to support dynamic dispatch.

type IConditionContext 

type IConditionContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsConditionContext differentiates from other interfaces.
	IsConditionContext()
}

IConditionContext is an interface to support dynamic dispatch.

type IFormulaContext 

type IFormulaContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsFormulaContext differentiates from other interfaces.
	IsFormulaContext()
}

IFormulaContext is an interface to support dynamic dispatch.

type IFunc_constantContext 

type IFunc_constantContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsFunc_constantContext differentiates from other interfaces.
	IsFunc_constantContext()
}

IFunc_constantContext is an interface to support dynamic dispatch.

type IInd_constantContext 

type IInd_constantContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsInd_constantContext differentiates from other interfaces.
	IsInd_constantContext()
}

IInd_constantContext is an interface to support dynamic dispatch.

type IPred_constantContext 

type IPred_constantContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsPred_constantContext differentiates from other interfaces.
	IsPred_constantContext()
}

IPred_constantContext is an interface to support dynamic dispatch.

type ISeparatorContext 

type ISeparatorContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsSeparatorContext differentiates from other interfaces.
	IsSeparatorContext()
}

ISeparatorContext is an interface to support dynamic dispatch.

type ITermContext 

type ITermContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsTermContext differentiates from other interfaces.
	IsTermContext()
}

ITermContext is an interface to support dynamic dispatch.

type IVariableContext 

type IVariableContext interface {
	antlr.ParserRuleContext

	// GetParser returns the parser.
	GetParser() antlr.Parser

	// IsVariableContext differentiates from other interfaces.
	IsVariableContext()
}

IVariableContext is an interface to support dynamic dispatch.

type Ind_constantContext 

type Ind_constantContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptyInd_constantContext 

func NewEmptyInd_constantContext() *Ind_constantContext

func NewInd_constantContext 

func NewInd_constantContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *Ind_constantContext

func (*Ind_constantContext) AllCHARACTER 

func (s *Ind_constantContext) AllCHARACTER() []antlr.TerminalNode

func (*Ind_constantContext) CHARACTER 

func (s *Ind_constantContext) CHARACTER(i int) antlr.TerminalNode

func (*Ind_constantContext) EnterRule 

func (s *Ind_constantContext) EnterRule(listener antlr.ParseTreeListener)

func (*Ind_constantContext) ExitRule 

func (s *Ind_constantContext) ExitRule(listener antlr.ParseTreeListener)

func (*Ind_constantContext) GetParser 

func (s *Ind_constantContext) GetParser() antlr.Parser

func (*Ind_constantContext) GetRuleContext 

func (s *Ind_constantContext) GetRuleContext() antlr.RuleContext

func (*Ind_constantContext) IsInd_constantContext 

func (*Ind_constantContext) IsInd_constantContext()

func (*Ind_constantContext) ToStringTree 

func (s *Ind_constantContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

type Pred_constantContext 

type Pred_constantContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptyPred_constantContext 

func NewEmptyPred_constantContext() *Pred_constantContext

func NewPred_constantContext 

func NewPred_constantContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *Pred_constantContext

func (*Pred_constantContext) AllCHARACTER 

func (s *Pred_constantContext) AllCHARACTER() []antlr.TerminalNode

func (*Pred_constantContext) CHARACTER 

func (s *Pred_constantContext) CHARACTER(i int) antlr.TerminalNode

func (*Pred_constantContext) EnterRule 

func (s *Pred_constantContext) EnterRule(listener antlr.ParseTreeListener)

func (*Pred_constantContext) ExitRule 

func (s *Pred_constantContext) ExitRule(listener antlr.ParseTreeListener)

func (*Pred_constantContext) GetParser 

func (s *Pred_constantContext) GetParser() antlr.Parser

func (*Pred_constantContext) GetRuleContext 

func (s *Pred_constantContext) GetRuleContext() antlr.RuleContext

func (*Pred_constantContext) IsPred_constantContext 

func (*Pred_constantContext) IsPred_constantContext()

func (*Pred_constantContext) ToStringTree 

func (s *Pred_constantContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

type SeparatorContext 

type SeparatorContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptySeparatorContext 

func NewEmptySeparatorContext() *SeparatorContext

func NewSeparatorContext 

func NewSeparatorContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *SeparatorContext

func (*SeparatorContext) EnterRule 

func (s *SeparatorContext) EnterRule(listener antlr.ParseTreeListener)

func (*SeparatorContext) ExitRule 

func (s *SeparatorContext) ExitRule(listener antlr.ParseTreeListener)

func (*SeparatorContext) GetParser 

func (s *SeparatorContext) GetParser() antlr.Parser

func (*SeparatorContext) GetRuleContext 

func (s *SeparatorContext) GetRuleContext() antlr.RuleContext

func (*SeparatorContext) IsSeparatorContext 

func (*SeparatorContext) IsSeparatorContext()

func (*SeparatorContext) ToStringTree 

func (s *SeparatorContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

type TermContext 

type TermContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptyTermContext 

func NewEmptyTermContext() *TermContext

func NewTermContext 

func NewTermContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *TermContext

func (*TermContext) AllSeparator 

func (s *TermContext) AllSeparator() []ISeparatorContext

func (*TermContext) AllTerm 

func (s *TermContext) AllTerm() []ITermContext

func (*TermContext) EnterRule 

func (s *TermContext) EnterRule(listener antlr.ParseTreeListener)

func (*TermContext) ExitRule 

func (s *TermContext) ExitRule(listener antlr.ParseTreeListener)

func (*TermContext) Func_constant 

func (s *TermContext) Func_constant() IFunc_constantContext

func (*TermContext) GetParser 

func (s *TermContext) GetParser() antlr.Parser

func (*TermContext) GetRuleContext 

func (s *TermContext) GetRuleContext() antlr.RuleContext

func (*TermContext) Ind_constant 

func (s *TermContext) Ind_constant() IInd_constantContext

func (*TermContext) IsTermContext 

func (*TermContext) IsTermContext()

func (*TermContext) LPAREN 

func (s *TermContext) LPAREN() antlr.TerminalNode

func (*TermContext) RPAREN 

func (s *TermContext) RPAREN() antlr.TerminalNode

func (*TermContext) Separator 

func (s *TermContext) Separator(i int) ISeparatorContext

func (*TermContext) Term 

func (s *TermContext) Term(i int) ITermContext

func (*TermContext) ToStringTree 

func (s *TermContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

func (*TermContext) Variable 

func (s *TermContext) Variable() IVariableContext

type VariableContext 

type VariableContext struct {
	*antlr.BaseParserRuleContext
	// contains filtered or unexported fields
}

func NewEmptyVariableContext 

func NewEmptyVariableContext() *VariableContext

func NewVariableContext 

func NewVariableContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *VariableContext

func (*VariableContext) AllCHARACTER 

func (s *VariableContext) AllCHARACTER() []antlr.TerminalNode

func (*VariableContext) CHARACTER 

func (s *VariableContext) CHARACTER(i int) antlr.TerminalNode

func (*VariableContext) EnterRule 

func (s *VariableContext) EnterRule(listener antlr.ParseTreeListener)

func (*VariableContext) ExitRule 

func (s *VariableContext) ExitRule(listener antlr.ParseTreeListener)

func (*VariableContext) GetParser 

func (s *VariableContext) GetParser() antlr.Parser

func (*VariableContext) GetRuleContext 

func (s *VariableContext) GetRuleContext() antlr.RuleContext

func (*VariableContext) IsVariableContext 

func (*VariableContext) IsVariableContext()

func (*VariableContext) ToStringTree 

func (s *VariableContext) ToStringTree(ruleNames []string, recog antlr.Recognizer) string

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.