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