clif

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/clif"

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

type exampleListener struct {
	*clif.BaseCLIFListener
}

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 := clif.NewCLIFLexer(is)
	stream := antlr.NewCommonTokenStream(lexer, antlr.TokenDefaultChannel)

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

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

Output:

Index

Examples

Constants

View Source 
const (
	CLIFLexerOPEN             = 1
	CLIFLexerCLOSE            = 2
	CLIFLexerSTRINGQUOTE      = 3
	CLIFLexerNAMEQUOTE        = 4
	CLIFLexerBACKSLASH        = 5
	CLIFLexerNUMERAL          = 6
	CLIFLexerSEQMARK          = 7
	CLIFLexerQUOTEDSTRING     = 8
	CLIFLexerENCLOSEDNAME     = 9
	CLIFLexerEQUAL            = 10
	CLIFLexerAND              = 11
	CLIFLexerOR               = 12
	CLIFLexerIFF              = 13
	CLIFLexerIF               = 14
	CLIFLexerFORALL           = 15
	CLIFLexerEXISTS           = 16
	CLIFLexerNOT              = 17
	CLIFLexerCL_ROLESET       = 18
	CLIFLexerCL_TEXT          = 19
	CLIFLexerCL_IMPORTS       = 20
	CLIFLexerCL_EXCLUDES      = 21
	CLIFLexerCL_MODULE        = 22
	CLIFLexerCL_COMMENT       = 23
	CLIFLexerCL_PREFIX        = 24
	CLIFLexerNAMECHARSEQUENCE = 25
	CLIFLexerWHITE            = 26
	CLIFLexerBLOCKCOMMENT     = 27
	CLIFLexerLineComment      = 28
)

CLIFLexer tokens.

View Source 
const (
	CLIFParserEOF              = antlr.TokenEOF
	CLIFParserOPEN             = 1
	CLIFParserCLOSE            = 2
	CLIFParserSTRINGQUOTE      = 3
	CLIFParserNAMEQUOTE        = 4
	CLIFParserBACKSLASH        = 5
	CLIFParserNUMERAL          = 6
	CLIFParserSEQMARK          = 7
	CLIFParserQUOTEDSTRING     = 8
	CLIFParserENCLOSEDNAME     = 9
	CLIFParserEQUAL            = 10
	CLIFParserAND              = 11
	CLIFParserOR               = 12
	CLIFParserIFF              = 13
	CLIFParserIF               = 14
	CLIFParserFORALL           = 15
	CLIFParserEXISTS           = 16
	CLIFParserNOT              = 17
	CLIFParserCL_ROLESET       = 18
	CLIFParserCL_TEXT          = 19
	CLIFParserCL_IMPORTS       = 20
	CLIFParserCL_EXCLUDES      = 21
	CLIFParserCL_MODULE        = 22
	CLIFParserCL_COMMENT       = 23
	CLIFParserCL_PREFIX        = 24
	CLIFParserNAMECHARSEQUENCE = 25
	CLIFParserWHITE            = 26
	CLIFParserBLOCKCOMMENT     = 27
	CLIFParserLineComment      = 28
)

CLIFParser tokens.

View Source 
const (
	CLIFParserRULE_termseq           = 0
	CLIFParserRULE_interpretedname   = 1
	CLIFParserRULE_interpretablename = 2
	CLIFParserRULE_name              = 3
	CLIFParserRULE_term              = 4
	CLIFParserRULE_operator          = 5
	CLIFParserRULE_equation          = 6
	CLIFParserRULE_sentence          = 7
	CLIFParserRULE_atomsent          = 8
	CLIFParserRULE_atom              = 9
	CLIFParserRULE_predicate         = 10
	CLIFParserRULE_boolsent          = 11
	CLIFParserRULE_quantsent         = 12
	CLIFParserRULE_boundlist         = 13
	CLIFParserRULE_commentsent       = 14
	CLIFParserRULE_module            = 15
	CLIFParserRULE_phrase            = 16
	CLIFParserRULE_text              = 17
	CLIFParserRULE_cltext            = 18
	CLIFParserRULE_namedtext         = 19
)

CLIFParser rules.

Variables

This section is empty.

Functions

This section is empty.

Types

type AtomContext 

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

func NewAtomContext 

func NewAtomContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *AtomContext

func NewEmptyAtomContext 

func NewEmptyAtomContext() *AtomContext

func (*AtomContext) AllCLOSE 

func (s *AtomContext) AllCLOSE() []antlr.TerminalNode

func (*AtomContext) AllOPEN 

func (s *AtomContext) AllOPEN() []antlr.TerminalNode

func (*AtomContext) AllTerm 

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

func (*AtomContext) CLOSE 

func (s *AtomContext) CLOSE(i int) antlr.TerminalNode

func (*AtomContext) CL_ROLESET 

func (s *AtomContext) CL_ROLESET() antlr.TerminalNode

func (*AtomContext) EnterRule 

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

func (*AtomContext) ExitRule 

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

func (*AtomContext) GetParser 

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

func (*AtomContext) GetRuleContext 

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

func (*AtomContext) IsAtomContext 

func (*AtomContext) IsAtomContext()

func (*AtomContext) Name 

func (s *AtomContext) Name() INameContext

func (*AtomContext) OPEN 

func (s *AtomContext) OPEN(i int) antlr.TerminalNode

func (*AtomContext) Predicate 

