Function TestUnifyPositive

unionfind/unionfind_test.go:37–86

(t *testing.T)

}

func TestUnifyPositive(t *testing.T) {
	tests := []struct {
		name  string
		left  []ast.BaseTerm
		right []ast.BaseTerm
		want  map[ast.Variable]ast.BaseTerm
	}{
		{name: "empty"},
		{
			name:  "basic",
			left:  []ast.BaseTerm{term("X")},
			right: []ast.BaseTerm{term("/bar")},
			want:  map[ast.Variable]ast.BaseTerm{ast.Variable{"X"}: term("/bar")},
		},
		{
			name:  "basic wildcard",
			left:  []ast.BaseTerm{term("_")},
			right: []ast.BaseTerm{term("/bar")},
		},
		{
			name:  "two vars",
			left:  []ast.BaseTerm{term("X"), term("Y")},
			right: []ast.BaseTerm{term("Y"), term("/bar")},
			want: map[ast.Variable]ast.BaseTerm{
				ast.Variable{"X"}: term("/bar"),
				ast.Variable{"Y"}: term("/bar"),
			},
		},
		{
			name:  "two vars wildcard",
			left:  []ast.BaseTerm{term("_"), term("_")},
			right: []ast.BaseTerm{term("Y"), term("/bar")},
		},
	}
	for _, test := range tests {
		uf, err := UnifyTerms(test.left, test.right)
		if err != nil {
			t.Errorf("%s: UnifyTerms(%v, %v) failed %v", test.name, test.left, test.right, err)
			continue
		}
		for key, val := range test.want {
			res := uf.Get(key)
			if res == nil {
				t.Errorf("%s: UnifyTerms(%v, %v)=%v missing %s", test.name, test.left, test.right, uf, key)
			} else if !res.Equals(val) {
				t.Errorf("%s: UnifyTerms(%v, %v)=%v want %v -> %v", test.name, test.left, test.right, uf, key, val)
			}
		}
	}
}

func TestUnifyNegative(t *testing.T) {
	tests := []struct {