Method typeCheck

src/chap14/TypeChecker.java:205–213

(TypeEnv tenv)

        protected TypeInfo varType, valueType;
        public VarStmntEx2(List<ASTree> c) { super(c); }
        public TypeInfo typeCheck(TypeEnv tenv) throws TypeException {
            if (tenv.get(0, index) != null)
                throw new TypeException("duplicate variable: " + name(), this);
            varType = TypeInfo.get(type());
            tenv.put(0, index, varType);
            valueType = ((ASTreeTypeEx)initializer()).typeCheck(tenv);
            valueType.assertSubtypeOf(varType, tenv, this);
            return varType;
        }
    }
}