func (s *AtomContext) Predicate() IPredicateContext

func (*AtomContext) Term 

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

func (*AtomContext) Termseq 

func (s *AtomContext) Termseq() ITermseqContext

func (*AtomContext) ToStringTree 

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

type AtomsentContext 

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

func NewAtomsentContext 

func NewAtomsentContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *AtomsentContext

func NewEmptyAtomsentContext 

func NewEmptyAtomsentContext() *AtomsentContext

func (*AtomsentContext) Atom 

func (s *AtomsentContext) Atom() IAtomContext

func (*AtomsentContext) EnterRule 

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

func (*AtomsentContext) Equation 

func (s *AtomsentContext) Equation() IEquationContext

func (*AtomsentContext) ExitRule 

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

func (*AtomsentContext) GetParser 

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

func (*AtomsentContext) GetRuleContext 

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

func (*AtomsentContext) IsAtomsentContext 

func (*AtomsentContext) IsAtomsentContext()

func (*AtomsentContext) ToStringTree 

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

type BaseCLIFListener 

type BaseCLIFListener struct{}

BaseCLIFListener is a complete listener for a parse tree produced by CLIFParser.

func (*BaseCLIFListener) EnterAtom 

func (s *BaseCLIFListener) EnterAtom(ctx *AtomContext)

EnterAtom is called when production atom is entered.

func (*BaseCLIFListener) EnterAtomsent 

func (s *BaseCLIFListener) EnterAtomsent(ctx *AtomsentContext)

EnterAtomsent is called when production atomsent is entered.

func (*BaseCLIFListener) EnterBoolsent 

func (s *BaseCLIFListener) EnterBoolsent(ctx *BoolsentContext)

EnterBoolsent is called when production boolsent is entered.

func (*BaseCLIFListener) EnterBoundlist 

func (s *BaseCLIFListener) EnterBoundlist(ctx *BoundlistContext)

EnterBoundlist is called when production boundlist is entered.

func (*BaseCLIFListener) EnterCltext 

func (s *BaseCLIFListener) EnterCltext(ctx *CltextContext)

EnterCltext is called when production cltext is entered.

func (*BaseCLIFListener) EnterCommentsent 

func (s *BaseCLIFListener) EnterCommentsent(ctx *CommentsentContext)

EnterCommentsent is called when production commentsent is entered.

func (*BaseCLIFListener) EnterEquation 

func (s *BaseCLIFListener) EnterEquation(ctx *EquationContext)

EnterEquation is called when production equation is entered.

func (*BaseCLIFListener) EnterEveryRule 

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

EnterEveryRule is called when any rule is entered.

func (*BaseCLIFListener) EnterInterpretablename 

func (s *BaseCLIFListener) EnterInterpretablename(ctx *InterpretablenameContext)

EnterInterpretablename is called when production interpretablename is entered.

func (*BaseCLIFListener) EnterInterpretedname 

func (s *BaseCLIFListener) EnterInterpretedname(ctx *InterpretednameContext)

EnterInterpretedname is called when production interpretedname is entered.

func (*BaseCLIFListener) EnterModule 

func (s *BaseCLIFListener) EnterModule(ctx *ModuleContext)

EnterModule is called when production module is entered.

func (*BaseCLIFListener) EnterName 

func (s *BaseCLIFListener) EnterName(ctx *NameContext)

EnterName is called when production name is entered.

func (*BaseCLIFListener) EnterNamedtext 

func (s *BaseCLIFListener) EnterNamedtext(ctx *NamedtextContext)

EnterNamedtext is called when production namedtext is entered.

func (*BaseCLIFListener) EnterOperator 

func (s *BaseCLIFListener) EnterOperator(ctx *OperatorContext)

EnterOperator is called when production operator is entered.

func (*BaseCLIFListener) EnterPhrase 

func (s *BaseCLIFListener) EnterPhrase(ctx *PhraseContext)

EnterPhrase is called when production phrase is entered.

func (*BaseCLIFListener) EnterPredicate 

func (s *BaseCLIFListener) EnterPredicate(ctx *PredicateContext)

EnterPredicate is called when production predicate is entered.

func (*BaseCLIFListener) EnterQuantsent 

func (s *BaseCLIFListener) EnterQuantsent(ctx *QuantsentContext)

EnterQuantsent is called when production quantsent is entered.

func (*BaseCLIFListener) EnterSentence 

func (s *BaseCLIFListener) EnterSentence(ctx *SentenceContext)

EnterSentence is called when production sentence is entered.

func (*BaseCLIFListener) EnterTerm 

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

EnterTerm is called when production term is entered.

func (*BaseCLIFListener) EnterTermseq 

func (s *BaseCLIFListener) EnterTermseq(ctx *TermseqContext)

EnterTermseq is called when production termseq is entered.

func (*BaseCLIFListener) EnterText 

func (s *BaseCLIFListener) EnterText(ctx *TextContext)

EnterText is called when production text is entered.

func (*BaseCLIFListener) ExitAtom 

func (s *BaseCLIFListener) ExitAtom(ctx *AtomContext)

ExitAtom is called when production atom is exited.

func (*BaseCLIFListener) ExitAtomsent 

func (s *BaseCLIFListener) ExitAtomsent(ctx *AtomsentContext)

ExitAtomsent is called when production atomsent is exited.

func (*BaseCLIFListener) ExitBoolsent 

