Don't accept constants for 'has value' operator, this is not helpful #64

cburgmer · Jun 25, 2020 · 0a2f18b · 0a2f18b
1 parent bce58ef
commit 0a2f18b
Show file tree

Hide file tree

Showing 24 changed files with 460 additions and 181 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -19575,7 +19575,7 @@ <h1>JSONPath Comparison</h1>
 <a href="results/filter_expression_with_equals_boolean_expression_value.html#Golang_github.com-spyzhov-ajson">➘</a>
 </td>
 <td>
-<a href="results/filter_expression_with_equals_boolean_expression_value.html#Golang_github.com-vmware-labs-yaml-jsonpath">➚</a>
+<a href="results/filter_expression_with_equals_boolean_expression_value.html#Golang_github.com-vmware-labs-yaml-jsonpath">➘</a>
 </td>
 <td>
 <a href="results/filter_expression_with_equals_boolean_expression_value.html#Haskell_jsonpath">➚</a>
@@ -24128,7 +24128,7 @@ <h1>JSONPath Comparison</h1>
 <a href="results/filter_expression_with_value_null.html#dotNET_Manatee.Json">➘</a>
 </td>
 <td class="proposal">
-<a href="results/filter_expression_with_value_null.html#Proposal_A">➘</a>
+<a href="results/filter_expression_with_value_null.html#Proposal_A">➚</a>
 </td>
 </tr>
 <tr id="filter_expression_with_value_true" class="no_consensus">
@@ -24249,7 +24249,7 @@ <h1>JSONPath Comparison</h1>
 <a href="results/filter_expression_with_value_true.html#dotNET_Manatee.Json">➘</a>
 </td>
 <td class="proposal">
-<a href="results/filter_expression_with_value_true.html#Proposal_A">➘</a>
+<a href="results/filter_expression_with_value_true.html#Proposal_A">➚</a>
 </td>
 </tr>
 <tr id="filter_expression_without_parens" class="consensus">

diff --git a/docs/results/filter_expression_with_addition.html b/docs/results/filter_expression_with_addition.html
@@ -341,7 +341,7 @@ <h4 id="Proposal_A">
 | x 1:10-1:10 ScalarOperator
 | | $[?(@.key+50==100)]
 | |          ^
-| o 1:5-1:10 FilterValue
+| o 1:5-1:10 DocumentValue
 | | $[?(@.key+50==100)]
 | |     ^^^^^
 | o 1:5-1:10 UnaryFilterExpression
@@ -350,6 +350,9 @@ <h4 id="Proposal_A">
 | | x 1:10-1:10 ScalarOperator
 | | | $[?(@.key+50==100)]
 | | |          ^
+| | o 1:5-1:10 DocumentValue
+| | | $[?(@.key+50==100)]
+| | |     ^^^^^
 | | o 1:5-1:10 FilterValue
 | | | $[?(@.key+50==100)]
 | | |     ^^^^^
@@ -369,7 +372,7 @@ <h4 id="Proposal_A">
 | | x 1:10-1:10 ScalarOperator
 | | | $[?(@.key+50==100)]
 | | |          ^
-| | o 1:5-1:10 FilterValue
+| | o 1:5-1:10 DocumentValue
 | | | $[?(@.key+50==100)]
 | | |     ^^^^^
 | | o 1:5-1:10 UnaryFilterExpression
@@ -378,6 +381,9 @@ <h4 id="Proposal_A">
 | | | x 1:10-1:10 ScalarOperator
 | | | | $[?(@.key+50==100)]
 | | | |          ^
+| | | o 1:5-1:10 DocumentValue
+| | | | $[?(@.key+50==100)]
+| | | |     ^^^^^
 | | | o 1:5-1:10 FilterValue
 | | | | $[?(@.key+50==100)]
 | | | |     ^^^^^
@@ -397,7 +403,7 @@ <h4 id="Proposal_A">
 | | | x 1:10-1:10 ScalarOperator
 | | | | $[?(@.key+50==100)]
 | | | |          ^
