Method typeCheck

src/chap14/TypeChecker.java:97–103

(TypeEnv tenv)

        TypeInfo type;
        public BlockEx(List<ASTree> c) { super(c); }
        public TypeInfo typeCheck(TypeEnv tenv) throws TypeException {
            type = TypeInfo.INT;
            for (ASTree t: this)
                if (!(t instanceof NullStmnt))
                    type = ((ASTreeTypeEx)t).typeCheck(tenv);
            return type;
        }
    }
    @Reviser public static class IfEx extends IfStmnt {
        public IfEx(List<ASTree> c) { super(c); }