@port-labs/jq-node-bindings 1.0.4 → 1.1.0-dev

package/deps/jq/src/parser.y

@@ -108,14 +108,14 @@ struct lexer_param;
 %left '+' '-'
 %left '*' '/' '%'
 %precedence NONOPT /* non-optional; rules for which a specialized
-                      '?' rule should be preferred over Exp '?' */
-%precedence '?'
+                      '?' rule should be preferred over Expr '?' */
+%precedence '?' '.' '[' FIELD
 %precedence "try"
 %precedence "catch"
 
 
-%type <blk> Exp Term
-%type <blk> MkDict MkDictPair ExpD
+%type <blk> Query Expr Term
+%type <blk> DictPairs DictPair DictExpr
 %type <blk> ElseBody
 %type <blk> String QQString
 %type <blk> FuncDef FuncDefs
@@ -139,15 +139,7 @@ struct lexer_param {
 void yyerror(YYLTYPE* loc, block* answer, int* errors,
              struct locfile* locations, struct lexer_param* lexer_param_ptr, const char *s){
   (*errors)++;
-  if (strstr(s, "unexpected")) {
-#ifdef WIN32
-      locfile_locate(locations, *loc, "jq: error: %s (Windows cmd shell quoting issues?)", s);
-#else
-      locfile_locate(locations, *loc, "jq: error: %s (Unix shell quoting issues?)", s);
-#endif
-  } else {
-      locfile_locate(locations, *loc, "jq: error: %s", s);
-  }
+  locfile_locate(locations, *loc, "jq: error: %s", s);
 }
 
 int yylex(YYSTYPE* yylval, YYLTYPE* yylloc, block* answer, int* errors,
@@ -287,7 +279,7 @@ static block gen_loc_object(location *loc, struct locfile *locations) {
 
 %%
 TopLevel:
-Module Imports Exp {
+Module Imports Query {
   *answer = BLOCK($1, $2, gen_op_simple(TOP), $3);
 } |
 Module Imports FuncDefs {
@@ -298,13 +290,13 @@ Module:
 %empty {
   $$ = gen_noop();
 } |
-"module" Exp ';' {
+"module" Query ';' {
   if (!block_is_const($2)) {
-    FAIL(@$, "Module metadata must be constant");
+    FAIL(@2, "Module metadata must be constant");
     $$ = gen_noop();
     block_free($2);
   } else if (block_const_kind($2) != JV_KIND_OBJECT) {
-    FAIL(@$, "Module metadata must be an object");
+    FAIL(@2, "Module metadata must be an object");
     $$ = gen_noop();
     block_free($2);
   } else {
@@ -328,172 +320,115 @@ FuncDef FuncDefs {
   $$ = block_join($1, $2);
 }
 
-Exp:
-FuncDef Exp %prec FUNCDEF {
+
+Query:
+FuncDef Query %prec FUNCDEF {
   $$ = block_bind_referenced($1, $2, OP_IS_CALL_PSEUDO);
 } |
-
-Term "as" Patterns '|' Exp {
+Expr "as" Patterns '|' Query {
   $$ = gen_destructure($1, $3, $5);
 } |
-"reduce" Term "as" Patterns '(' Exp ';' Exp ')' {
-  $$ = gen_reduce($2, $4, $6, $8);
-} |
-
-"foreach" Term "as" Patterns '(' Exp ';' Exp ';' Exp ')' {
-  $$ = gen_foreach($2, $4, $6, $8, $10);
-} |
-
-"foreach" Term "as" Patterns '(' Exp ';' Exp ')' {
-  $$ = gen_foreach($2, $4, $6, $8, gen_noop());
-} |
-
-"if" Exp "then" Exp ElseBody {
-  $$ = gen_cond($2, $4, $5);
-} |
-"if" Exp "then" error {
-  FAIL(@$, "Possibly unterminated 'if' statement");
-  $$ = $2;
-} |
-
-"try" Exp "catch" Exp {
-  $$ = gen_try($2, $4);
-} |
-"try" Exp {
-  $$ = gen_try($2, gen_op_simple(BACKTRACK));
-} |
-"try" Exp "catch" error {
-  FAIL(@$, "Possibly unterminated 'try' statement");
-  $$ = $2;
-} |
-
-"label" BINDING '|' Exp {
+"label" BINDING '|' Query {
   jv v = jv_string_fmt("*label-%s", jv_string_value($2));
   $$ = gen_location(@$, locations, gen_label(jv_string_value(v), $4));
   jv_free($2);
   jv_free(v);
 } |
-
-Exp '?' {
-  $$ = gen_try($1, gen_op_simple(BACKTRACK));
+Query '|' Query {
+  $$ = block_join($1, $3);
+} |
+Query ',' Query {
+  $$ = gen_both($1, $3);
 } |
+Expr {
+  $$ = $1;
+}
+
 
-Exp '=' Exp {
+Expr:
+Expr "//" Expr {
+  $$ = gen_definedor($1, $3);
+} |
+Expr '=' Expr {
   $$ = gen_call("_assign", BLOCK(gen_lambda($1), gen_lambda($3)));
 } |
-
-Exp "or" Exp {
+Expr "or" Expr {
   $$ = gen_or($1, $3);
 } |
-
-Exp "and" Exp {
+Expr "and" Expr {
   $$ = gen_and($1, $3);
 } |
-
-Exp "//" Exp {
-  $$ = gen_definedor($1, $3);
-} |
-
-Exp "//=" Exp {
+Expr "//=" Expr {
   $$ = gen_definedor_assign($1, $3);
 } |
-
-Exp "|=" Exp {
+Expr "|=" Expr {
   $$ = gen_call("_modify", BLOCK(gen_lambda($1), gen_lambda($3)));
 } |
-
-Exp '|' Exp {
-  $$ = block_join($1, $3);
-} |
-
-Exp ',' Exp {
-  $$ = gen_both($1, $3);
-} |
-
-Exp '+' Exp {
+Expr '+' Expr {
   $$ = gen_binop($1, $3, '+');
 } |
-
-Exp "+=" Exp {
+Expr "+=" Expr {
   $$ = gen_update($1, $3, '+');
 } |
-
-'-' Exp {
-  $$ = BLOCK($2, gen_call("_negate", gen_noop()));
-} |
-
-Exp '-' Exp {
+Expr '-' Expr {
   $$ = gen_binop($1, $3, '-');
 } |
-
-Exp "-=" Exp {
+Expr "-=" Expr {
   $$ = gen_update($1, $3, '-');
 } |
-
-Exp '*' Exp {
+Expr '*' Expr {
   $$ = gen_binop($1, $3, '*');
 } |
-
-Exp "*=" Exp {
+Expr "*=" Expr {
   $$ = gen_update($1, $3, '*');
 } |
-
-Exp '/' Exp {
+Expr '/' Expr {
   $$ = gen_binop($1, $3, '/');
 } |
-
-Exp '%' Exp {
+Expr '%' Expr {
   $$ = gen_binop($1, $3, '%');
 } |
-
-Exp "/=" Exp {
+Expr "/=" Expr {
   $$ = gen_update($1, $3, '/');
 } |
-
-Exp SETMOD Exp {
+Expr SETMOD Expr {
   $$ = gen_update($1, $3, '%');
 } |
-
-Exp "==" Exp {
+Expr "==" Expr {
   $$ = gen_binop($1, $3, EQ);
 } |
-
-Exp "!=" Exp {
+Expr "!=" Expr {
   $$ = gen_binop($1, $3, NEQ);
 } |
-
-Exp '<' Exp {
+Expr '<' Expr {
   $$ = gen_binop($1, $3, '<');
 } |
-
-Exp '>' Exp {
+Expr '>' Expr {
   $$ = gen_binop($1, $3, '>');
 } |
-
-Exp "<=" Exp {
+Expr "<=" Expr {
   $$ = gen_binop($1, $3, LESSEQ);
 } |
-
-Exp ">=" Exp {
+Expr ">=" Expr {
   $$ = gen_binop($1, $3, GREATEREQ);
 } |
-
-Term {
+Term %prec NONOPT {
   $$ = $1;
 }
 
+
 Import:
 ImportWhat ';' {
   $$ = $1;
 } |
-ImportWhat Exp ';' {
+ImportWhat Query ';' {
   if (!block_is_const($2)) {
-    FAIL(@$, "Module metadata must be constant");
+    FAIL(@2, "Module metadata must be constant");
     $$ = gen_noop();
     block_free($1);
     block_free($2);
   } else if (block_const_kind($2) != JV_KIND_OBJECT) {
-    FAIL(@$, "Module metadata must be an object");
+    FAIL(@2, "Module metadata must be an object");
     $$ = gen_noop();
     block_free($1);
     block_free($2);
@@ -529,7 +464,7 @@ ImportWhat:
 ImportFrom:
 String {
   if (!block_is_const($1)) {
-    FAIL(@$, "Import path must be constant");
+    FAIL(@1, "Import path must be constant");
     $$ = gen_const(jv_string(""));
     block_free($1);
   } else {
@@ -538,12 +473,12 @@ String {
 }
 
 FuncDef:
-"def" IDENT ':' Exp ';' {
+"def" IDENT ':' Query ';' {
   $$ = gen_function(jv_string_value($2), gen_noop(), $4);
   jv_free($2);
 } |
 
-"def" IDENT '(' Params ')' ':' Exp ';' {
+"def" IDENT '(' Params ')' ':' Query ';' {
   $$ = gen_function(jv_string_value($2), $4, $7);
   jv_free($2);
 }
@@ -590,33 +525,22 @@ QQString:
 QQString QQSTRING_TEXT {
   $$ = gen_binop($1, gen_const($2), '+');
 } |
-QQString QQSTRING_INTERP_START Exp QQSTRING_INTERP_END {
+QQString QQSTRING_INTERP_START Query QQSTRING_INTERP_END {
   $$ = gen_binop($1, gen_format($3, jv_copy($<literal>0)), '+');
 }
 
 
 ElseBody:
-"elif" Exp "then" Exp ElseBody {
+"elif" Query "then" Query ElseBody {
   $$ = gen_cond($2, $4, $5);
 } |
-"else" Exp "end" {
+"else" Query "end" {
   $$ = $2;
 } |
 "end" {
   $$ = gen_noop();
 }
 
-ExpD:
-ExpD '|' ExpD {
-  $$ = block_join($1, $3);
-} |
-'-' ExpD {
-  $$ = BLOCK($2, gen_call("_negate", gen_noop()));
-} |
-Term {
-  $$ = $1;
-}
-
 
 Term:
 '.' {
@@ -671,16 +595,16 @@ Term '.' String %prec NONOPT {
   $$ = gen_noop();
 } |
 /* FIXME: string literals */
-Term '[' Exp ']' '?' {
+Term '[' Query ']' '?' {
   $$ = gen_index_opt($1, $3);
 } |
-Term '[' Exp ']' %prec NONOPT {
+Term '[' Query ']' %prec NONOPT {
   $$ = gen_index($1, $3);
 } |
-Term '.' '[' Exp ']' '?' {
+Term '.' '[' Query ']' '?' {
   $$ = gen_index_opt($1, $4);
 } |
-Term '.' '[' Exp ']' %prec NONOPT {
+Term '.' '[' Query ']' %prec NONOPT {
   $$ = gen_index($1, $4);
 } |
 Term '[' ']' '?' {
@@ -695,24 +619,27 @@ Term '.' '[' ']' '?' {
 Term '.' '[' ']' %prec NONOPT {
   $$ = block_join($1, gen_op_simple(EACH));
 } |
-Term '[' Exp ':' Exp ']' '?' {
+Term '[' Query ':' Query ']' '?' {
   $$ = gen_slice_index($1, $3, $5, INDEX_OPT);
 } |
-Term '[' Exp ':' ']' '?' {
+Term '[' Query ':' ']' '?' {
   $$ = gen_slice_index($1, $3, gen_const(jv_null()), INDEX_OPT);
 } |
-Term '[' ':' Exp ']' '?' {
+Term '[' ':' Query ']' '?' {
   $$ = gen_slice_index($1, gen_const(jv_null()), $4, INDEX_OPT);
 } |
-Term '[' Exp ':' Exp ']' %prec NONOPT {
+Term '[' Query ':' Query ']' %prec NONOPT {
   $$ = gen_slice_index($1, $3, $5, INDEX);
 } |
-Term '[' Exp ':' ']' %prec NONOPT {
+Term '[' Query ':' ']' %prec NONOPT {
   $$ = gen_slice_index($1, $3, gen_const(jv_null()), INDEX);
 } |
-Term '[' ':' Exp ']' %prec NONOPT {
+Term '[' ':' Query ']' %prec NONOPT {
   $$ = gen_slice_index($1, gen_const(jv_null()), $4, INDEX);
 } |
+Term '?' {
+  $$ = gen_try($1, gen_op_simple(BACKTRACK));
+} |
 LITERAL {
   $$ = gen_const($1);
 } |
@@ -722,22 +649,51 @@ String {
 FORMAT {
   $$ = gen_format(gen_noop(), $1);
 } |
-'(' Exp ')' {
+'-' Term {
+  $$ = BLOCK($2, gen_call("_negate", gen_noop()));
+} |
+'(' Query ')' {
   $$ = $2;
 } |
-'[' Exp ']' {
+'[' Query ']' {
   $$ = gen_collect($2);
 } |
 '[' ']' {
   $$ = gen_const(jv_array());
 } |
-'{' MkDict '}' {
+'{' DictPairs '}' {
   block o = gen_const_object($2);
   if (o.first != NULL)
     $$ = o;
   else
     $$ = BLOCK(gen_subexp(gen_const(jv_object())), $2, gen_op_simple(POP));
 } |
+"reduce" Expr "as" Patterns '(' Query ';' Query ')' {
+  $$ = gen_reduce($2, $4, $6, $8);
+} |
+"foreach" Expr "as" Patterns '(' Query ';' Query ';' Query ')' {
+  $$ = gen_foreach($2, $4, $6, $8, $10);
+} |
+"foreach" Expr "as" Patterns '(' Query ';' Query ')' {
+  $$ = gen_foreach($2, $4, $6, $8, gen_noop());
+} |
+"if" Query "then" Query ElseBody {
+  $$ = gen_cond($2, $4, $5);
+} |
+"if" Query "then" error {
+  FAIL(@$, "Possibly unterminated 'if' statement");
+  $$ = $2;
+} |
+"try" Expr "catch" Expr {
+  $$ = gen_try($2, $4);
+} |
+"try" Expr "catch" error {
+  FAIL(@$, "Possibly unterminated 'try' statement");
+  $$ = $2;
+} |
+"try" Expr {
+  $$ = gen_try($2, gen_op_simple(BACKTRACK));
+} |
 /*
  * This `$$$$varname` hack is strictly private to jq builtins.  DO NOT USE!!
  *
@@ -795,7 +751,7 @@ Args ';' Arg {
 }
 
 Arg:
-Exp {
+Query {
   $$ = gen_lambda($1);
 }
 
@@ -859,10 +815,10 @@ Keyword ':' Pattern {
 String ':' Pattern {
   $$ = gen_object_matcher($1, $3);
 } |
-'(' Exp ')' ':' Pattern {
+'(' Query ')' ':' Pattern {
   jv msg = check_object_key($2);
   if (jv_is_valid(msg)) {
-    FAIL(@$, jv_string_value(msg));
+    FAIL(@2, jv_string_value(msg));
   }
   jv_free(msg);
   $$ = gen_object_matcher($2, $5);
@@ -928,61 +884,73 @@ Keyword:
   $$ = jv_string("break");
 }
 
-MkDict:
+
+DictPairs:
 %empty {
-  $$=gen_noop();
+  $$ = gen_noop();
+} |
+DictPair {
+  $$ = $1;
 } |
- MkDictPair { $$ = $1; }
-| MkDictPair ',' MkDict { $$=block_join($1, $3); }
-| error ',' MkDict { $$ = $3; }
+DictPair ',' DictPairs {
+  $$ = block_join($1, $3);
+}
 
-MkDictPair:
-IDENT ':' ExpD {
+DictPair:
+IDENT ':' DictExpr {
   $$ = gen_dictpair(gen_const($1), $3);
- }
-| Keyword ':' ExpD {
+} |
+Keyword ':' DictExpr {
   $$ = gen_dictpair(gen_const($1), $3);
-  }
-| String ':' ExpD {
+} |
+String ':' DictExpr {
   $$ = gen_dictpair($1, $3);
-  }
-| String {
+} |
+String {
   $$ = gen_dictpair($1, BLOCK(gen_op_simple(POP), gen_op_simple(DUP2),
                               gen_op_simple(DUP2), gen_op_simple(INDEX)));
-  }
-| BINDING ':' ExpD {
+} |
+BINDING ':' DictExpr {
   $$ = gen_dictpair(gen_location(@$, locations, gen_op_unbound(LOADV, jv_string_value($1))),
                     $3);
   jv_free($1);
-  }
-| BINDING {
+} |
+BINDING {
   $$ = gen_dictpair(gen_const($1),
                     gen_location(@$, locations, gen_op_unbound(LOADV, jv_string_value($1))));
-  }
-| IDENT {
+} |
+IDENT {
   $$ = gen_dictpair(gen_const(jv_copy($1)),
                     gen_index(gen_noop(), gen_const($1)));
-  }
-| "$__loc__" {
+} |
+"$__loc__" {
   $$ = gen_dictpair(gen_const(jv_string("__loc__")),
                     gen_loc_object(&@$, locations));
-  }
-| Keyword {
+} |
+Keyword {
   $$ = gen_dictpair(gen_const(jv_copy($1)),
                     gen_index(gen_noop(), gen_const($1)));
-  }
-| '(' Exp ')' ':' ExpD {
+} |
+'(' Query ')' ':' DictExpr {
   jv msg = check_object_key($2);
   if (jv_is_valid(msg)) {
-    FAIL(@$, jv_string_value(msg));
+    FAIL(@2, jv_string_value(msg));
   }
   jv_free(msg);
   $$ = gen_dictpair($2, $5);
-  }
-| error ':' ExpD {
-  FAIL(@$, "May need parentheses around object key expression");
+} |
+error ':' DictExpr {
+  FAIL(@1, "May need parentheses around object key expression");
   $$ = $3;
-  }
+}
+
+DictExpr:
+DictExpr '|' DictExpr {
+  $$ = block_join($1, $3);
+} |
+Expr {
+  $$ = $1;
+}
 %%
 
 int jq_parse(struct locfile* locations, block* answer) {