三、属性翻译文法

变量声明（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>