public override void SecondSemanticCheck(List <SemanticError> errors, Scope scope) { RightExpression.SecondSemanticCheck(errors, scope); if (!scope.IsDefined(Id.Text, out SemanticCheck.Type type)) { errors.Add(new SemanticError(Line, Column, TypeError.ClassNotDefine)); } if (!(RightExpression.StaticType <= type)) { errors.Add(new SemanticError(Line, Column, TypeError.InconsistentType)); } StaticType = RightExpression.StaticType; }