func (s *BaseCLIFListener) ExitBoolsent(ctx *BoolsentContext)

ExitBoolsent is called when production boolsent is exited.

func (*BaseCLIFListener) ExitBoundlist 

func (s *BaseCLIFListener) ExitBoundlist(ctx *BoundlistContext)

ExitBoundlist is called when production boundlist is exited.

func (*BaseCLIFListener) ExitCltext 

func (s *BaseCLIFListener) ExitCltext(ctx *CltextContext)

ExitCltext is called when production cltext is exited.

func (*BaseCLIFListener) ExitCommentsent 

func (s *BaseCLIFListener) ExitCommentsent(ctx *CommentsentContext)

ExitCommentsent is called when production commentsent is exited.

func (*BaseCLIFListener) ExitEquation 

func (s *BaseCLIFListener) ExitEquation(ctx *EquationContext)

ExitEquation is called when production equation is exited.

func (*BaseCLIFListener) ExitEveryRule 

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

ExitEveryRule is called when any rule is exited.

func (*BaseCLIFListener) ExitInterpretablename 

func (s *BaseCLIFListener) ExitInterpretablename(ctx *InterpretablenameContext)

ExitInterpretablename is called when production interpretablename is exited.

func (*BaseCLIFListener) ExitInterpretedname 

func (s *BaseCLIFListener) ExitInterpretedname(ctx *InterpretednameContext)

ExitInterpretedname is called when production interpretedname is exited.

func (*BaseCLIFListener) ExitModule 

func (s *BaseCLIFListener) ExitModule(ctx *ModuleContext)

ExitModule is called when production module is exited.

func (*BaseCLIFListener) ExitName 

func (s *BaseCLIFListener) ExitName(ctx *NameContext)

ExitName is called when production name is exited.

func (*BaseCLIFListener) ExitNamedtext 

func (s *BaseCLIFListener) ExitNamedtext(ctx *NamedtextContext)

ExitNamedtext is called when production namedtext is exited.

func (*BaseCLIFListener) ExitOperator 

func (s *BaseCLIFListener) ExitOperator(ctx *OperatorContext)

ExitOperator is called when production operator is exited.

func (*BaseCLIFListener) ExitPhrase 

func (s *BaseCLIFListener) ExitPhrase(ctx *PhraseContext)

ExitPhrase is called when production phrase is exited.

func (*BaseCLIFListener) ExitPredicate 

func (s *BaseCLIFListener) ExitPredicate(ctx *PredicateContext)

ExitPredicate is called when production predicate is exited.

func (*BaseCLIFListener) ExitQuantsent 

func (s *BaseCLIFListener) ExitQuantsent(ctx *QuantsentContext)

ExitQuantsent is called when production quantsent is exited.

func (*BaseCLIFListener) ExitSentence 

func (s *BaseCLIFListener) ExitSentence(ctx *SentenceContext)

ExitSentence is called when production sentence is exited.

func (*BaseCLIFListener) ExitTerm 

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

ExitTerm is called when production term is exited.

func (*BaseCLIFListener) ExitTermseq 

func (s *BaseCLIFListener) ExitTermseq(ctx *TermseqContext)

ExitTermseq is called when production termseq is exited.

func (*BaseCLIFListener) ExitText 

func (s *BaseCLIFListener) ExitText(ctx *TextContext)

ExitText is called when production text is exited.

func (*BaseCLIFListener) VisitErrorNode 

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

VisitErrorNode is called when an error node is visited.

func (*BaseCLIFListener) VisitTerminal 

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

VisitTerminal is called when a terminal node is visited.

type BoolsentContext 

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

func NewBoolsentContext 

func NewBoolsentContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *BoolsentContext

func NewEmptyBoolsentContext 

func NewEmptyBoolsentContext() *BoolsentContext

func (*BoolsentContext) AND 

func (s *BoolsentContext) AND() antlr.TerminalNode

func (*BoolsentContext) AllSentence 

func (s *BoolsentContext) AllSentence() []ISentenceContext

func (*BoolsentContext) CLOSE 

func (s *BoolsentContext) CLOSE() antlr.TerminalNode

func (*BoolsentContext) EnterRule 

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

func (*BoolsentContext) ExitRule 

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

func (*BoolsentContext) GetParser 

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

func (*BoolsentContext) GetRuleContext 

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

func (*BoolsentContext) IF 

func (s *BoolsentContext) IF() antlr.TerminalNode

func (*BoolsentContext) IFF 

func (s *BoolsentContext) IFF() antlr.TerminalNode

func (*BoolsentContext) IsBoolsentContext 

func (*BoolsentContext) IsBoolsentContext()

func (*BoolsentContext) NOT 

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

func (*BoolsentContext) OPEN 

func (s *BoolsentContext) OPEN() antlr.TerminalNode

func (*BoolsentContext) OR 

func (s *BoolsentContext) OR() antlr.TerminalNode

func (*BoolsentContext) Sentence 

func (s *BoolsentContext) Sentence(i int) ISentenceContext

func (*BoolsentContext) ToStringTree 

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

type BoundlistContext 

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

func NewBoundlistContext 

func NewBoundlistContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *BoundlistContext

func NewEmptyBoundlistContext 

func NewEmptyBoundlistContext() *BoundlistContext

func (*BoundlistContext) AllCLOSE 

func (s *BoundlistContext) AllCLOSE() []antlr.TerminalNode

