快精灵印艺坊 您身边的文印专家
广州名片 深圳名片 会员卡 贵宾卡 印刷 设计教程
产品展示 在线订购 会员中心 产品模板 设计指南 在线编辑
 首页 名片设计   CorelDRAW   Illustrator   AuotoCAD   Painter   其他软件   Photoshop   Fireworks   Flash  

 » 彩色名片
 » PVC卡
 » 彩色磁性卡
 » 彩页/画册
 » 个性印务
 » 彩色不干胶
 » 明信片
   » 明信片
   » 彩色书签
   » 门挂
 » 其他产品与服务
   » 创业锦囊
   » 办公用品
     » 信封、信纸
     » 便签纸、斜面纸砖
     » 无碳复印纸
   » 海报
   » 大篇幅印刷
     » KT板
     » 海报
     » 横幅

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”属性内容




无(分析时以文件为单位)

方式
类名

类变量
类名

方式内变量
方式名

参数
方式名












返回类别: 教程
上一教程: Java 理论和实践:那是您的最终答案吗?
下一教程: 一个stmt多个rs进行操作引起的ResultSet已经关闭错误

您可以阅读与"Mini Java编译器(三)"相关的教程:
· Mini Java编译器(六)
· Mini Java编译器(四)
· Mini Java编译器(三)??属性翻译文法
· Mini Java编译器(二)
· Mini Java编译器(一)
    微笑服务 优质保证 索取样品