Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

parse

package

Go to main page

Versions in this module

v0

v0.2.0

Aug 14, 2024

Changes in this version

type Parser

+ func (p Parser) VisitBStr(ctx *gen.BStrContext) any

v0.1.0

Dec 15, 2023

Changes in this version

+ func Atom(s string) (ast.Atom, error)

+ func BaseTerm(s string) (ast.BaseTerm, error)

+ func Clause(s string) (ast.Clause, error)

+ func LiteralOrFormula(s string) (ast.Term, error)

+ func PredicateName(s string) (string, error)

+ func Term(s string) (ast.Term, error)

+ type Error struct

+ Column int

+ Line int

+ Message string

+ type Parser struct

+ func (p *Parser) ReportAmbiguity(recognizer antlr.Parser, dfa *antlr.DFA, startIndex, stopIndex int, exact bool, ...)

+ func (p *Parser) ReportAttemptingFullContext(recognizer antlr.Parser, dfa *antlr.DFA, startIndex, stopIndex int, ...)

+ func (p *Parser) ReportContextSensitivity(recognizer antlr.Parser, dfa *antlr.DFA, startIndex, stopIndex, prediction int, ...)

+ func (p *Parser) SyntaxError(recognizer antlr.Recognizer, offendingSymbol any, line, column int, msg string, ...)

+ func (p *Parser) Visit(tree antlr.ParseTree) any

+ func (p Parser) VisitAppl(ctx *gen.ApplContext) any

+ func (p Parser) VisitAtom(ctx *gen.AtomContext) any

+ func (p Parser) VisitAtoms(ctx *gen.AtomsContext) any

+ func (p Parser) VisitBoundsBlock(ctx *gen.BoundsBlockContext) any

+ func (p Parser) VisitClause(ctx *gen.ClauseContext) any

+ func (p Parser) VisitClauseBody(ctx *gen.ClauseBodyContext) any

+ func (p Parser) VisitConst(ctx *gen.ConstContext) any

+ func (p Parser) VisitConstraintsBlock(ctx *gen.ConstraintsBlockContext) any

+ func (p Parser) VisitDecl(ctx *gen.DeclContext) any

+ func (p Parser) VisitDescrBlock(ctx *gen.DescrBlockContext) any

+ func (p Parser) VisitFloat(ctx *gen.FloatContext) any

+ func (p Parser) VisitLetStmt(ctx *gen.LetStmtContext) any

+ func (p Parser) VisitList(ctx *gen.ListContext) any

+ func (p Parser) VisitLiteralOrFml(ctx *gen.LiteralOrFmlContext) any

+ func (p Parser) VisitMap(ctx *gen.MapContext) any

+ func (p Parser) VisitNum(ctx *gen.NumContext) any

+ func (p Parser) VisitPackageDecl(ctx *gen.PackageDeclContext) any

+ func (p Parser) VisitProgram(ctx *gen.ProgramContext) any

+ func (p Parser) VisitStart(ctx *gen.StartContext) any

+ func (p Parser) VisitStr(ctx *gen.StrContext) any

+ func (p Parser) VisitStruct(ctx *gen.StructContext) any

+ func (p Parser) VisitTransform(ctx *gen.TransformContext) any

+ func (p Parser) VisitUseDecl(ctx *gen.UseDeclContext) any

+ func (p Parser) VisitVar(ctx *gen.VarContext) any

+ type SourceUnit struct

+ Clauses []ast.Clause

+ Decls []ast.Decl

+ func Unit(reader io.Reader) (SourceUnit, error)