func (*BoundlistContext) AllInterpretablename 

func (s *BoundlistContext) AllInterpretablename() []IInterpretablenameContext

func (*BoundlistContext) AllOPEN 

func (s *BoundlistContext) AllOPEN() []antlr.TerminalNode

func (*BoundlistContext) AllSEQMARK 

func (s *BoundlistContext) AllSEQMARK() []antlr.TerminalNode

func (*BoundlistContext) AllTerm 

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

func (*BoundlistContext) CLOSE 

func (s *BoundlistContext) CLOSE(i int) antlr.TerminalNode

func (*BoundlistContext) EnterRule 

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

func (*BoundlistContext) ExitRule 

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

func (*BoundlistContext) GetParser 

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

func (*BoundlistContext) GetRuleContext 

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

func (*BoundlistContext) Interpretablename 

func (s *BoundlistContext) Interpretablename(i int) IInterpretablenameContext

func (*BoundlistContext) IsBoundlistContext 

func (*BoundlistContext) IsBoundlistContext()

func (*BoundlistContext) OPEN 

func (s *BoundlistContext) OPEN(i int) antlr.TerminalNode

func (*BoundlistContext) SEQMARK 

func (s *BoundlistContext) SEQMARK(i int) antlr.TerminalNode

func (*BoundlistContext) Term 

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

func (*BoundlistContext) ToStringTree 

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

type CLIFLexer 

type CLIFLexer struct {
	*antlr.BaseLexer
	// contains filtered or unexported fields
}

func NewCLIFLexer 

func NewCLIFLexer(input antlr.CharStream) *CLIFLexer

type CLIFListener 

type CLIFListener interface {
	antlr.ParseTreeListener

	// EnterTermseq is called when entering the termseq production.
	EnterTermseq(c *TermseqContext)

	// EnterInterpretedname is called when entering the interpretedname production.
	EnterInterpretedname(c *InterpretednameContext)

	// EnterInterpretablename is called when entering the interpretablename production.
	EnterInterpretablename(c *InterpretablenameContext)

	// EnterName is called when entering the name production.
	EnterName(c *NameContext)

	// EnterTerm is called when entering the term production.
	EnterTerm(c *TermContext)

	// EnterOperator is called when entering the operator production.
	EnterOperator(c *OperatorContext)

	// EnterEquation is called when entering the equation production.
	EnterEquation(c *EquationContext)

	// EnterSentence is called when entering the sentence production.
	EnterSentence(c *SentenceContext)

	// EnterAtomsent is called when entering the atomsent production.
	EnterAtomsent(c *AtomsentContext)

	// EnterAtom is called when entering the atom production.
	EnterAtom(c *AtomContext)

	// EnterPredicate is called when entering the predicate production.
	EnterPredicate(c *PredicateContext)

	// EnterBoolsent is called when entering the boolsent production.
	EnterBoolsent(c *BoolsentContext)

	// EnterQuantsent is called when entering the quantsent production.
	EnterQuantsent(c *QuantsentContext)

	// EnterBoundlist is called when entering the boundlist production.
	EnterBoundlist(c *BoundlistContext)

	// EnterCommentsent is called when entering the commentsent production.
	EnterCommentsent(c *CommentsentContext)

	// EnterModule is called when entering the module production.
	EnterModule(c *ModuleContext)

	// EnterPhrase is called when entering the phrase production.
	EnterPhrase(c *PhraseContext)

	// EnterText is called when entering the text production.
	EnterText(c *TextContext)

	// EnterCltext is called when entering the cltext production.
	EnterCltext(c *CltextContext)

	// EnterNamedtext is called when entering the namedtext production.
	EnterNamedtext(c *NamedtextContext)

	// ExitTermseq is called when exiting the termseq production.
	ExitTermseq(c *TermseqContext)

	// ExitInterpretedname is called when exiting the interpretedname production.
	ExitInterpretedname(c *InterpretednameContext)

	// ExitInterpretablename is called when exiting the interpretablename production.
	ExitInterpretablename(c *InterpretablenameContext)

	// ExitName is called when exiting the name production.
	ExitName(c *NameContext)

	// ExitTerm is called when exiting the term production.
	ExitTerm(c *TermContext)

	// ExitOperator is called when exiting the operator production.
	ExitOperator(c *OperatorContext)

	// ExitEquation is called when exiting the equation production.
	ExitEquation(c *EquationContext)

	// ExitSentence is called when exiting the sentence production.
	ExitSentence(c *SentenceContext)

	// ExitAtomsent is called when exiting the atomsent production.
	ExitAtomsent(c *AtomsentContext)

	// ExitAtom is called when exiting the atom production.
	ExitAtom(c *AtomContext)

	// ExitPredicate is called when exiting the predicate production.
	ExitPredicate(c *PredicateContext)

	// ExitBoolsent is called when exiting the boolsent production.
	ExitBoolsent(c *BoolsentContext)

	// ExitQuantsent is called when exiting the quantsent production.
	ExitQuantsent(c *QuantsentContext)

	// ExitBoundlist is called when exiting the boundlist production.
	ExitBoundlist(c *BoundlistContext)

	// ExitCommentsent is called when exiting the commentsent production.
	ExitCommentsent(c *CommentsentContext)

	// ExitModule is called when exiting the module production.
	ExitModule(c *ModuleContext)

	// ExitPhrase is called when exiting the phrase production.
	ExitPhrase(c *PhraseContext)

	// ExitText is called when exiting the text production.
	ExitText(c *TextContext)

	// ExitCltext is called when exiting the cltext production.
	ExitCltext(c *CltextContext)

	// ExitNamedtext is called when exiting the namedtext production.
	ExitNamedtext(c *NamedtextContext)
}