-| | | o 1:5-1:10 FilterValue
+| | | o 1:5-1:10 DocumentValue
 | | | | $[?(@.key+50==100)]
 | | | |     ^^^^^
 | | | o 1:5-1:10 UnaryFilterExpression
@@ -406,6 +412,9 @@ <h4 id="Proposal_A">
 | | | | x 1:10-1:10 ScalarOperator
 | | | | | $[?(@.key+50==100)]
 | | | | |          ^
+| | | | o 1:5-1:10 DocumentValue
+| | | | | $[?(@.key+50==100)]
+| | | | |     ^^^^^
 | | | | o 1:5-1:10 FilterValue
 | | | | | $[?(@.key+50==100)]
 | | | | |     ^^^^^

diff --git a/docs/results/filter_expression_with_division.html b/docs/results/filter_expression_with_division.html
@@ -370,7 +370,7 @@ <h4 id="Proposal_A">
 | x 1:10-1:10 ScalarOperator
 | | $[?(@.key/10==5)]
 | |          ^
-| o 1:5-1:10 FilterValue
+| o 1:5-1:10 DocumentValue
 | | $[?(@.key/10==5)]
 | |     ^^^^^
 | o 1:5-1:10 UnaryFilterExpression
@@ -379,6 +379,9 @@ <h4 id="Proposal_A">
 | | x 1:10-1:10 ScalarOperator
 | | | $[?(@.key/10==5)]
 | | |          ^
+| | o 1:5-1:10 DocumentValue
+| | | $[?(@.key/10==5)]
+| | |     ^^^^^
 | | o 1:5-1:10 FilterValue
 | | | $[?(@.key/10==5)]
 | | |     ^^^^^
@@ -398,7 +401,7 @@ <h4 id="Proposal_A">
 | | x 1:10-1:10 ScalarOperator
 | | | $[?(@.key/10==5)]
 | | |          ^
-| | o 1:5-1:10 FilterValue
+| | o 1:5-1:10 DocumentValue
 | | | $[?(@.key/10==5)]
 | | |     ^^^^^
 | | o 1:5-1:10 UnaryFilterExpression
@@ -407,6 +410,9 @@ <h4 id="Proposal_A">
 | | | x 1:10-1:10 ScalarOperator
 | | | | $[?(@.key/10==5)]
 | | | |          ^
+| | | o 1:5-1:10 DocumentValue
+| | | | $[?(@.key/10==5)]
+| | | |     ^^^^^
 | | | o 1:5-1:10 FilterValue
 | | | | $[?(@.key/10==5)]
 | | | |     ^^^^^
@@ -426,7 +432,7 @@ <h4 id="Proposal_A">
 | | | x 1:10-1:10 ScalarOperator
 | | | | $[?(@.key/10==5)]
 | | | |          ^
-| | | o 1:5-1:10 FilterValue
+| | | o 1:5-1:10 DocumentValue
 | | | | $[?(@.key/10==5)]
 | | | |     ^^^^^
 | | | o 1:5-1:10 UnaryFilterExpression
@@ -435,6 +441,9 @@ <h4 id="Proposal_A">
 | | | | x 1:10-1:10 ScalarOperator
 | | | | | $[?(@.key/10==5)]
 | | | | |          ^
+| | | | o 1:5-1:10 DocumentValue
+| | | | | $[?(@.key/10==5)]
+| | | | |     ^^^^^
 | | | | o 1:5-1:10 FilterValue
 | | | | | $[?(@.key/10==5)]
 | | | | |     ^^^^^

diff --git a/docs/results/filter_expression_with_equals_array.html b/docs/results/filter_expression_with_equals_array.html
@@ -377,15 +377,20 @@ <h4 id="Proposal_A">
 
 <p>Not supported</p>
 
-<pre><code>x 1:10-1:10 IntegerPart
-| $[?(@.d==["v1","v2"])]
-|          ^
-x 1:10-1:10 Number
-| $[?(@.d==["v1","v2"])]
-|          ^
-x 1:10-1:10 SimpleValue
+<pre><code>x 1:10-1:10 DocumentValue
 | $[?(@.d==["v1","v2"])]
 |          ^
