Method VisitDecl

parse/parse.go:273–298

VisitDecl visits a parse tree produced by MangleParser#decl.

(ctx *gen.DeclContext)

// VisitDecl visits a parse tree produced by MangleParser#decl.
func (p Parser) VisitDecl(ctx *gen.DeclContext) any {
	atom := p.Visit(ctx.Atom()).(ast.Atom)
	var descrAtoms []ast.Atom
	if ctx.DescrBlock() != nil {
		descrAtoms = p.Visit(ctx.DescrBlock()).([]ast.Atom)
	}
	// Check for 'temporal' keyword (T__0 corresponds to 'temporal' in the grammar)
	if ctx.GetToken(gen.MangleParserT__0, 0) != nil {
		descrAtoms = append(descrAtoms, ast.NewAtom(ast.DescrTemporal))
	}
	var bounds []ast.BoundDecl
	for _, b := range ctx.AllBoundsBlock() {
		bounds = append(bounds, p.Visit(b).(ast.BoundDecl))
	}
	var incl *ast.InclusionConstraint
	if ctx.ConstraintsBlock() != nil {
		gotIncl := p.Visit(ctx.ConstraintsBlock()).(ast.InclusionConstraint)
		incl = &gotIncl
	}
	decl, err := ast.NewDecl(atom, descrAtoms, bounds, incl)
	if err != nil {
		p.errors.Add(err.Error(), ctx.GetStart().GetLine(), ctx.GetStart().GetColumn())
		return ast.Decl{DeclaredAtom: atom}
	}
	return decl
}

// VisitDescrBlock visits a parse tree produced by MangleParser#descrBlock.
func (p Parser) VisitDescrBlock(ctx *gen.DescrBlockContext) any {