Function TestUnifyExtendNegative

unionfind/unionfind_test.go:216–255

(t *testing.T)

}

func TestUnifyExtendNegative(t *testing.T) {
	tests := []struct {
		name string
		// The substitution that will be extended.
		base  map[ast.Variable]ast.BaseTerm
		left  []ast.BaseTerm
		right []ast.BaseTerm
		want  map[ast.Variable]ast.BaseTerm
	}{
		{
			name: "unify fails, one exists",
			base: map[ast.Variable]ast.BaseTerm{
				ast.Variable{"X"}: term("/c1"),
			},
			left:  []ast.BaseTerm{term("X")},
			right: []ast.BaseTerm{term("/c2")},
		},
		{
			name: "unify fails two exist",
			base: map[ast.Variable]ast.BaseTerm{
				ast.Variable{"X"}: term("/c1"),
				ast.Variable{"Y"}: term("/c2"),
			},
			left:  []ast.BaseTerm{term("X")},
			right: []ast.BaseTerm{term("Y")},
		},
	}
	for _, test := range tests {
		// Prepare the substitution to be extended.
		base, err := unionFindFromMap(test.base)
		if err != nil {
			t.Fatalf("error in test case: %s", test.name)
		}
		// Extend the substitution.
		uf, err := UnifyTermsExtend(test.left, test.right, base)
		if err == nil { // if NO error
			t.Errorf("%s: UnifyTermsExtend(%v,%v,%v)=%v want error", test.name, test.left, test.right, base, uf)
		}
	}
}