CLIFListener is a complete listener for a parse tree produced by CLIFParser.

type CLIFParser 

type CLIFParser struct {
	*antlr.BaseParser
}

func NewCLIFParser 

func NewCLIFParser(input antlr.TokenStream) *CLIFParser

func (*CLIFParser) Atom 

func (p *CLIFParser) Atom() (localctx IAtomContext)

func (*CLIFParser) Atomsent 

func (p *CLIFParser) Atomsent() (localctx IAtomsentContext)

func (*CLIFParser) Boolsent 

func (p *CLIFParser) Boolsent() (localctx IBoolsentContext)

func (*CLIFParser) Boundlist 

func (p *CLIFParser) Boundlist() (localctx IBoundlistContext)

func (*CLIFParser) Cltext 

func (p *CLIFParser) Cltext() (localctx ICltextContext)

func (*CLIFParser) Commentsent 

func (p *CLIFParser) Commentsent() (localctx ICommentsentContext)

func (*CLIFParser) Equation 

func (p *CLIFParser) Equation() (localctx IEquationContext)

func (*CLIFParser) Interpretablename 

func (p *CLIFParser) Interpretablename() (localctx IInterpretablenameContext)

func (*CLIFParser) Interpretedname 

func (p *CLIFParser) Interpretedname() (localctx IInterpretednameContext)

func (*CLIFParser) Module 

func (p *CLIFParser) Module() (localctx IModuleContext)

func (*CLIFParser) Name 

func (p *CLIFParser) Name() (localctx INameContext)

func (*CLIFParser) Namedtext 

func (p *CLIFParser) Namedtext() (localctx INamedtextContext)

func (*CLIFParser) Operator 

func (p *CLIFParser) Operator() (localctx IOperatorContext)

func (*CLIFParser) Phrase 

func (p *CLIFParser) Phrase() (localctx IPhraseContext)

func (*CLIFParser) Predicate 

func (p *CLIFParser) Predicate() (localctx IPredicateContext)

func (*CLIFParser) Quantsent 

func (p *CLIFParser) Quantsent() (localctx IQuantsentContext)

func (*CLIFParser) Sentence 

func (p *CLIFParser) Sentence() (localctx ISentenceContext)

func (*CLIFParser) Term 

func (p *CLIFParser) Term() (localctx ITermContext)

func (*CLIFParser) Termseq 

func (p *CLIFParser) Termseq() (localctx ITermseqContext)

func (*CLIFParser) Text 

func (p *CLIFParser) Text() (localctx ITextContext)

type CltextContext 

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

func NewCltextContext 

func NewCltextContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *CltextContext

func NewEmptyCltextContext 

func NewEmptyCltextContext() *CltextContext

func (*CltextContext) EnterRule 

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

func (*CltextContext) ExitRule 

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

func (*CltextContext) GetParser 

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

func (*CltextContext) GetRuleContext 

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

func (*CltextContext) IsCltextContext 

func (*CltextContext) IsCltextContext()

func (*CltextContext) Module 

func (s *CltextContext) Module() IModuleContext

func (*CltextContext) Namedtext 

func (s *CltextContext) Namedtext() INamedtextContext

func (*CltextContext) Text 

func (s *CltextContext) Text() ITextContext

func (*CltextContext) ToStringTree 

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

type CommentsentContext 

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

func NewCommentsentContext 

func NewCommentsentContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *CommentsentContext

func NewEmptyCommentsentContext 

func NewEmptyCommentsentContext() *CommentsentContext

func (*CommentsentContext) CLOSE 

func (s *CommentsentContext) CLOSE() antlr.TerminalNode

func (*CommentsentContext) CL_COMMENT 

func (s *CommentsentContext) CL_COMMENT() antlr.TerminalNode

func (*CommentsentContext) ENCLOSEDNAME 

func (s *CommentsentContext) ENCLOSEDNAME() antlr.TerminalNode

func (*CommentsentContext) EnterRule 

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

func (*CommentsentContext) ExitRule 

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

func (*CommentsentContext) GetParser 

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

func (*CommentsentContext) GetRuleContext 

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

func (*CommentsentContext) IsCommentsentContext 

func (*CommentsentContext) IsCommentsentContext()

func (*CommentsentContext) OPEN 

func (s *CommentsentContext) OPEN() antlr.TerminalNode

func (*CommentsentContext) Sentence 

func (s *CommentsentContext) Sentence() ISentenceContext

func (*CommentsentContext) ToStringTree 

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

type EquationContext 

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

func NewEmptyEquationContext 

func NewEmptyEquationContext() *EquationContext

func NewEquationContext 

func NewEquationContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *EquationContext

func (*EquationContext) AllTerm 

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

func (*EquationContext) CLOSE 

func (s *EquationContext) CLOSE() antlr.TerminalNode

func (*EquationContext) EQUAL 

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

func (*EquationContext) EnterRule 

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

func (*EquationContext) ExitRule 

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

func (*EquationContext) GetParser 

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

func (*EquationContext) GetRuleContext 

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

