Function TestCollectNames

analysis/validation_test.go:875–904

(t *testing.T)

}

func TestCollectNames(t *testing.T) {
	extraPredicates := map[ast.PredicateSym]ast.Decl{
		ast.PredicateSym{"z", 1}: makeSimpleDecl(atom("z(X)"), name("/foo/bar")),
	}
	tests := []struct {
		decls map[ast.PredicateSym]*ast.Decl
		want  symbols.NameTrie
	}{
		{
			decls: makeDesugaredDecls(t,
				makeSimpleDecl(atom("a(X)"), name("/foo")),
				makeSimpleDecl(atom("b(X)"), name("/foo")),
				makeSimpleDecl(atom("c(X)"), name("/foo/bar")),
			),
			want: symbols.NewNameTrie().Add([]string{"foo"}).Add([]string{"foo", "bar"}),
		},
		{
			decls: makeDesugaredDecls(t,
				makeSimpleDecl(atom("b(X)"), name("/foo/baz")),
			),
			want: symbols.NewNameTrie().Add([]string{"foo", "bar"}).Add([]string{"foo", "baz"}),
		},
	}
	for _, test := range tests {
		got := collectNames(extraPredicates, test.decls)
		if !cmp.Equal(got, test.want, cmp.AllowUnexported(symbols.NameTrieNode{})) {
			t.Errorf("collectNames(%v) = %v, want %v", test.decls, got, test.want)
		}
	}
}

func TestDeferred(t *testing.T) {
	clauses := []ast.Clause{