@Override public void caseANamedInvariantType(ANamedInvariantType type) throws AnalysisException { if (!type.getResolved()) { return; } else { type.setResolved(false); } // PTypeAssistantTC.unResolve(type.getType()); type.getType().apply(THIS); }
@Override public PType caseANamedInvariantType(ANamedInvariantType type, Newquestion question) throws AnalysisException { if (type.getResolved()) { return type; } else { type.setResolved(true); } try { type.setType(af.createPTypeAssistant().typeResolve(type.getType(), question.root, question.rootVisitor, question.question)); return type; } catch (TypeCheckException e) { af.createPTypeAssistant().unResolve(type); throw e; } }