Support lots of case insensitive text expressions through TextP.regex.

src/Core/ExpressionParsing/PFactory/PFactory.cs

@@ -1,4 +1,6 @@
-using Gremlin.Net.Process.Traversal;
+using System.Text.RegularExpressions;
+
+using Gremlin.Net.Process.Traversal;
 
 namespace ExRam.Gremlinq.Core.ExpressionParsing
 {
@@ -8,7 +10,7 @@
         {
             private static readonly P PNeqNull = P.Neq(null);
 
-            public P TryGetP(ExpressionSemantics semantics, object? maybeValue, IGremlinQueryEnvironment environment)
+            public P? TryGetP(ExpressionSemantics semantics, object? maybeValue, IGremlinQueryEnvironment environment)
             {
                 switch (semantics)
                 {
@@ -58,6 +60,32 @@
                                 }
                             }
                         }
+                        else if (!environment.Options.GetValue(GremlinqOption.DisabledTextPredicates).HasFlag(DisabledTextPredicates.Regex))
+                        {
+                            switch (stringExpressionSemantics)
+                            {
+                                case StringEqualsExpressionSemantics:
+                                {
+                                    return TextP.Regex($"(?i)^{Regex.Escape(stringValue)}$");
+                                }
+                                case IsPrefixOfExpressionSemantics:
+                                {
+                                    return TextP.Regex($"(?i)^{string.Join('|', SubStrings(stringValue).Select(x => $"({Regex.Escape((string)x)})"))}$");
+                                }
+                                case HasInfixExpressionSemantics:
+                                {
+                                    return TextP.Regex($"(?i){Regex.Escape(stringValue)}");
+                                }
+                                case StartsWithExpressionSemantics:
+                                {
+                                    return TextP.Regex($"(?i)^{Regex.Escape(stringValue)}");
+                                }
+                                case EndsWithExpressionSemantics:
+                                {
+                                    return TextP.Regex($"(?i){Regex.Escape(stringValue)}$");
+                                }
+                            }
+                        }
 
                         break;
                     }
@@ -95,7 +123,7 @@
                     }
                 }
 
-                throw new ExpressionNotSupportedException();
+                return null;
             }
 
             private static object[] SubStrings(string value)

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_property_contains_constant_with_TextP_support_case_insensitive.verified.txt

@@ -1 +1 @@
-g.V().hasLabel('Country').has('CountryCallingCode',containing('456')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)456')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_property_ends_with_constant_with_TextP_support_case_insensitive.verified.txt

@@ -1 +1 @@
-g.V().hasLabel('Country').has('CountryCallingCode',endingWith('7890')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)7890$')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_property_is_prefix_of_constant_case_insensitive.verified.txt

@@ -1 +1 @@
-g.V().hasLabel('Country').has('CountryCallingCode',within('','+','+4','+49','+491','+4912','+49123')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)^()|(\+)|(\+4)|(\+49)|(\+491)|(\+4912)|(\+49123)$')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_property_is_prefix_of_expression_case_insensitive.verified.txt

@@ -1 +1 @@
-g.V().hasLabel('Country').has('CountryCallingCode',within('','+','+4','+49','+491','+4912','+49123')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)^()|(\+)|(\+4)|(\+49)|(\+491)|(\+4912)|(\+49123)$')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_property_is_prefix_of_variable_case_insensitive.verified.txt

@@ -1 +1 @@
-g.V().hasLabel('Country').has('CountryCallingCode',within('','+','+4','+49','+491','+4912','+49123')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)^()|(\+)|(\+4)|(\+49)|(\+491)|(\+4912)|(\+49123)$')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_string_property_equals_case_insensitive.verified.txt

@@ -1 +1 @@
-g.V().hasLabel('Country').has('CountryCallingCode',startingWith('+49123')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)^\+49123$')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_string_property_startsWith.verified.txt

@@ -0,0 +1 @@
+g.V().hasLabel('Country').has('CountryCallingCode',startingWith('+49123')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Debugging/DefaultDebugGremlinQuerySerializationTest.Where_string_property_startsWith_case_insensitive.verified.txt

@@ -0,0 +1 @@
+g.V().hasLabel('Country').has('CountryCallingCode',regex('(?i)^\+49123')).project('id','label','properties').by(id).by(label).by(__.properties().group().by(label).by(__.project('id','label','value','properties').by(id).by(label).by(value).by(__.valueMap()).fold()))

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_property_contains_constant_with_TextP_support_case_insensitive.verified.txt

@@ -14,8 +14,8 @@
       Arguments: [
         CountryCallingCode,
         {
-          OperatorName: containing,
-          Value: 456
+          OperatorName: regex,
+          Value: (?i)456
         }
       ]
     },

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_property_ends_with_constant_with_TextP_support_case_insensitive.verified.txt

