@Override public void caseAOptionalType(AOptionalType type) throws AnalysisException { if (!type.getResolved()) { return; } else { type.setResolved(false); } // PTypeAssistantTC.unResolve(type.getType()); type.getType().apply(THIS); }
@Override public PType caseAOptionalType(AOptionalType type, Newquestion question) throws AnalysisException { if (type.getResolved()) { return type; } else { type.setResolved(true); } type.setType(af.createPTypeAssistant().typeResolve(type.getType(), question.root, question.rootVisitor, question.question)); if (question.root != null) { question.root.setInfinite(false); // Could be nil } return type; }