Method typeCheck

src/chap14/TypeChecker.java:184–200

(TypeEnv tenv, TypeInfo target)

        protected TypeInfo.FunctionType funcType;
        public ArgumentsEx(List<ASTree> c) { super(c); }
        public TypeInfo typeCheck(TypeEnv tenv, TypeInfo target)
            throws TypeException
        {
            if (!(target instanceof TypeInfo.FunctionType))
                throw new TypeException("bad function", this);
            funcType = (TypeInfo.FunctionType)target;
            TypeInfo[] params = funcType.parameterTypes;
            if (size() != params.length)
                throw new TypeException("bad number of arguments", this);
            argTypes = new TypeInfo[params.length];
            int num = 0;
            for (ASTree a: this) {
                TypeInfo t = argTypes[num] = ((ASTreeTypeEx)a).typeCheck(tenv);
                t.assertSubtypeOf(params[num++], tenv, this);
            }
            return funcType.returnType;
        }
    }
    @Reviser public static class VarStmntEx2 extends TypedEvaluator.VarStmntEx {
        protected TypeInfo varType, valueType;