Method checkFunctions

analysis/validation.go:980–1022

(clause ast.Clause)

}

func (a *Analyzer) checkFunctions(clause ast.Clause) error {
	// Just check arity. Types left for later.
	for _, p := range clause.Premises {
		switch x := p.(type) {
		case ast.Atom:
			for _, arg := range x.Args {
				if err := a.checkExprArity(arg); err != nil {
					return err
				}
			}
		case ast.NegAtom:
			for _, arg := range x.Atom.Args {
				if err := a.checkExprArity(arg); err != nil {
					return err
				}
			}
		case ast.Eq:
			if err := a.checkExprArity(x.Left); err != nil {
				return err
			}
			if err := a.checkExprArity(x.Right); err != nil {
				return err
			}
		case ast.Ineq:
			if err := a.checkExprArity(x.Left); err != nil {
				return err
			}
			if err := a.checkExprArity(x.Right); err != nil {
				return err
			}
		}
	}

	if clause.Transform == nil {
		return nil
	}
	for _, stmt := range clause.Transform.Statements {
		if err := a.checkExprArity(stmt.Fn); err != nil {
			return err
		}
	}
	return nil
}

// BoundsCheck checks whether the rules respect the bounds.
func (bc *BoundsAnalyzer) BoundsCheck() error {