+| x 1:10-1:10 IntegerPart
+| | $[?(@.d==["v1","v2"])]
+| |          ^
+| x 1:10-1:10 Number
+| | $[?(@.d==["v1","v2"])]
+| |          ^
+| x 1:10-1:10 SimpleValue
+| | $[?(@.d==["v1","v2"])]
+| |          ^
+| | 
+|/  
 x 1:10-1:10 FilterValue
 | $[?(@.d==["v1","v2"])]
 |          ^
@@ -395,15 +400,20 @@ <h4 id="Proposal_A">
 x 1:5-1:5 LogicalOr
 | $[?(@.d==["v1","v2"])]
 |     ^
-| x 1:10-1:10 IntegerPart
-| | $[?(@.d==["v1","v2"])]
-| |          ^
-| x 1:10-1:10 Number
-| | $[?(@.d==["v1","v2"])]
-| |          ^
-| x 1:10-1:10 SimpleValue
+| x 1:10-1:10 DocumentValue
 | | $[?(@.d==["v1","v2"])]
 | |          ^
+| | x 1:10-1:10 IntegerPart
+| | | $[?(@.d==["v1","v2"])]
+| | |          ^
+| | x 1:10-1:10 Number
+| | | $[?(@.d==["v1","v2"])]
+| | |          ^
+| | x 1:10-1:10 SimpleValue
+| | | $[?(@.d==["v1","v2"])]
+| | |          ^
+| | | 
+| |/  
 | x 1:10-1:10 FilterValue
 | | $[?(@.d==["v1","v2"])]
 | |          ^
@@ -413,15 +423,20 @@ <h4 id="Proposal_A">
 | x 1:5-1:5 LogicalAnd
 | | $[?(@.d==["v1","v2"])]
 | |     ^
-| | x 1:10-1:10 IntegerPart
-| | | $[?(@.d==["v1","v2"])]
-| | |          ^
-| | x 1:10-1:10 Number
-| | | $[?(@.d==["v1","v2"])]
-| | |          ^
-| | x 1:10-1:10 SimpleValue
+| | x 1:10-1:10 DocumentValue
 | | | $[?(@.d==["v1","v2"])]
 | | |          ^
+| | | x 1:10-1:10 IntegerPart
+| | | | $[?(@.d==["v1","v2"])]
+| | | |          ^
+| | | x 1:10-1:10 Number
+| | | | $[?(@.d==["v1","v2"])]
+| | | |          ^
+| | | x 1:10-1:10 SimpleValue
+| | | | $[?(@.d==["v1","v2"])]
+| | | |          ^
+| | | | 
+| | |/  
 | | x 1:10-1:10 FilterValue
 | | | $[?(@.d==["v1","v2"])]
 | | |          ^

diff --git a/docs/results/filter_expression_with_equals_array_for_array_slice_with_range_1.html b/docs/results/filter_expression_with_equals_array_for_array_slice_with_range_1.html
@@ -294,7 +294,7 @@ <h4 id="Proposal_A">
 | x 1:6-1:6 ScalarOperator
 | | $[?(@[0:1]==[1])]
 | |      ^
-| o 1:5-1:6 FilterValue
+| o 1:5-1:6 DocumentValue
 | | $[?(@[0:1]==[1])]
 | |     ^
 | o 1:5-1:6 UnaryFilterExpression
@@ -303,6 +303,9 @@ <h4 id="Proposal_A">
 | | x 1:6-1:6 ScalarOperator
 | | | $[?(@[0:1]==[1])]
 | | |      ^
+| | o 1:5-1:6 DocumentValue
+| | | $[?(@[0:1]==[1])]
+| | |     ^
 | | o 1:5-1:6 FilterValue
 | | | $[?(@[0:1]==[1])]
 | | |     ^
@@ -322,7 +325,7 @@ <h4 id="Proposal_A">
 | | x 1:6-1:6 ScalarOperator
 | | | $[?(@[0:1]==[1])]
 | | |      ^
-| | o 1:5-1:6 FilterValue
+| | o 1:5-1:6 DocumentValue
 | | | $[?(@[0:1]==[1])]
 | | |     ^
 | | o 1:5-1:6 UnaryFilterExpression
