中国IT动力,最新最全的IT技术教程

最新100篇 | 推荐100篇 | 专题100篇 | 排行榜 | 搜索 | 在线API文档

当前位置：> 程序开发 > 编程语言 > Java > 综合文章

Mini Java编译器（三）

作者:未知时间:2005-07-27 22:32 出处:CSDN 责编:chinaitpower

摘要：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}

( <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}

( <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>}

赋值语句（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

三、属性翻译文法

主类声明（MainClass）

类声明（ClassDeclaration）

类继承声明（ClassExtendsDeclaration）

变量声明（VarDeclaration）

方法声明（MethodDeclaration）

赋值语句（AssignmentStatement）

数组元素赋值语句（ArrayAssignmentStatement）

if语句（IfStatement）

while语句（WhileStatemen）

打印语句（PrintStatement）

属性及动作解释

动作

属性