Method VisitBoundsBlock

parse/parse.go:306–318

VisitBoundsBlock visits a parse tree produced by MangleParser#boundsBlock.

(ctx *gen.BoundsBlockContext)

// VisitBoundsBlock visits a parse tree produced by MangleParser#boundsBlock.
func (p Parser) VisitBoundsBlock(ctx *gen.BoundsBlockContext) any {
	var baseTerms []ast.BaseTerm
	for _, t := range ctx.AllTerm() {
		term := p.Visit(t).(ast.Term)
		baseTerm, ok := term.(ast.BaseTerm)
		if !ok {
			p.errors.Add(fmt.Sprintf("expected base term got %v", term), ctx.GetStart().GetLine(), ctx.GetStart().GetColumn())
			baseTerms = append(baseTerms, ast.AnyBound)
		}
		baseTerms = append(baseTerms, baseTerm)
	}
	return ast.NewBoundDecl(baseTerms...)
}

// VisitConstraintsBlock visits a parse tree produced by MangleParser#constraintsBlock.
func (p Parser) VisitConstraintsBlock(ctx *gen.ConstraintsBlockContext) any {