Add some tests covering regex quantifiers and options

Based on XPath spec: https://www.w3.org/TR/xpath-functions/#regex-syntax Issue #46
w3c · Dec 5, 2024 · dfeb021 · dfeb021
1 parent a77cdf0
commit dfeb021
Show file tree

Hide file tree

Showing 36 changed files with 1,011 additions and 0 deletions.
diff --git a/sparql/sparql10/regex/index.html b/sparql/sparql10/regex/index.html
diff --git a/sparql/sparql10/regex/manifest.ttl b/sparql/sparql10/regex/manifest.ttl
@@ -10,6 +10,23 @@
     rdfs:comment "SPARQL regex test cases" ;
     mf:entries (
       :dawg-regex-001 :dawg-regex-002 :dawg-regex-003 :dawg-regex-004
+      :regex-quantifier-optional
+      :regex-quantifier-zero-or-more
+      :regex-quantifier-one-or-more
+      :regex-quantifier-counted-exact
+      :regex-quantifier-counted-lower-bound
+      :regex-quantifier-counted-lower-upper-bounds
+      :regex-dot
+      :regex-dot-all
+      :regex-case-insensitive
+      :regex-no-metacharacters
+      :regex-no-metacharacters-case-insensitive
+      :regex-start-end
+      :regex-start-end-multiline
+      :regex-char-class-expression
+      :regex-negative-char-class-expression
+      :regex-ignore-whitespaces
+      :regex-ignore-whitespaces-class-expression
     ).
 
 :dawg-regex-001 a mf:QueryEvaluationTest ;
@@ -56,3 +73,121 @@
             qt:data   <regex-data-01.ttl> ] ;
       mf:result  <regex-result-004.ttl> .
 
