ANTLR4前端开发
🎯 垂直职责
单一职责: ANTLR4语法设计、词法/语法分析、AST构建、访问者模式
📦 核心能力
- 语法文件开发
-
位置: ep20/src/main/antlr4/org/teachfx/antlr4/ep20/parser/Cymbol.g4
-
语法结构: lexer规则 → parser规则 → AST构建
-
重新生成: mvn generate-sources -pl ep20
- AST节点实现
-
基类: ASTNode.java (位于 ep20/src/main/java/org/teachfx/antlr4/ep20/ast/ )
-
模式: 访问者模式 accept(ASTVisitor<T>)
-
扩展: 创建新节点继承 ExprNode / StmtNode
- 访问者模式
// 新节点标准实现 public class NewStmtNode extends StmtNode { private final Type field;
public NewStmtNode(Type field) {
this.field = field;
}
@Override
public <T> T accept(ASTVisitor<T> visitor) {
return visitor.visitNewStmt(this);
}
}
🔗 关系图
→ ep-navigator (识别EP范围) ← compiler-dev (AST → IR转换)
🚀 快速开始
添加新语法特性
1. 编辑 Cymbol.g4
vim ep20/src/main/antlr4/.../parser/Cymbol.g4
2. 重新生成解析器
mvn generate-sources -pl ep20
3. 创建AST节点
vim ep20/src/main/java/.../ast/NewNode.java
4. 更新AST构建器
vim ep20/src/main/java/.../pass/ast/CymbolASTBuilder.java
5. 测试
mvn test -pl ep20 -Dtest="*ParserTest"
调试语法冲突
使用TestRig可视化语法树
java -cp "antlr-4.13.2-complete.jar:ep20/target/classes"
org.antlr.v4.gui.TestRig Cymbol file -gui test.cymbol
诊断冲突
mvn generate-sources -pl ep20 -Xantlr4.show-dfa
📚 Cymbol语法速查
类型 规则 示例
变量声明 declaration
int x;
函数定义 functionDef
int add(int a, int b) { ... }
结构体 structDef
struct Point { int x; int y; }
数组 type '[' expr? ']'
int[10] arr;
控制流 ifStmt / whileStmt
if (x > 0) { ... }
🛠️ 常用命令
语法相关
mvn generate-sources -pl ep20 # 重新生成解析器 mvn test -pl ep20 -Dtest="Lexer" # 测试词法 mvn test -pl ep20 -Dtest="Parser" # 测试语法
AST相关
mvn test -pl ep20 -Dtest="AST" # 测试AST构建 mvn test -pl ep20 -Dtest="Visitor" # 测试访问者
完整前端
mvn compile -pl ep20 && mvn test -pl ep20 # 编译并测试前端
⚠️ 常见问题
问题 原因 解决方案
语法冲突 左递归/歧义 重构规则，使用语义谓词
AST未生成 忘记运行generate-sources mvn generate-sources -pl ep20
访问者空指针 新节点未实现accept() 添加 accept(ASTVisitor<T>)
版本: v1.0 | 垂直职责: ANTLR4前端 | 2025-12-23