作者：未知 来源：月光软件站 加入时间：2005-2-28　月光软件站

三、属性翻译文法

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

                                                              |<Expression>_{↑exp_type,exp_value}

                                                              |<ArrayAllocationExpression>_{↑exp_type,exp_value}

                                                              |<AllocationExpression>_{↑exp_type,exp_value}

                                                              |<NotExpression>_{↑exp_type,exp_value}

                                                              |<BracketExpression>_{↑exp_type,exp_value}

（待续）

相关软件：