Function TestListContains

functional/functional_test.go:46–84

(t *testing.T)

}

func TestListContains(t *testing.T) {
	tests := []struct {
		listTerm   ast.BaseTerm
		memberTerm ast.BaseTerm
		want       ast.Constant
		subst      ast.Subst
	}{
		{ast.List([]ast.Constant{ast.Number(10), ast.Number(11), ast.Number(2)}), ast.Number(2), ast.TrueConstant, ast.ConstSubstMap{}},
		{ast.ListNil, ast.Number(2), ast.FalseConstant, ast.ConstSubstMap{}},
		{ast.List([]ast.Constant{ast.Number(10)}), ast.Number(2), ast.FalseConstant, ast.ConstSubstMap{}},
		{
			ast.List([]ast.Constant{ast.Number(10)}), ast.Variable{"X"}, ast.FalseConstant,
			ast.ConstSubstMap{ast.Variable{"X"}: ast.Number(2)},
		},
		{
			ast.List([]ast.Constant{ast.Number(2)}), ast.Variable{"X"}, ast.TrueConstant,
			ast.ConstSubstMap{ast.Variable{"X"}: ast.Number(2)},
		},
		{
			ast.Variable{"Y"},
			ast.Variable{"X"},
			ast.TrueConstant,
			ast.ConstSubstMap{
				ast.Variable{"X"}: ast.Number(2),
				ast.Variable{"Y"}: ast.List([]ast.Constant{ast.Number(2)}),
			},
		},
	}
	for _, test := range tests {
		term := ast.ApplyFn{symbols.ListContains, []ast.BaseTerm{test.listTerm, test.memberTerm}}
		got, err := EvalExpr(term, test.subst)
		if err != nil {
			t.Fatal(err)
		}
		if got != test.want {
			t.Errorf("TestListContains(%v, %v)=%v want %v.", term, test.subst, got, test.want)
		}
	}
}

func makeVarList(n int) []ast.Variable {
	var vars []ast.Variable