Method checkBound

analysis/declcheck.go:106–115

Checks that a boundDecl is well-formed. It validates that there is a bound for each argument, and that each bound is a well-formed bound.

(p ast.Atom, boundDecl ast.BoundDecl)

// It validates that there is a bound for each argument, and
// that each bound is a well-formed bound.
func (c *declChecker) checkBound(p ast.Atom, boundDecl ast.BoundDecl) {
	if len(boundDecl.Bounds) != len(p.Args) {
		c.errs = append(c.errs, fmt.Errorf("in decl %v: expected %d bounds, got %d: %v ", p, len(p.Args), len(boundDecl.Bounds), boundDecl.Bounds))
	}
	for i, bound := range boundDecl.Bounds {
		if err := symbols.WellformedBound(bound); err != nil {
			c.errs = append(c.errs, fmt.Errorf("in decl %v: the bound for argument %d must be parseable as predicate name: %v (%w)", p, i, bound, err))
		}
	}
}

// Checks that a base term is a string constant.
func (c *declChecker) checkStringConstant(baseTerm ast.BaseTerm) {