/** * Called by the {@link ASetMultipleBindIR} node from {@link ASetMultipleBindIR#apply(IAnalysis)}. * @param node the calling {@link ASetMultipleBindIR} node */ public void caseASetMultipleBindIR(ASetMultipleBindIR node) throws AnalysisException { _visitedNodes.add(node); inASetMultipleBindIR(node); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } if(node.getSet() != null && !_visitedNodes.contains(node.getSet())) { node.getSet().apply(this); } outASetMultipleBindIR(node); }
/** * Returns a deep clone of this {@link ASetMultipleBindIR} node. * @return a deep clone of this {@link ASetMultipleBindIR} node */ public ASetMultipleBindIR clone() { return new ASetMultipleBindIR( _sourceNode, _tag, _metaData, cloneList(_patterns), cloneNode(_set) ); }
public void cleanUpBinding(SMultipleBindIR binding) { if (binding instanceof ASetMultipleBindIR) { ASetMultipleBindIR sb = (ASetMultipleBindIR) binding; sb.setSet(null); sb.getPatterns().clear(); } else if (binding instanceof ASeqMultipleBindIR) { ASeqMultipleBindIR sb = (ASeqMultipleBindIR) binding; sb.setSeq(null); sb.getPatterns().clear(); } else { log.error("Expected multiple set bind or multiple sequence bind. Got: " + binding); } }
ASetMultipleBindIR multipleSetBind = new ASetMultipleBindIR(); multipleSetBind.getPatterns().add(bind.getPattern()); multipleSetBind.setSet(setBind.getSet());
private SExpIR getCol(SMultipleBindIR binding) { if(binding instanceof ASetMultipleBindIR) { return ((ASetMultipleBindIR) binding).getSet(); } else if(binding instanceof ASeqMultipleBindIR) { return ((ASeqMultipleBindIR) binding).getSeq(); } return null; }
@Override public SMultipleBindIR caseASetMultipleBind(ASetMultipleBind node, IRInfo question) throws AnalysisException { List<PPattern> patterns = node.getPlist(); PExp set = node.getSet(); LinkedList<SPatternIR> patternsCg = new LinkedList<SPatternIR>(); for (PPattern pattern : patterns) { SPatternIR patternTempCg = pattern.apply(question.getPatternVisitor(), question); if (patternTempCg != null) { patternsCg.add(patternTempCg); } else { return null; } } SExpIR setCg = set.apply(question.getExpVisitor(), question); ASetMultipleBindIR multipleSetBind = new ASetMultipleBindIR(); multipleSetBind.setPatterns(patternsCg); multipleSetBind.setSet(setCg); return multipleSetBind; }
/** * Called by the {@link ALetBeStBindingTraceDeclIR} node from {@link ALetBeStBindingTraceDeclIR#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDeclIR} node */ public void caseALetBeStBindingTraceDeclIR(ALetBeStBindingTraceDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inALetBeStBindingTraceDeclIR(node, question); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this, question); } if(node.getStExp() != null && !_visitedNodes.contains(node.getStExp())) { node.getStExp().apply(this, question); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { node.getBody().apply(this, question); } outALetBeStBindingTraceDeclIR(node, question); }
/** * Creates a new complete constructor {@code ASetMultipleBindIR} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param set_ the {@link SExpIR} node for the {@code set} child of this {@link ASetMultipleBindIR} node */ public ASetMultipleBindIR(SourceNode sourceNode_, Object tag_, List<? extends ClonableString> metaData_, List<? extends SPatternIR> patterns_, SExpIR set_) { super(sourceNode_,tag_,metaData_,patterns_); this.setSet(set_); }
/** * Sets the {@code _bind} child of this {@link ALetBeStBindingTraceDeclIR} node. * @param value the new {@code _bind} child of this {@link ALetBeStBindingTraceDeclIR} node */ public void setBind(ASetMultipleBindIR value) { if (this._bind != null) { this._bind.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._bind = value; }
private SExpIR getCol(SMultipleBindIR binding) { if (binding instanceof ASetMultipleBindIR) { return ((ASetMultipleBindIR) binding).getSet(); } else if (binding instanceof ASeqMultipleBindIR) { return ((ASeqMultipleBindIR) binding).getSeq(); } else { log.error("Expected multiple set bind or multiple sequence bind. Got: " + binding); return null; } } }
/** * Called by the {@link ALetBeStBindingTraceDeclIR} node from {@link ALetBeStBindingTraceDeclIR#apply(IIsaAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDeclIR} node */ public void caseALetBeStBindingTraceDeclIR(ALetBeStBindingTraceDeclIR node) throws AnalysisException { _visitedNodes.add(node); inALetBeStBindingTraceDeclIR(node); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getStExp() != null && !_visitedNodes.contains(node.getStExp())) { node.getStExp().apply(this); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { node.getBody().apply(this); } outALetBeStBindingTraceDeclIR(node); }
/** * Creates a new tree field only constructor {@code ASetMultipleBindIR TAG=set} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param set_ the {@link SExpIR} node for the {@code set} child of this {@link ASetMultipleBindIR} node */ public ASetMultipleBindIR(List<? extends SPatternIR> patterns_, SExpIR set_) { super(null,null,null,patterns_); this.setSet(set_); }
/** * Called by the {@link ASetMultipleBindIR} node from {@link ASetMultipleBindIR#apply(IIsaAnalysis)}. * @param node the calling {@link ASetMultipleBindIR} node */ public void caseASetMultipleBindIR(ASetMultipleBindIR node) throws AnalysisException { _visitedNodes.add(node); inASetMultipleBindIR(node); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } if(node.getSet() != null && !_visitedNodes.contains(node.getSet())) { node.getSet().apply(this); } outASetMultipleBindIR(node); }
public Boolean hasEmptySet(SMultipleBindIR binding) throws AnalysisException { if (binding instanceof ASetMultipleBindIR) { return isEmptySetSeq(((ASetMultipleBindIR) binding).getSet()); } else if (binding instanceof ASeqMultipleBindIR) { return isEmptySetSeq(((ASeqMultipleBindIR) binding).getSeq()); } return false; }
/** * Creates a deep clone of this {@link ASetMultipleBindIR} node while putting all * old node-new node relations in the map {@code oldToNewMap}. * @param oldToNewMap the map filled with the old node-new node relation * @return a deep clone of this {@link ASetMultipleBindIR} node */ public ASetMultipleBindIR clone(Map<INode,INode> oldToNewMap) { ASetMultipleBindIR node = new ASetMultipleBindIR( _sourceNode, _tag, _metaData, cloneList(_patterns, oldToNewMap), cloneNode(_set, oldToNewMap) ); oldToNewMap.put(this, node); return node; }
/** * Called by the {@link ALetBeStBindingTraceDeclIR} node from {@link ALetBeStBindingTraceDeclIR#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDeclIR} node */ public void caseALetBeStBindingTraceDeclIR(ALetBeStBindingTraceDeclIR node) throws AnalysisException { _visitedNodes.add(node); inALetBeStBindingTraceDeclIR(node); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getStExp() != null && !_visitedNodes.contains(node.getStExp())) { node.getStExp().apply(this); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { node.getBody().apply(this); } outALetBeStBindingTraceDeclIR(node); }
/** * Called by the {@link ASetMultipleBindIR} node from {@link ASetMultipleBindIR#apply(IAnalysis)}. * @param node the calling {@link ASetMultipleBindIR} node */ public void caseASetMultipleBindIR(ASetMultipleBindIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inASetMultipleBindIR(node, question); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } if(node.getSet() != null && !_visitedNodes.contains(node.getSet())) { node.getSet().apply(this, question); } outASetMultipleBindIR(node, question); }
nextMultiBindBlock = consIterationBlock(nextMultiBindBlock, mb.getPatterns(), ((ASetMultipleBindIR) mb).getSet(), tempGen, strategy, iteVarPrefixes); } else if (mb instanceof ASeqMultipleBindIR)
/** * Called by the {@link ALetBeStBindingTraceDeclIR} node from {@link ALetBeStBindingTraceDeclIR#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDeclIR} node */ public A caseALetBeStBindingTraceDeclIR(ALetBeStBindingTraceDeclIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inALetBeStBindingTraceDeclIR(node)); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { mergeReturns(retVal,node.getBind().apply(this)); } if(node.getStExp() != null && !_visitedNodes.contains(node.getStExp())) { mergeReturns(retVal,node.getStExp().apply(this)); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { mergeReturns(retVal,node.getBody().apply(this)); } mergeReturns(retVal,outALetBeStBindingTraceDeclIR(node)); return retVal; }
/** * Called by the {@link ASetMultipleBindIR} node from {@link ASetMultipleBindIR#apply(IAnalysis)}. * @param node the calling {@link ASetMultipleBindIR} node */ public A caseASetMultipleBindIR(ASetMultipleBindIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inASetMultipleBindIR(node)); { List<SPatternIR> copy = new ArrayList<SPatternIR>(node.getPatterns()); for( SPatternIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this)); } } } if(node.getSet() != null && !_visitedNodes.contains(node.getSet())) { mergeReturns(retVal,node.getSet().apply(this)); } mergeReturns(retVal,outASetMultipleBindIR(node)); return retVal; }