func (*EquationContext) IsEquationContext 

func (*EquationContext) IsEquationContext()

func (*EquationContext) OPEN 

func (s *EquationContext) OPEN() antlr.TerminalNode

func (*EquationContext) Term 

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

func (*EquationContext) ToStringTree 

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

type IAtomContext 

type IAtomContext interface {
	antlr.ParserRuleContext

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

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

IAtomContext is an interface to support dynamic dispatch.

type IAtomsentContext 

type IAtomsentContext interface {
	antlr.ParserRuleContext

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

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

IAtomsentContext is an interface to support dynamic dispatch.

type IBoolsentContext 

type IBoolsentContext interface {
	antlr.ParserRuleContext

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

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

IBoolsentContext is an interface to support dynamic dispatch.

type IBoundlistContext 

type IBoundlistContext interface {
	antlr.ParserRuleContext

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

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

IBoundlistContext is an interface to support dynamic dispatch.

type ICltextContext 

type ICltextContext interface {
	antlr.ParserRuleContext

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

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

ICltextContext is an interface to support dynamic dispatch.

type ICommentsentContext 

type ICommentsentContext interface {
	antlr.ParserRuleContext

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

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

ICommentsentContext is an interface to support dynamic dispatch.

type IEquationContext 

type IEquationContext interface {
	antlr.ParserRuleContext

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

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

IEquationContext is an interface to support dynamic dispatch.

type IInterpretablenameContext 

type IInterpretablenameContext interface {
	antlr.ParserRuleContext

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

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

IInterpretablenameContext is an interface to support dynamic dispatch.

type IInterpretednameContext 

type IInterpretednameContext interface {
	antlr.ParserRuleContext

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

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

IInterpretednameContext is an interface to support dynamic dispatch.

type IModuleContext 

type IModuleContext interface {
	antlr.ParserRuleContext

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

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

IModuleContext is an interface to support dynamic dispatch.

type INameContext 

type INameContext interface {
	antlr.ParserRuleContext

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

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

INameContext is an interface to support dynamic dispatch.

type INamedtextContext 

type INamedtextContext interface {
	antlr.ParserRuleContext

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

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

INamedtextContext is an interface to support dynamic dispatch.

type IOperatorContext 

type IOperatorContext interface {
	antlr.ParserRuleContext

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

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

IOperatorContext is an interface to support dynamic dispatch.

type IPhraseContext 

type IPhraseContext interface {
	antlr.ParserRuleContext

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

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

IPhraseContext is an interface to support dynamic dispatch.

type IPredicateContext 

type IPredicateContext interface {
	antlr.ParserRuleContext

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

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

IPredicateContext is an interface to support dynamic dispatch.

type IQuantsentContext 

type IQuantsentContext interface {
	antlr.ParserRuleContext

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

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

IQuantsentContext is an interface to support dynamic dispatch.

type ISentenceContext 

type ISentenceContext interface {
	antlr.ParserRuleContext

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

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

ISentenceContext 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 ITermseqContext 

type ITermseqContext interface {
	antlr.ParserRuleContext

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

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

ITermseqContext is an interface to support dynamic dispatch.

type ITextContext 

type ITextContext interface {
	antlr.ParserRuleContext

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

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

ITextContext is an interface to support dynamic dispatch.

type InterpretablenameContext 

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

func NewEmptyInterpretablenameContext 

func NewEmptyInterpretablenameContext() *InterpretablenameContext

func NewInterpretablenameContext 

func NewInterpretablenameContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *InterpretablenameContext

func (*InterpretablenameContext) ENCLOSEDNAME 

func (s *InterpretablenameContext) ENCLOSEDNAME() antlr.TerminalNode

func (*InterpretablenameContext) EnterRule 

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

func (*InterpretablenameContext) ExitRule 

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

func (*InterpretablenameContext) GetParser 

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

func (*InterpretablenameContext) GetRuleContext 

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

func (*InterpretablenameContext) IsInterpretablenameContext 

func (*InterpretablenameContext) IsInterpretablenameContext()

func (*InterpretablenameContext) NAMECHARSEQUENCE 

func (s *InterpretablenameContext) NAMECHARSEQUENCE() antlr.TerminalNode

func (*InterpretablenameContext) ToStringTree 

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

type InterpretednameContext 

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

func NewEmptyInterpretednameContext 

func NewEmptyInterpretednameContext() *InterpretednameContext

func NewInterpretednameContext 

func NewInterpretednameContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *InterpretednameContext

func (*InterpretednameContext) EnterRule 

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

func (*InterpretednameContext) ExitRule 

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

func (*InterpretednameContext) GetParser 

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

func (*InterpretednameContext) GetRuleContext 

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

func (*InterpretednameContext) IsInterpretednameContext 

func (*InterpretednameContext) IsInterpretednameContext()

func (*InterpretednameContext) NUMERAL 

func (s *InterpretednameContext) NUMERAL() antlr.TerminalNode

func (*InterpretednameContext) QUOTEDSTRING 

func (s *InterpretednameContext) QUOTEDSTRING() antlr.TerminalNode

func (*InterpretednameContext) ToStringTree 

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

type ModuleContext 

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

func NewEmptyModuleContext 

func NewEmptyModuleContext() *ModuleContext

func NewModuleContext 

func NewModuleContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *ModuleContext

func (*ModuleContext) AllCLOSE 

func (s *ModuleContext) AllCLOSE() []antlr.TerminalNode

func (*ModuleContext) AllName 

func (s *ModuleContext) AllName() []INameContext

func (*ModuleContext) AllOPEN 

func (s *ModuleContext) AllOPEN() []antlr.TerminalNode

func (*ModuleContext) CLOSE 

func (s *ModuleContext) CLOSE(i int) antlr.TerminalNode

func (*ModuleContext) CL_EXCLUDES 

func (s *ModuleContext) CL_EXCLUDES() antlr.TerminalNode

func (*ModuleContext) CL_MODULE 

func (s *ModuleContext) CL_MODULE() antlr.TerminalNode

func (*ModuleContext) Cltext 

func (s *ModuleContext) Cltext() ICltextContext

func (*ModuleContext) EnterRule 

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

func (*ModuleContext) ExitRule 

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

func (*ModuleContext) GetParser 

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

func (*ModuleContext) GetRuleContext 

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

func (*ModuleContext) Interpretablename 

func (s *ModuleContext) Interpretablename() IInterpretablenameContext

func (*ModuleContext) IsModuleContext 

func (*ModuleContext) IsModuleContext()

func (*ModuleContext) Name 

func (s *ModuleContext) Name(i int) INameContext

func (*ModuleContext) OPEN 

func (s *ModuleContext) OPEN(i int) antlr.TerminalNode

func (*ModuleContext) ToStringTree 

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

type NameContext 

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

func NewEmptyNameContext 

func NewEmptyNameContext() *NameContext

func NewNameContext 

func NewNameContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *NameContext

func (*NameContext) EnterRule 

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

func (*NameContext) ExitRule 

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

func (*NameContext) GetParser 

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

func (*NameContext) GetRuleContext 

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

func (*NameContext) Interpretablename 

func (s *NameContext) Interpretablename() IInterpretablenameContext

func (*NameContext) Interpretedname 

func (s *NameContext) Interpretedname() IInterpretednameContext

func (*NameContext) IsNameContext 

func (*NameContext) IsNameContext()

func (*NameContext) ToStringTree 

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

type NamedtextContext 

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

func NewEmptyNamedtextContext 

func NewEmptyNamedtextContext() *NamedtextContext

func NewNamedtextContext 

func NewNamedtextContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *NamedtextContext

func (*NamedtextContext) CLOSE 

func (s *NamedtextContext) CLOSE() antlr.TerminalNode

func (*NamedtextContext) CL_TEXT 

func (s *NamedtextContext) CL_TEXT() antlr.TerminalNode

func (*NamedtextContext) EnterRule 

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

func (*NamedtextContext) ExitRule 

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

func (*NamedtextContext) GetParser 

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

func (*NamedtextContext) GetRuleContext 

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

func (*NamedtextContext) Interpretablename 

func (s *NamedtextContext) Interpretablename() IInterpretablenameContext

func (*NamedtextContext) IsNamedtextContext 

func (*NamedtextContext) IsNamedtextContext()

func (*NamedtextContext) OPEN 

func (s *NamedtextContext) OPEN() antlr.TerminalNode

func (*NamedtextContext) Text 

func (s *NamedtextContext) Text() ITextContext

func (*NamedtextContext) ToStringTree 

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

type OperatorContext 

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

func NewEmptyOperatorContext 

func NewEmptyOperatorContext() *OperatorContext

func NewOperatorContext 

func NewOperatorContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *OperatorContext

func (*OperatorContext) EnterRule 

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

func (*OperatorContext) ExitRule 

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

func (*OperatorContext) GetParser 

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

func (*OperatorContext) GetRuleContext 

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

func (*OperatorContext) IsOperatorContext 

func (*OperatorContext) IsOperatorContext()

func (*OperatorContext) Term 

func (s *OperatorContext) Term() ITermContext

func (*OperatorContext) ToStringTree 

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

type PhraseContext 

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

func NewEmptyPhraseContext 

func NewEmptyPhraseContext() *PhraseContext

func NewPhraseContext 

func NewPhraseContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *PhraseContext

func (*PhraseContext) CLOSE 

func (s *PhraseContext) CLOSE() antlr.TerminalNode

func (*PhraseContext) CL_COMMENT 

func (s *PhraseContext) CL_COMMENT() antlr.TerminalNode

func (*PhraseContext) CL_IMPORTS 

func (s *PhraseContext) CL_IMPORTS() antlr.TerminalNode

func (*PhraseContext) Cltext 

func (s *PhraseContext) Cltext() ICltextContext

func (*PhraseContext) ENCLOSEDNAME 

func (s *PhraseContext) ENCLOSEDNAME() antlr.TerminalNode

func (*PhraseContext) EnterRule 

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

func (*PhraseContext) ExitRule 

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

func (*PhraseContext) GetParser 

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

func (*PhraseContext) GetRuleContext 

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

func (*PhraseContext) Interpretablename 

func (s *PhraseContext) Interpretablename() IInterpretablenameContext

func (*PhraseContext) IsPhraseContext 

func (*PhraseContext) IsPhraseContext()

func (*PhraseContext) Module 

func (s *PhraseContext) Module() IModuleContext

func (*PhraseContext) OPEN 

func (s *PhraseContext) OPEN() antlr.TerminalNode

func (*PhraseContext) Sentence 

func (s *PhraseContext) Sentence() ISentenceContext

func (*PhraseContext) ToStringTree 

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

type PredicateContext 

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

func NewEmptyPredicateContext 

func NewEmptyPredicateContext() *PredicateContext

func NewPredicateContext 

func NewPredicateContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *PredicateContext

func (*PredicateContext) EnterRule 

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

func (*PredicateContext) ExitRule 

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

func (*PredicateContext) GetParser 

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

func (*PredicateContext) GetRuleContext 

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

func (*PredicateContext) IsPredicateContext 

func (*PredicateContext) IsPredicateContext()

func (*PredicateContext) Term 

func (s *PredicateContext) Term() ITermContext

func (*PredicateContext) ToStringTree 

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

type QuantsentContext 

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

func NewEmptyQuantsentContext 

func NewEmptyQuantsentContext() *QuantsentContext

func NewQuantsentContext 

func NewQuantsentContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *QuantsentContext

func (*QuantsentContext) Boundlist 

func (s *QuantsentContext) Boundlist() IBoundlistContext

func (*QuantsentContext) CLOSE 

func (s *QuantsentContext) CLOSE() antlr.TerminalNode

func (*QuantsentContext) EXISTS 

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

func (*QuantsentContext) EnterRule 

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

func (*QuantsentContext) ExitRule 

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

func (*QuantsentContext) FORALL 

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

func (*QuantsentContext) GetParser 

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

func (*QuantsentContext) GetRuleContext 

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

func (*QuantsentContext) Interpretablename 

func (s *QuantsentContext) Interpretablename() IInterpretablenameContext

func (*QuantsentContext) IsQuantsentContext 

func (*QuantsentContext) IsQuantsentContext()

func (*QuantsentContext) OPEN 

func (s *QuantsentContext) OPEN() antlr.TerminalNode

func (*QuantsentContext) Sentence 

func (s *QuantsentContext) Sentence() ISentenceContext

func (*QuantsentContext) ToStringTree 

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

type SentenceContext 

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

func NewEmptySentenceContext 

func NewEmptySentenceContext() *SentenceContext

func NewSentenceContext 

func NewSentenceContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *SentenceContext

func (*SentenceContext) Atomsent 

func (s *SentenceContext) Atomsent() IAtomsentContext

func (*SentenceContext) Boolsent 

func (s *SentenceContext) Boolsent() IBoolsentContext

func (*SentenceContext) Commentsent 

func (s *SentenceContext) Commentsent() ICommentsentContext

func (*SentenceContext) EnterRule 

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

func (*SentenceContext) ExitRule 

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

func (*SentenceContext) GetParser 

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

func (*SentenceContext) GetRuleContext 

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

func (*SentenceContext) IsSentenceContext 

func (*SentenceContext) IsSentenceContext()

func (*SentenceContext) Quantsent 

func (s *SentenceContext) Quantsent() IQuantsentContext

func (*SentenceContext) ToStringTree 

func (s *SentenceContext) 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) CLOSE 

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

func (*TermContext) CL_COMMENT 

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

func (*TermContext) EnterRule 

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

func (*TermContext) ExitRule 

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

func (*TermContext) GetParser 

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

func (*TermContext) GetRuleContext 

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

func (*TermContext) IsTermContext 

func (*TermContext) IsTermContext()

func (*TermContext) Name 

func (s *TermContext) Name() INameContext

func (*TermContext) OPEN 

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

func (*TermContext) Operator 

func (s *TermContext) Operator() IOperatorContext

func (*TermContext) QUOTEDSTRING 

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

func (*TermContext) Term 

func (s *TermContext) Term() ITermContext

func (*TermContext) Termseq 

func (s *TermContext) Termseq() ITermseqContext

func (*TermContext) ToStringTree 

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

type TermseqContext 

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

func NewEmptyTermseqContext 

func NewEmptyTermseqContext() *TermseqContext

func NewTermseqContext 

func NewTermseqContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *TermseqContext

func (*TermseqContext) AllSEQMARK 

func (s *TermseqContext) AllSEQMARK() []antlr.TerminalNode

func (*TermseqContext) AllTerm 

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

func (*TermseqContext) EnterRule 

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

func (*TermseqContext) ExitRule 

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

func (*TermseqContext) GetParser 

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

func (*TermseqContext) GetRuleContext 

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

func (*TermseqContext) IsTermseqContext 

func (*TermseqContext) IsTermseqContext()

func (*TermseqContext) SEQMARK 

func (s *TermseqContext) SEQMARK(i int) antlr.TerminalNode

func (*TermseqContext) Term 

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

func (*TermseqContext) ToStringTree 

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

type TextContext 

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

func NewEmptyTextContext 

func NewEmptyTextContext() *TextContext

func NewTextContext 

func NewTextContext(parser antlr.Parser, parent antlr.ParserRuleContext, invokingState int) *TextContext

func (*TextContext) AllPhrase 

func (s *TextContext) AllPhrase() []IPhraseContext

func (*TextContext) EnterRule 

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

func (*TextContext) ExitRule 

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

func (*TextContext) GetParser 

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

func (*TextContext) GetRuleContext 

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

func (*TextContext) IsTextContext 

func (*TextContext) IsTextContext()

func (*TextContext) Phrase 

func (s *TextContext) Phrase(i int) IPhraseContext

func (*TextContext) ToStringTree 

func (s *TextContext) 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.