Mini Java编译器（三）

三、属性翻译文法

主类声明（MainClass）

<MainClass>    ::=      "class" <Identifier>_{↑<id_name1>}

                                                      @fillMemory_{↓<id_name1>↑<id_address>}

                                                      @fillTable_{↓<id_name1>,<id_address>}

                                                  @fillTree_{↓<id_name1>}

                               "{" "public" "static" "void" "main" "(" "String" "[" "]"

                                <Identifier>_{↑<id_name2>,<id_belongsTo>=<id_name1>,<id_type>=StringArrayType}

                                @fillTable_{↓<id_name2>,<id_belongsTo>}

                               "{" <PrintStatement> "}" "}"

 

类声明（ClassDeclaration）

<ClassDeclaration>      ::=      "class" <Identifier>_{↑<id_name>}

                                           @checkTable_{↓<id_name>}

                                           @fillMemory_{↓<id_name1>↑<id_address>}

                                           @fillTable_{↓<id_name>,<id_address>}

                                                                        @fillTree_{↓<node_name>=<id_name>}

                                                                        "{" ( VarDeclaration )* ( MethodDeclaration )* "}"

 

类继承声明（ClassExtendsDeclaration）

<ClassExtendsDeclaration>      ::=      "class" <Identifier>_{↑<id_name1>}

                                                                                          @checkTable_{↓<id_name1>}

                                                                                          "extends" <Identifier>_{↑<id_name2>}

                                                                                          @checkTree_{↓<id_name2>}

                                                                                          @fillMemory_{↓<id_name1>↑<id_address>}

                                                      @fillTable_{↓<id_name1>,<id_name2>,<id_address>}

                                                                                          @fillTree_{↓<child_name>=<id_name1>,<parent_name>=<id_name2>}

                                                                                          "{" ( VarDeclaration )* ( MethodDeclaration )* "}"

 

变量声明（VarDeclaration）

<VarDeclaration>   ::=      <Type>_{↑<id_type>}

                                                               <Idetifier>_{↑<id_name>,<id_belongsTo>} “;”

                                                               @checkTable_{↓<id_name>,<id_belongsTo>}

                                      @fillMemory_{↓<id_name>↑<id_address>}

                                                               @fillTable_{↓<id_name>,<id_type>,<id_belongsTo>,<address>}

 

<Type>_{↑<id_type>} ::=      <ArrayType>_{↑<id_type>=ArrayType}

                                      |<BooleanType>_{↑<id_type>=BooleanType}

                                      |<IntegerType>_{↑<id_type>=IntegerType}

 

<VarDeclaration>   ::=      <Type>_{↑<id_type>=ObjectType}

                                      @checkTable_{↓<id_type>}

                                                               <Idetifier>_{↑<id_name>,<id_belongsTo>} “;”

                                                               @checkTable_{↓<id_name>,<id_belongsTo>}

                                                               @fillTable_{↓<id_name>,<id_type>,<id_belongsTo>}

 

方法声明（MethodDeclaration）

<MethodDeclaration>         ::=      "public" <Type>_{↑<id_type>}

                                                <Identifier>_{↑<id_name>,<id_belongsTo>}

                                                                                 @checkTable_{↓<id_name>,<id_belongsTo>}

                                                 @fillMemory_{↓<id_name>↑<id_address>}

                                                                                 @fillTable_{↓<id_name>,<id_type>,<id_belongsTo>,<id_address>}

                                                "(" ( <FormalParameterList> )? ")"

                                                 "{" ( <VarDeclaration> )* ( <Statement> )* "return"

                                                 <Expression>_{↑<exp_type>,<exp_value>}

                                                                                 @checkType_{↓<id_type>,<exp_type>} ";" "}"

 

<Type>_{↑<id_type>}                   ::=      <ArrayType>_{↑<id_type>=ArrayType}

                                                 |<BooleanType>_{↑<id_type>=BooleanType}

                                                 |<IntegerType>_{↑<id_type>=IntegerType}

 

<FormalParameterList>      ::=      <FormalParameter>

                                                 ( <FormalParameterRest> )*

 

<FormalParameter>          ::=      <Type>_{↑<id_type>}

                                                 <Identifier>_{↑<id_name>,<id_belongsTo>}

                                                 @checkTable_{↓<id_name>,<id_belongsTo>}

                                                                                 @fillTable_{↓<id_name>,<id_type>}

 

<MethodDeclaration>         ::=      "public" <Type>_{↑<id_type>=ObjectType}

                                                 @checkTable_{↓<id_type>}

                                                 <Identifier>_{↑<id_name>,<id_belongsTo>}

                                                                                 @checkTable_{↓<id_name>,<id_belongsTo>}

                                                 @fillMemory_{↓<id_name>↑<id_address>}

                                                                                 @fillTable_{↓<id_name>,<id_type>,<id_belongsTo>,<id_address>}

                                                 "(" ( <FormalParameterList> )? ")"

                                                 "{" ( <VarDeclaration> )* ( <Statement> )* "return"

                                                 <Expression>_{↑<exp_type>,<exp_value>}

                                                                                 @checkType_{↓<id_type>,<exp_type>} ";" "}"

 

<Type>_{↑<id_type>}                   ::=      <ArrayType>_{↑<id_type>=ArrayType}

                                                 |<BooleanType>_{↑<id_type>=BooleanType}

                                                 |<IntegerType>_{↑<id_type>=IntegerType}

 

<FormalParameterList>      ::=      <FormalParameter>

                                                ( <FormalParameterRest> )*

 

