private ATupleTypeIR consTupleType(ATuplePatternIR pat) { ATupleTypeIR type = new ATupleTypeIR(); if(pat != null) { for(SPatternIR p : pat.getPatterns()) { type.getTypes().add(consType(p)); } } return type; }
/** * Called by the {@link ATuplePatternIR} node from {@link ATuplePatternIR#apply(IAnalysis)}. * @param node the calling {@link ATuplePatternIR} node */ public void caseATuplePatternIR(ATuplePatternIR node) throws AnalysisException { _visitedNodes.add(node); inATuplePatternIR(node); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outATuplePatternIR(node); }
/** * Called by the {@link ATuplePatternIR} node from {@link ATuplePatternIR#apply(IIsaAnalysis)}. * @param node the calling {@link ATuplePatternIR} node */ public void caseATuplePatternIR(ATuplePatternIR node) throws AnalysisException { _visitedNodes.add(node); inATuplePatternIR(node); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outATuplePatternIR(node); }
/** * Called by the {@link ATuplePatternIR} node from {@link ATuplePatternIR#apply(IAnalysis)}. * @param node the calling {@link ATuplePatternIR} node */ public void caseATuplePatternIR(ATuplePatternIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inATuplePatternIR(node, question); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outATuplePatternIR(node, question); }
if (tupType.getTypes().size() == node.getPatterns().size()) for (int i = 0; i < node.getPatterns().size(); i++) SPatternIR p = node.getPatterns().get(i); STypeIR t = tupType.getTypes().get(i);
if (nextTupleType.getTypes().size() == tuplePattern.getPatterns().size()) } else for (int i = 0; i < tuplePattern.getPatterns().size(); i++)
@Override public SPatternIR caseATuplePattern(ATuplePattern node, IRInfo question) throws AnalysisException { ATuplePatternIR tuplePatternCg = new ATuplePatternIR(); for (PPattern currentPattern : node.getPlist()) { SPatternIR patternCg = currentPattern.apply(question.getPatternVisitor(), question); if (patternCg != null) { tuplePatternCg.getPatterns().add(patternCg); } else { return null; } } return tuplePatternCg; }
/** * Called by the {@link ATuplePatternIR} node from {@link ATuplePatternIR#apply(IAnalysis)}. * @param node the calling {@link ATuplePatternIR} node */ public A caseATuplePatternIR(ATuplePatternIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inATuplePatternIR(node, question)); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this, question)); } } } mergeReturns(retVal,outATuplePatternIR(node, question)); return retVal; }
/** * Called by the {@link ATuplePatternIR} node from {@link ATuplePatternIR#apply(IAnalysis)}. * @param node the calling {@link ATuplePatternIR} node */ public A caseATuplePatternIR(ATuplePatternIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inATuplePatternIR(node)); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this)); } } } mergeReturns(retVal,outATuplePatternIR(node)); return retVal; }
initSuccessVar(patternData, tupleCheck, tuplePatternBlock); LinkedList<SPatternIR> patterns = tuplePattern.getPatterns(); LinkedList<STypeIR> types = tupleType.getTypes();