Function TestCheckRulePositiveExtraFun

analysis/validation_test.go:174–190

(t *testing.T)

}

func TestCheckRulePositiveExtraFun(t *testing.T) {
	tests := []ast.Clause{
		clause("foo(Y) :- bar(X) |> let Y = fn:plus(X, X), let _ = fn:ring_the_alarm()."),
	}
	for _, clause := range tests {
		analyzer, _ := New(map[ast.PredicateSym]ast.Decl{
			ast.PredicateSym{"bar", 1}: makeSyntheticDecl(t, atom("bar(X)")),
		}, nil, ErrorForBoundsMismatch)
		analyzer.extraFunctions = map[ast.FunctionSym]ast.BaseTerm{
			ast.FunctionSym{"fn:ring_the_alarm", 0}: ast.AnyBound,
		}
		err := analyzer.CheckRule(clause)
		if err != nil {
			t.Errorf("Expected rule %v to be valid, got %v", clause, err)
		}
	}
}

func TestCheckRuleNegative(t *testing.T) {
	tests := []ast.Clause{