@Override public void caseAFunctionType(AFunctionType type) throws AnalysisException { if (!type.getResolved()) { return; } else { type.setResolved(false); } for (PType ft : type.getParameters()) { ft.apply(THIS); } type.getResult().apply(THIS); }
throws AnalysisException if (type.getResolved())