<FormalParameter>          ::=      <Type>_{↑<id_type>=ObjectType}

                                                 @checkTable_{↓<id_type>}

                                                 <Identifier>_{↑<id_name>,<id_belongsTo>}

                                                 @checkTable_{↓<id_name>,<id_belongsTo>}

                                                                                 @fillMemory_{↓<id_name>↑<id_address>}

                                                                                 @fillTable_{↓<id_name>,<id_type>,<id_address>}

 

<FormalParameterRest>    ::=      "," <FormalParameter>

 

赋值语句（AssignmentStatement）

<AssignmentStatement>    ::=      <Identifier>_{↑id_name} @checkTable_{↓<id_name>↑<id_type>}

                                                 “=” <Expression>_{↑<exp_type>,<exp_value>} “;”

                                                 @checkType_{↓<id_type>,<exp_type>}

                                                                                 @generateCode_{↓<stmt_type>=stmt_assign,<extra_para>}

 

数组元素赋值语句（ArrayAssignmentStatement）

<ArrayAssignmentStatement>  ::= <Identifier>_{↑<id_name>} @checkTable_{↓<id_name>↑<id_type>}

                                                 @checkType_{↓<id_type>,ArrayType}

                                                 "[" <Expression>_{↑<exp_type1>,<exp_value1>}

                                                 @checkType_{↓<exp_type1>,IntegerType}

                                                 "]" "=" <Expression>_{↑<exp_type2>,<exp_value2>}

                                                 @checkType_{↓<exp_type2>,IntegerType} ";"

                                                 @generateCode_{↓<stmt_type>=stmt_array_assign,<extra_para>}

 

if语句（IfStatement）

<IfStatement>       :=       "if" "(" <Expression>_{↑<exp_type>,<exp_value>}

                                      @checkType_{↓<exp_type>,BooleanType}

                                      ")" <Statement> "else" <Statement>

                                      @generateCode_{↓<stmt_type>=stmt_if,<extra_para>}

 

while语句（WhileStatemen）

<WhileStatement>       ::=      "while" "(" <Expression>_{↑<exp_type>,<exp_value>}

                                           @checkType_{↓<exp_type>,BooleanType}

                                           ")" <Statement>

                                           @generateCode_{↓<stmt_type>=stmt_while,<extra_para>}

 

打印语句（PrintStatement）

<PrintStatement>   ::=      "System.out.println" "("

                                      <Expression>_{↑<exp_type>,<exp_value>}

                                      @checkType_{↓<exp_type>,IntegerType}

                                                               ")" ";"

                                      @generateCode_{↓<stmt_type>=stmt_print,<extra_para>}

 

属性及动作解释

动作

动作	作用
@checkTable↓<id_name>,<id_level>	检查标识符的合法性（遍历符号表）
@checkTable↓<class_name>	检查类名是否已声明
@checkTable↓<id_name>↑<id_type>	检查变量是否已声明，若已声明返回变量类型
@checkTable↓<id_type>	检查类型是否已声明
@fillTable↓<id_name1>,<id_address>	将标识符插入符号表
@fillTable↓<child_name>,<parent_name>,<id_address>	将子类插入符号表，同时复制父类的方法和类变量至子类
@fillTable↓<id_name>,<id_belongsTo>	将标识符插入符号表
@fillTable↓<id_name>,<id_sort>,<id_level>,<id_type>	将标识符插入符号表
@fillMemory↓<id_name>↑<id_address>	登记内存，返回地址
@generateCode↓<stmt_type>,<extra_para>	生成伪代码
@checkType↓<child_name>,<parent_name>	检查类型合法性（遍历继承树、符号表）
@checkType↓<id_type>,<exp_type>	检查变量类型与表达式类型是否匹配
@checkTree↓<child_name>,<parent_name>	检查child_name是否是parent_name的子类（遍历继承树）
@checkTree↓<class_name>	检查child_name是否已存在于继承树内
@fillTree↓<child_name>,<parent_name>	将child_name插入继承树中parent_name下
@fillTree↓<node_name>	将node_name插入继承树中（父类为Object）

 

属性

属性	数据类型（针对Java语言）	含义
id_name	String	标识符名称
id_level	int	标识符的层次结构
id_belongsTo	String	所属层次名称，（见附表）
id_address	int	内存地址
stmt_type	int	操作类型（见附表）
class_name	String	类名
extra_para	Object	附加参数
child_name	String	子类名称
parent_name	String	父类名称
class_name	String	类名
id_type	compiler.type.Type	变量类型类型（见附表）
para_list	java.util.List	参数表
exp_value	int或boolean或任何程序中已定义的对象类型	表达式值
exp_type	compiler.type.Type	表达式类型

 

符号表结构

名称	数据类型（针对Java语言）	含义
name	String	标识符名称
sort	String	标识符类别
type	compiler.type.Type	变量类型
belongsTo	String	归属信息（见附表）
address	int	存储地址

 

内存分配表结构

名称	数据类型（针对Java语言）	含义
address	int	标识符地址
sort	String	标识符类别
name	String	标识符名称
value	Object	标识符值

 

附表

stmt_type

名称	值	含义
stmt_assign	1	赋值语句
stmt_array_assign	2	数组元素赋值语句
stmt_if	3	if语句
stmt_while	4	while语句
stmt_print	5	打印语句

 

id_type

类	含义	size（字长（bytes））
ArrayType	整型数组类型	4
BooleanType	布尔类型	1
IntegerType	整型类型	4
ObjectType	对象类型	不确定
NonVariableType	非变量	0

 

id_belongsTo

标识符类型	“belongsTo”属性内容
类	无（分析时以文件为单位）
方法	类名
类变量	类名
方法内变量	方法名
参数	方法名