parsing - YACC| Bison :How do I manipulate parse tree?

Question

我的应用程序的目标是验证 sql 代码并同时从该代码生成经过一些修改的格式化代码。
例如这个 where 子句:

where
e.student_name= c.contact_name and ( c.address = " nefta" or c.address=" tozeur ") and
e.age <18

我们将有类似这样的格式化输出:

where e.student_name= c.contact_name
and (c.address=trim("nefta")
or c.address=trim("tozeur") )
and e.age <18

我希望我已经很好地解释了我的目标

---

问题是语法可能包含递归规则，这使得重写任务不可靠；例如在我的 sql 语法中我有这个:

search_condition         : search_condition OR search_condition{clbck_or}                         | search_condition AND search_condition{clbck_and}                         | NOT search_condition {clbck_not}                         | '(' search_condition ')'{clbck__}                         | predicate {clbck_pre}                         ;

知道我指定了一个precedence优先级来解决shift reduce问题

%left OR
%left AND
%left NOT

回到上一个例子；我的子句 where 将以这种方式使用:

c.address="nefta"or c.address="tozeur" -> search_condition
(c.address="nefta"or c.address="tozeur")->search_condition
e.student_name= c.contact_name and (c.address="nefta"or c.address="tozeur")-> search_condition
... and e.age<18-> search_condition

顺便说一句，你可以理解，由于顺序不一样，很难重建引用每次减少触发的回调的输入流。

对这个问题有什么帮助吗？

Answer 1

您的问题有点含糊，所以我猜您实际上是在 clbck_or () 等中打印。wildplasser 提到的“常见”方式是使用“语义值” “， 一世。 e. (未经测试):

search_condition         : search_condition OR search_condition{$$ = clbck_or($1, $3);}
                         | search_condition AND search_condition{$$ = clbck_and($1, $3);}
                         | NOT search_condition {$$ = clbck_not($2);}
                         | '(' search_condition ')'{$$ = clbck__($2);}
                         | predicate {$$ = clbck_pre($1);}
                         ;

如果您使用的是 Bison，手册中的“中缀表示法计算器:‘calc’”部分有一个很好的示例。对于字符串和 C，您将不得不添加一些内存处理。