@Override public void caseAMapUnionPattern(AMapUnionPattern pattern) throws AnalysisException { pattern.getLeft().apply(THIS); pattern.getRight().apply(THIS); pattern.setResolved(false); }
@Override public void caseAMapUnionPattern(AMapUnionPattern pattern, NewQuestion question) throws AnalysisException { if (pattern.getResolved()) { return; } else { pattern.setResolved(true); } try { pattern.getLeft().apply(THIS, question); pattern.getRight().apply(THIS, question); } catch (TypeCheckException e) { // af.createAMapUnionPatternAssistant().unResolve(pattern); pattern.apply(af.getPatternUnresolver()); throw e; } }