我试图弄清楚如何实现我的 LEParserCfgVisitor 类，以便从已使用 JavaCC 生成的抽象语法树构建控制流图。我知道已经存在一些工具，但我正在尝试这样做，为我的编译器期末考试做准备。
我知道我需要一个将图形保存在内存中的数据结构，并且我希望能够在每个节点中保留 IN、OUT、GEN、KILL 等属性，以便稍后能够进行控制流分析。
我的主要问题是，我还没有弄清楚如何将不同的块连接在一起，因为每个块之间的右边缘取决于它们的性质：分支、循环等。换句话说，我还没有找到明确的方法可以帮助我构建访客的算法。
这是我的空访客。您可以看到它适用于基本语言表达式，例如 if、while 和基本运算（+、-、x、^、...）
public class LEParserCfgVisitor implements LEParserVisitor
{
public Object visit(SimpleNode node, Object data) { return data; }
public Object visit(ASTProgram node, Object data) {
data = node.childrenAccept(this, data);
return data;
}
public Object visit(ASTBlock node, Object data) {
}
public Object visit(ASTStmt node, Object data) {
}
public Object visit(ASTAssignStmt node, Object data) {
}
public Object visit(ASTIOStmt node, Object data) {
}
public Object visit(ASTIfStmt node, Object data) {
}
public Object visit(ASTWhileStmt node, Object data) {
}
public Object visit(ASTExpr node, Object data) {
}
public Object visit(ASTAddExpr node, Object data) {
}
public Object visit(ASTFactExpr node, Object data) {
}
public Object visit(ASTMultExpr node, Object data) {
}
public Object visit(ASTPowerExpr node, Object data) {
}
public Object visit(ASTUnaryExpr node, Object data) {
}
public Object visit(ASTBasicExpr node, Object data) {
}
public Object visit(ASTFctExpr node, Object data) {
}
public Object visit(ASTRealValue node, Object data) {
}
public Object visit(ASTIntValue node, Object data) {
}
public Object visit(ASTIdentifier node, Object data) {
}
}
有人可以帮我吗？
Thanks!