@@ -14,8 +14,8 @@
       Arguments: [
         CountryCallingCode,
         {
-          OperatorName: endingWith,
-          Value: 7890
+          OperatorName: regex,
+          Value: (?i)7890$
         }
       ]
     },

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_property_is_prefix_of_constant_case_insensitive.verified.txt

@@ -14,16 +14,8 @@
       Arguments: [
         CountryCallingCode,
         {
-          OperatorName: within,
-          Value: [
-            ,
-            +,
-            +4,
-            +49,
-            +491,
-            +4912,
-            +49123
-          ]
+          OperatorName: regex,
+          Value: (?i)^()|(\+)|(\+4)|(\+49)|(\+491)|(\+4912)|(\+49123)$
         }
       ]
     },

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_property_is_prefix_of_expression_case_insensitive.verified.txt

@@ -14,16 +14,8 @@
       Arguments: [
         CountryCallingCode,
         {
-          OperatorName: within,
-          Value: [
-            ,
-            +,
-            +4,
-            +49,
-            +491,
-            +4912,
-            +49123
-          ]
+          OperatorName: regex,
+          Value: (?i)^()|(\+)|(\+4)|(\+49)|(\+491)|(\+4912)|(\+49123)$
         }
       ]
     },

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_property_is_prefix_of_variable_case_insensitive.verified.txt

@@ -14,16 +14,8 @@
       Arguments: [
         CountryCallingCode,
         {
-          OperatorName: within,
-          Value: [
-            ,
-            +,
-            +4,
-            +49,
-            +491,
-            +4912,
-            +49123
-          ]
+          OperatorName: regex,
+          Value: (?i)^()|(\+)|(\+4)|(\+49)|(\+491)|(\+4912)|(\+49123)$
         }
       ]
     },

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_string_property_equals_case_insensitive.verified.txt

@@ -14,8 +14,8 @@
       Arguments: [
         CountryCallingCode,
         {
-          OperatorName: startingWith,
-          Value: +49123
+          OperatorName: regex,
+          Value: (?i)^\+49123$
         }
       ]
     },

test/Core.Tests/Serialization/BytecodeQuerySerializationTest.Where_string_property_startsWith.verified.txt

@@ -0,0 +1,133 @@
+{
+  StepInstructions: [
+    {
+      OperatorName: V
+    },
+    {
+      OperatorName: hasLabel,
+      Arguments: [
+        Country
+      ]
+    },
+    {
+      OperatorName: has,
+      Arguments: [
+        CountryCallingCode,
+        {
+          OperatorName: startingWith,
+          Value: +49123
+        }
+      ]
+    },
+    {
+      OperatorName: project,
+      Arguments: [
+        id,
+        label,
+        properties
+      ]
+    },
+    {
+      OperatorName: by,
+      Arguments: [
+        {
+          EnumName: T,
+          EnumValue: id
+        }
+      ]
+    },
+    {
+      OperatorName: by,
+      Arguments: [
+        {
+          EnumName: T,
+          EnumValue: label
+        }
+      ]
+    },
+    {
+      OperatorName: by,
+      Arguments: [
+        {
+          StepInstructions: [
+            {
+              OperatorName: properties
+            },
+            {
+              OperatorName: group
+            },
+            {
+              OperatorName: by,
+              Arguments: [
+                {
+                  EnumName: T,
+                  EnumValue: label
+                }
+              ]
+            },
+            {
+              OperatorName: by,
+              Arguments: [
+                {
+                  StepInstructions: [
+                    {
+                      OperatorName: project,
+                      Arguments: [
+                        id,
+                        label,
+                        value,
+                        properties
+                      ]
+                    },
+                    {
+                      OperatorName: by,
+                      Arguments: [
+                        {
+                          EnumName: T,
+                          EnumValue: id
+                        }
+                      ]
+                    },
+                    {
+                      OperatorName: by,
+                      Arguments: [
+                        {
+                          EnumName: T,
+                          EnumValue: label
+                        }
+                      ]
+                    },
+                    {
+                      OperatorName: by,
+                      Arguments: [
+                        {
+                          EnumName: T,
+                          EnumValue: value
+                        }
+                      ]
+                    },
+                    {
+                      OperatorName: by,
+                      Arguments: [
+                        {
+                          StepInstructions: [
+                            {
+                              OperatorName: valueMap
+                            }
+                          ]
+                        }
+                      ]
+                    },
+                    {
+                      OperatorName: fold
+                    }
+                  ]
+                }
+              ]
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}