java语言生成语法分析_GitHub - Kherrisan/DokymeYacc: 一个基于Java语言编写的语法分析器代码的生成程序，模仿Yacc程序的需求功能设计并完成。...

DokymeYacc——语法分析器&语义分析器自动生成程序

lines:

java 1178

.dokycc文件结构

终结符声明段

每行一个终结符，必须与词法分析输出的token文件中的每个token的类型相同(也就是说你必须要用dokymelex生成的词法分析器进行词法分析，否则的话格式不正确这个是用不了的。此乃捆绑销售)。

token示例

终结符声明段示例：

ID

MULTIPLY

ASSIGN

开始符声明段

声明一系列产生式的开始符。

START

全局变量声明段

以java成员变量的语法声明在语法分析过程中全局可见的变量，用于辅助语法分析或制导翻译，比如一个新的输出文件句柄，或者一个计数器变量。

private int counter;

语法规则段

语法制导翻译规则在{ }内，使用java函数体的语法进行编写，允许跨行写。如果某个非终结符有多个产生式并列，则要写多个推导规则。不允许使用形如标准yacc文件中的 | 并列多个推导规则。

翻译规则采用类似Java语言的语法进行编写。产生式左侧的非终结符用left来引用，右侧的非终结符用right[i]来引用。

SDT规则约定：

每个符号属性的类型由用户决定，但属性的名称必须包含其类型信息，具体为该属性的前缀反映自己的类型。

如：i代表int，b代表boolean，str代表string，ch代表char。如果没有出现上述前缀，按照string处理。

产生式左侧的符号由left引用，右侧的符号由相应符号引用。

expression:assignment_expression

{

left.ivalue = assignment_expression.ivalue;

}

expression:expression ',' assignment_expression

{

counter++;

}

程序段

以定义java成员函数的语法编写，在这里定义的函数可以在SDT规则中调用，可以实现带参数的方法。

默认提供一个main方法。

public static void main(String[] args) {

Parser parser = new Parser();

parser.parseCmdArgs(args);

parser.run();

}

一个完整的.dokycc文件结构

假设有如下CFG，没有语法制导翻译的要求：

S->L=R

S->R

L->*R

L->i

R->L

则.dokycc文件如下：

ID

MULTIPLY

ASSIGN

%%

START

%%

%%

START:LEFT ASSIGN RIGHT

START:RIGHT

LEFT:MULTIPLY RIGHT

LEFT:ID

RIGHT:LEFT

%%

public static void main(String[] args) {

Parser parser = new Parser();

parser.parseCmdArgs(args);

parser.run();

}