赋值和过程调用语句的语义分析 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)