Mini Java编译器（三）——属性翻译文法

　　三、属性翻译文法
变量声明（declaration）
<VarDeclaration> ::= <Type>↑var_type,var_size<Idetifier>↑id_name

@varDeclaration↓var_type,var_size,id_name

@varAllocation↓var_size

<Type> ↑var_type,var_size ::= <ArrayType>↑var_type,var_size

<BooleanType>↑var_type,var_size

<IntegerType>↑var_type,var_size

<Identifier>↑var_type,var_size

变量赋值（assignment）
<AssignmentStatement> ::= <Identifier>↑id_name,id_type

“=”

<EXPression>↑exp_type,exp_value

“;”

@checkType↓id_type,exp_type

@insertIntoTable↓id_name,id_type.exp_value

<Expression>↑exp_type,exp_value ::= <AndExpression>↑exp_type,exp_value

<CompareExpression>↑exp_type,exp_value

<PlusExpression>↑exp_type,exp_value

<MinusExpression>↑exp_type,exp_value

<TimesExpression>↑exp_type,exp_value

<ArrayLookup>↑exp_type,exp_value

<ArrayLength>↑exp_type,exp_value

<MessageSend>↑exp_type,exp_value

<PrimaryExpression>↑exp_type,exp_value

<PrimaryExpression>↑exp_type,exp_value ::= <IntegerLiteral>↑exp_type,exp_value

<TrueLiteral>↑exp_type,exp_value

<FalseLiteral>↑exp_type,exp_value

<Identifier>↑exp_type,exp_value