Function TestCheckRulePositive

analysis/validation_test.go:110–147

(t *testing.T)

}

func TestCheckRulePositive(t *testing.T) {
	tests := []ast.Clause{
		clause("foo(/bar)."),
		clause("foo(X) :- bar(X)."),
		clause("foo(X) :- bar(X), bar(_)."),
		clause("foo(X) :- X = /bar ."),
		clause("foo(X) :- X = Y, bar(Y)."),
		clause("foo(X) :- X = Y, Y = /bar ."),
		clause("foo(X) :- Z = 2, bar(X), X < Z."),
		clause("foo(X) :- X = fn:list:cons(fn:list:get([1], 1), [])."),
		clause("foo([])."),
		clause("foo([23])."),
		clause("foo(fn:cons(1, [23]))."),
		clause("foo({/foo: 37})."),
		clause("foo([37: /foo])."),
		clause("foo(X) :- X = [37]."),
		clause("foo(X) :- Y = 2, X = [Y]."),
		clause("foo(X) :- Y = 2 |> let X = [Y]."),
		clause("foo(X) :- Y = 2, X = fn:list(Y)."),
		clause("foo(X) :- X = {/foo: 37}."),
		clause("foo(X) :- X = [37: /foo]."),
		clause("foo(X) :- bar(X), 0 < X."),
		clause("foo(Y) :- bar(X) |> let Y = fn:plus(X, X)."),
		clause("foo(Y) :- bar(X) |> let Y = fn:list:get(X, 1)."),
		clause("foo(Y) :- bar(X) |> do fn:group_by(X), let Y = fn:sum(X)."),
		clause("c(R,S,T) :- bar(R), bar(S), bar(T), fn:plus(fn:mult(R, R), fn:mult(S,S)) = fn:mult(T,T)."),
		clause("foo(X) :- bar(Y), bar(Z) |> do fn:group_by(Y), let X = fn:collect(Z)."),
		clause("foo(A) :- bar(Y), bar(Z) |> do fn:group_by(Y), let X = fn:sum(Z), let A = fn:plus(X, 1)."),
	}
	for _, clause := range tests {
		analyzer, _ := New(map[ast.PredicateSym]ast.Decl{
			ast.PredicateSym{"bar", 1}: makeSyntheticDecl(t, atom("bar(X)")),
		}, nil, ErrorForBoundsMismatch)
		if err := analyzer.CheckRule(clause); err != nil {
			t.Errorf("Expected rule %v to be valid, got %v", clause, err)
		}
	}
}

func TestCheckRuleBindsByDecl(t *testing.T) {
	d, err := ast.NewDecl(