//NameToFunc compiles a parsed name expression into a function. func NameToFunc(n *ast.NameExpr) funcs.Bool { typ := n.GetValue() switch v := typ.(type) { case *ast.Name: if v.DoubleValue != nil { return funcs.DoubleEq(funcs.DoubleVar(), funcs.DoubleConst(v.GetDoubleValue())) } else if v.IntValue != nil { return funcs.IntEq(funcs.IntVar(), funcs.IntConst(v.GetIntValue())) } else if v.UintValue != nil { return funcs.UintEq(funcs.UintVar(), funcs.UintConst(v.GetUintValue())) } else if v.BoolValue != nil { return funcs.BoolEq(funcs.BoolVar(), funcs.BoolConst(v.GetBoolValue())) } else if v.StringValue != nil { return funcs.StringEq(funcs.StringVar(), funcs.StringConst(v.GetStringValue())) } else if v.BytesValue != nil { return funcs.BytesEq(funcs.BytesVar(), funcs.BytesConst(v.GetBytesValue())) } panic(fmt.Sprintf("unknown name expr name %#v", v)) case *ast.AnyName: return funcs.BoolConst(true) case *ast.AnyNameExcept: return funcs.Not(NameToFunc(v.GetExcept())) case *ast.NameChoice: return funcs.Or(NameToFunc(v.GetLeft()), NameToFunc(v.GetRight())) } panic(fmt.Sprintf("unknown name expr typ %T", typ)) }
func TestSimplifyFalseLeaf(t *testing.T) { input := combinator.Value(funcs.And(funcs.StringEq(funcs.StringVar(), funcs.StringConst("a")), funcs.StringEq(funcs.StringVar(), funcs.StringConst("b")))) expected := ast.NewNot(ast.NewZAny()) output := NewSimplifier(input.Grammar()).Simplify(input) t.Logf("%v", output) if !expected.Equal(output) { t.Fatalf("expected %v, but got %v", expected, output) } }
func TestSimplify1(t *testing.T) { c := ast.NewConcat(ast.NewNot(ast.NewZAny()), ast.NewZAny()) s := NewSimplifier(c.Grammar()).Simplify(c) if !s.Equal(ast.NewNot(ast.NewZAny())) { t.Fatalf("Expected EmptySet, but got %s", s) } } var andNameTelephonePerson = combinator.G{ "main": combinator.InOrder( combinator.AllOf( combinator.InOrder( combinator.Any(), combinator.In("Name", combinator.Value( funcs.StringEq(funcs.StringVar(), funcs.StringConst("David"))), ), combinator.Any(), ), combinator.InOrder( combinator.Any(), combinator.In("Telephone", combinator.Value( funcs.StringEq(funcs.StringVar(), funcs.StringConst("0123456789"))), ), combinator.Any(), ), ), ), } func TestSimplify2(t *testing.T) {