+:regex-quantifier-optional a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an ? quantifier" ;
+      mf:action
+          [ qt:query  <regex-quantifier-optional.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-quantifier-optional.srx> .
+
+:regex-quantifier-zero-or-more a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an * quantifier" ;
+      mf:action
+          [ qt:query  <regex-quantifier-zero-or-more.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-quantifier-zero-or-more.srx> .
+
+:regex-quantifier-one-or-more a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with a + quantifier" ;
+      mf:action
+          [ qt:query  <regex-quantifier-one-or-more.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-quantifier-one-or-more.srx> .
+
+:regex-quantifier-counted-exact a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an {2} quantifier" ;
+      mf:action
+          [ qt:query  <regex-quantifier-counted-exact.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-quantifier-counted-exact.srx> .
+
+:regex-quantifier-counted-lower-bound a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an {,2} quantifier" ;
+      mf:action
+          [ qt:query  <regex-quantifier-counted-lower-bound.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-quantifier-counted-lower-bound.srx> .
+
+:regex-quantifier-counted-lower-upper-bounds a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an {2,} quantifier" ;
+      mf:action
+          [ qt:query  <regex-quantifier-counted-lower-upper-bounds.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-quantifier-counted-lower-upper-bounds.srx> .
+
+:regex-dot a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an . operator" ;
+      mf:action
+          [ qt:query  <regex-dot.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-dot.srx> .
+
+:regex-dot-all a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with an . operator and the s option" ;
+      mf:action
+          [ qt:query  <regex-dot-all.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-dot-all.srx> .
+
+:regex-case-insensitive a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with the i option" ;
+      mf:action
+          [ qt:query  <regex-case-insensitive.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-case-insensitive.srx> .
+
+:regex-no-metacharacters a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with the q option" ;
+      mf:action
+          [ qt:query  <regex-no-metacharacters.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-no-metacharacters.srx> .
+
+:regex-no-metacharacters-case-insensitive a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with the iq option" ;
+      mf:action
+          [ qt:query  <regex-no-metacharacters-case-insensitive.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-no-metacharacters.srx> .
+
+:regex-start-end a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with ^ and $" ;
+      mf:action
+          [ qt:query  <regex-start-end.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-start-end.srx> .
+
+:regex-start-end-multiline a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with ^ and $ and m option" ;
+      mf:action
+          [ qt:query  <regex-start-end-multiline.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-start-end-multiline.srx> .
+
+:regex-char-class-expression a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with [] expression" ;
+      mf:action
+          [ qt:query  <regex-char-class-expression.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-char-class-expression.srx> .
+
+:regex-negative-char-class-expression a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with a [^] expression" ;
+      mf:action
+          [ qt:query  <regex-negative-char-class-expression.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-negative-char-class-expression.srx> .
+
+:regex-ignore-whitespaces a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with the ignore spacing (x) option" ;
+      mf:action
+          [ qt:query  <regex-ignore-whitespaces.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-ignore-whitespaces.srx> .
+
+:regex-ignore-whitespaces-class-expression a mf:QueryEvaluationTest ;
+      mf:name    "REGEX with the ignore spacing (x) option with class expression" ;
+      mf:action
+          [ qt:query  <regex-ignore-whitespaces-class-expression.rq> ;
+            qt:data   <regex-data-quantifiers.ttl> ] ;
+      mf:result  <regex-ignore-whitespaces-class-expression.srx> .
diff --git a/sparql/sparql10/regex/regex-case-insensitive.rq b/sparql/sparql10/regex/regex-case-insensitive.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "abc", "i")
+}
diff --git a/sparql/sparql10/regex/regex-case-insensitive.srx b/sparql/sparql10/regex/regex-case-insensitive.srx
@@ -0,0 +1,18 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+	<head>
+		<variable name="val"/>
+	</head>
+	<results>
+		<result>
+			<binding name="val">
+				<literal>abc</literal>
+			</binding>
+		</result>
+		<result>
+			<binding name="val">
+				<literal>ABC</literal>
+			</binding>
+		</result>
+	</results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-char-class-expression.rq b/sparql/sparql10/regex/regex-char-class-expression.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "a[b\\n]c")
+}
diff --git a/sparql/sparql10/regex/regex-char-class-expression.srx b/sparql/sparql10/regex/regex-char-class-expression.srx
@@ -0,0 +1,19 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+	<head>
+		<variable name="val"/>
+	</head>
+	<results>
+		<result>
+			<binding name="val">
+				<literal>abc</literal>
+			</binding>
+		</result>
+		<result>
+			<binding name="val">
+				<literal>a
+c</literal>
+			</binding>
+		</result>
+	</results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-data-quantifiers.ttl b/sparql/sparql10/regex/regex-data-quantifiers.ttl
@@ -0,0 +1,4 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix ex: <http://example.com/#> .
+
+ex:foo rdf:value "ac" , "abc" , "abbc" , "abbbc" , "a\nc", "a\nb\nc" , "a.c" , "ABC" , "a?+*.{}()[]c" , "b" .
diff --git a/sparql/sparql10/regex/regex-dot-all.rq b/sparql/sparql10/regex/regex-dot-all.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "a.c", "s")
+}
diff --git a/sparql/sparql10/regex/regex-dot-all.srx b/sparql/sparql10/regex/regex-dot-all.srx
@@ -0,0 +1,24 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+  <head>
+    <variable name="val"/>
+  </head>
+  <results>
+    <result>
+      <binding name="val">
+          <literal>abc</literal>
+      </binding>
+    </result>
+    <result>
+      <binding name="val">
+          <literal>a
+c</literal>
+      </binding>
+    </result>
+    <result>
+      <binding name="val">
+          <literal>a.c</literal>
+      </binding>
+    </result>
+  </results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-dot.rq b/sparql/sparql10/regex/regex-dot.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "a.c")
+}
diff --git a/sparql/sparql10/regex/regex-dot.srx b/sparql/sparql10/regex/regex-dot.srx
@@ -0,0 +1,18 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+  <head>
+    <variable name="val"/>
+  </head>
+  <results>
+    <result>
+      <binding name="val">
+          <literal>abc</literal>
+      </binding>
+    </result>
+    <result>
+      <binding name="val">
+          <literal>a.c</literal>
+      </binding>
+    </result>
+  </results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-ignore-whitespaces-class-expression.rq b/sparql/sparql10/regex/regex-ignore-whitespaces-class-expression.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, " a\n\r\t[\\n]c ", "x")
+}
diff --git a/sparql/sparql10/regex/regex-ignore-whitespaces-class-expression.srx b/sparql/sparql10/regex/regex-ignore-whitespaces-class-expression.srx
@@ -0,0 +1,14 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+	<head>
+		<variable name="val"/>
+	</head>
+	<results>
+		<result>
+			<binding name="val">
+				<literal>a
+c</literal>
+			</binding>
+		</result>
+	</results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-ignore-whitespaces.rq b/sparql/sparql10/regex/regex-ignore-whitespaces.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, " a\n\tc ", "x")
+}
diff --git a/sparql/sparql10/regex/regex-ignore-whitespaces.srx b/sparql/sparql10/regex/regex-ignore-whitespaces.srx
@@ -0,0 +1,13 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+	<head>
+		<variable name="val"/>
+	</head>
+	<results>
+		<result>
+			<binding name="val">
+				<literal>ac</literal>
+			</binding>
+		</result>
+	</results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-negative-char-class-expression.rq b/sparql/sparql10/regex/regex-negative-char-class-expression.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "a[^b]c")
+}
diff --git a/sparql/sparql10/regex/regex-negative-char-class-expression.srx b/sparql/sparql10/regex/regex-negative-char-class-expression.srx
@@ -0,0 +1,19 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+	<head>
+		<variable name="val"/>
+	</head>
+	<results>
+		<result>
+			<binding name="val">
+				<literal>a
+c</literal>
+			</binding>
+		</result>
+		<result>
+			<binding name="val">
+				<literal>a.c</literal>
+			</binding>
+		</result>
+	</results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-no-metacharacters-case-insensitive.rq b/sparql/sparql10/regex/regex-no-metacharacters-case-insensitive.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "a?+*.{}()[]C", "iq")
+}
diff --git a/sparql/sparql10/regex/regex-no-metacharacters.rq b/sparql/sparql10/regex/regex-no-metacharacters.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "a?+*.{}()[]c", "q")
+}
diff --git a/sparql/sparql10/regex/regex-no-metacharacters.srx b/sparql/sparql10/regex/regex-no-metacharacters.srx
@@ -0,0 +1,13 @@
+<?xml version="1.0"?>
+<sparql xmlns="http://www.w3.org/2005/sparql-results#">
+	<head>
+		<variable name="val"/>
+	</head>
+	<results>
+		<result>
+			<binding name="val">
+				<literal>a?+*.{}()[]c</literal>
+			</binding>
+		</result>
+	</results>
+</sparql>
diff --git a/sparql/sparql10/regex/regex-quantifier-counted-exact.rq b/sparql/sparql10/regex/regex-quantifier-counted-exact.rq
@@ -0,0 +1,8 @@
+PREFIX  rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX  ex: <http://example.com/#>
+
+SELECT ?val
+WHERE {
+	ex:foo rdf:value ?val .
+	FILTER regex(?val, "ab{2}c")
+}