Function TestClauses

packages/packages_test.go:323–485

(t *testing.T)

}

func TestClauses(t *testing.T) {
	tests := []struct {
		desc  string
		input Package
		want  []ast.Clause
	}{
		{
			desc: "no package name, clauses are not rewritten",
			input: Package{
				Name: "",
				units: []parse.SourceUnit{
					{
						Clauses: []ast.Clause{
							ast.NewClause(ast.NewAtom("clause_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
						},
					},
					{
						Clauses: []ast.Clause{
							ast.NewClause(ast.NewAtom("clause_also_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
						},
					},
				},
			},
			want: []ast.Clause{
				ast.NewClause(ast.NewAtom("clause_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
				ast.NewClause(ast.NewAtom("clause_also_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
			},
		},
		{
			desc: "references to predicates outside the package are left as-is",
			input: Package{
				Name: "foo.bar",
				units: []parse.SourceUnit{
					{
						Clauses: []ast.Clause{
							ast.NewClause(ast.NewAtom("clause_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
						},
					},
					{
						Clauses: []ast.Clause{
							ast.NewClause(ast.NewAtom("clause_also_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
						},
					},
				},
			},
			want: []ast.Clause{
				ast.NewClause(ast.NewAtom("foo.bar.clause_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
				ast.NewClause(ast.NewAtom("foo.bar.clause_also_defined_here"), []ast.Term{ast.NewAtom("other_clause")}),
			},
		},
		{
			desc: "clauses defined in this package are rewritten",
			input: Package{
				Name: "foo.bar",
				units: []parse.SourceUnit{
					{
						Clauses: []ast.Clause{
							ast.NewClause(ast.NewAtom("other_clause"), []ast.Term{ast.String("here")}),