赋值和过程调用语句的语义分析 Var id: = E 查符号表;是否有声明? mankind 检查Type(E)? Varid. typer ◇卩(日1e 查符号表;是否有声明? routkind? ParamT Para: Formkind e.Kind ParamT Para; FormType e; Type n? Length( Param)赋值和过程调用语句的语义分析 ❖ Varid:= E: 查符号表；是否有声明？ varKind ? 检查Type(E)? Varid.tyPtr ❖ p(e1…en): 查符号表；是否有声明？ routKind? Param.Parai.Formkind ? ei.Kind Param.Parai.FormType ? ei.Type n？Length（Param）