三、属性翻译文法

变量声明（declaration）

::= ↑var_type,var_size↑id_name

@varDeclaration↓var_type,var_size,id_name

@varAllocation↓var_size

↑var_type,var_size ::= ↑var_type,var_size

|↑var_type,var_size

|↑var_type,var_size

|↑var_type,var_size

变量赋值（assignment）

::= ↑id_name,id_type

“=”

↑exp_type,exp_value

“;”

@checkType↓id_type,exp_type

@insertIntoTable↓id_name,id_type.exp_value

↑exp_type,exp_value ::= ↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

↑exp_type,exp_value ::= ↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

|↑exp_type,exp_value

（待续）