@@ -331,6 +334,9 @@ <h4 id="Proposal_A">
 | | | x 1:6-1:6 ScalarOperator
 | | | | $[?(@[0:1]==[1])]
 | | | |      ^
+| | | o 1:5-1:6 DocumentValue
+| | | | $[?(@[0:1]==[1])]
+| | | |     ^
 | | | o 1:5-1:6 FilterValue
 | | | | $[?(@[0:1]==[1])]
 | | | |     ^
@@ -350,7 +356,7 @@ <h4 id="Proposal_A">
 | | | x 1:6-1:6 ScalarOperator
 | | | | $[?(@[0:1]==[1])]
 | | | |      ^
-| | | o 1:5-1:6 FilterValue
+| | | o 1:5-1:6 DocumentValue
 | | | | $[?(@[0:1]==[1])]
 | | | |     ^
 | | | o 1:5-1:6 UnaryFilterExpression
@@ -359,6 +365,9 @@ <h4 id="Proposal_A">
 | | | | x 1:6-1:6 ScalarOperator
 | | | | | $[?(@[0:1]==[1])]
 | | | | |      ^
+| | | | o 1:5-1:6 DocumentValue
+| | | | | $[?(@[0:1]==[1])]
+| | | | |     ^
 | | | | o 1:5-1:6 FilterValue
 | | | | | $[?(@[0:1]==[1])]
 | | | | |     ^

diff --git a/docs/results/filter_expression_with_equals_array_for_dot_notation_with_star.html b/docs/results/filter_expression_with_equals_array_for_dot_notation_with_star.html
@@ -253,7 +253,7 @@ <h4 id="Proposal_A">
 x 1:6-1:6 ScalarOperator
 | $[?(@.*==[1,2])]
 |      ^
-o 1:5-1:6 FilterValue
+o 1:5-1:6 DocumentValue
 | $[?(@.*==[1,2])]
 |     ^
 o 1:5-1:6 UnaryFilterExpression
@@ -265,6 +265,9 @@ <h4 id="Proposal_A">
 | x 1:6-1:6 ScalarOperator
 | | $[?(@.*==[1,2])]
 | |      ^
+| o 1:5-1:6 DocumentValue
+| | $[?(@.*==[1,2])]
+| |     ^
 | o 1:5-1:6 FilterValue
 | | $[?(@.*==[1,2])]
 | |     ^
@@ -282,7 +285,7 @@ <h4 id="Proposal_A">
 | x 1:6-1:6 ScalarOperator
 | | $[?(@.*==[1,2])]
 | |      ^
-| o 1:5-1:6 FilterValue
+| o 1:5-1:6 DocumentValue
 | | $[?(@.*==[1,2])]
 | |     ^
 | o 1:5-1:6 UnaryFilterExpression
@@ -294,6 +297,9 @@ <h4 id="Proposal_A">
 | | x 1:6-1:6 ScalarOperator
 | | | $[?(@.*==[1,2])]
 | | |      ^
+| | o 1:5-1:6 DocumentValue
+| | | $[?(@.*==[1,2])]
+| | |     ^
 | | o 1:5-1:6 FilterValue
 | | | $[?(@.*==[1,2])]
 | | |     ^
@@ -311,7 +317,7 @@ <h4 id="Proposal_A">
 | | x 1:6-1:6 ScalarOperator
 | | | $[?(@.*==[1,2])]
 | | |      ^
-| | o 1:5-1:6 FilterValue
+| | o 1:5-1:6 DocumentValue
 | | | $[?(@.*==[1,2])]
 | | |     ^
 | | o 1:5-1:6 UnaryFilterExpression
@@ -323,6 +329,9 @@ <h4 id="Proposal_A">
 | | | x 1:6-1:6 ScalarOperator
 | | | | $[?(@.*==[1,2])]
 | | | |      ^
+| | | o 1:5-1:6 DocumentValue
+| | | | $[?(@.*==[1,2])]
+| | | |     ^
 | | | o 1:5-1:6 FilterValue
 | | | | $[?(@.*==[1,2])]
 | | | |     ^