Method typeCheckForAssign

src/chap14/TypeChecker.java:83–92

(TypeEnv tenv)

            }
        }
        protected TypeInfo typeCheckForAssign(TypeEnv tenv)
            throws TypeException
        {
            rightType = ((ASTreeTypeEx)right()).typeCheck(tenv);
            ASTree le = left();
            if (le instanceof Name)
                return ((NameEx2)le).typeCheckForAssign(tenv, rightType);
            else
                throw new TypeException("bad assignment", this);
        }
    }
    @Reviser public static class BlockEx extends BlockStmnt {
        TypeInfo type;