private void handleCond(SDeclIR cond) throws AnalysisException { if (cond != null) { inPreOrPost = true; cond.apply(this); inPreOrPost = false; } }
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public void caseATypeExportIR(ATypeExportIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inATypeExportIR(node, question); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outATypeExportIR(node, question); }
/** * Called by the {@link AAllExportIR} node from {@link AAllExportIR#apply(IAnalysis)}. * @param node the calling {@link AAllExportIR} node */ public void caseAAllExportIR(AAllExportIR node) throws AnalysisException { _visitedNodes.add(node); inAAllExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAAllExportIR(node); }
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public void caseATypeExportIR(ATypeExportIR node) throws AnalysisException { _visitedNodes.add(node); inATypeExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outATypeExportIR(node); }
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IIsaAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public void caseATypeExportIR(ATypeExportIR node) throws AnalysisException { _visitedNodes.add(node); inATypeExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outATypeExportIR(node); }
/** * Called by the {@link AAllExportIR} node from {@link AAllExportIR#apply(IIsaAnalysis)}. * @param node the calling {@link AAllExportIR} node */ public void caseAAllExportIR(AAllExportIR node) throws AnalysisException { _visitedNodes.add(node); inAAllExportIR(node); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAAllExportIR(node); }
/** * Called by the {@link AAllExportIR} node from {@link AAllExportIR#apply(IAnalysis)}. * @param node the calling {@link AAllExportIR} node */ public void caseAAllExportIR(AAllExportIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAAllExportIR(node, question); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outAAllExportIR(node, question); }
/** * Called by the {@link ARenamedDeclIR} node from {@link ARenamedDeclIR#apply(IAnalysis)}. * @param node the calling {@link ARenamedDeclIR} node */ public void caseARenamedDeclIR(ARenamedDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inARenamedDeclIR(node, question); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this, question); } outARenamedDeclIR(node, question); }
/** * Called by the {@link ARenamedDeclIR} node from {@link ARenamedDeclIR#apply(IAnalysis)}. * @param node the calling {@link ARenamedDeclIR} node */ public void caseARenamedDeclIR(ARenamedDeclIR node) throws AnalysisException { _visitedNodes.add(node); inARenamedDeclIR(node); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outARenamedDeclIR(node); }
/** * Called by the {@link ARenamedDeclIR} node from {@link ARenamedDeclIR#apply(IIsaAnalysis)}. * @param node the calling {@link ARenamedDeclIR} node */ public void caseARenamedDeclIR(ARenamedDeclIR node) throws AnalysisException { _visitedNodes.add(node); inARenamedDeclIR(node); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outARenamedDeclIR(node); }
/** * Called by the {@link ATypeDeclIR} node from {@link ATypeDeclIR#apply(IAnalysis)}. * @param node the calling {@link ATypeDeclIR} node */ public void caseATypeDeclIR(ATypeDeclIR node) throws AnalysisException { _visitedNodes.add(node); inATypeDeclIR(node); if(node.getInv() != null && !_visitedNodes.contains(node.getInv())) { node.getInv().apply(this); } if(node.getDecl() != null && !_visitedNodes.contains(node.getDecl())) { node.getDecl().apply(this); } outATypeDeclIR(node); }
/** * Called by the {@link ATypeDeclIR} node from {@link ATypeDeclIR#apply(IIsaAnalysis)}. * @param node the calling {@link ATypeDeclIR} node */ public void caseATypeDeclIR(ATypeDeclIR node) throws AnalysisException { _visitedNodes.add(node); inATypeDeclIR(node); if(node.getInv() != null && !_visitedNodes.contains(node.getInv())) { node.getInv().apply(this); } if(node.getDecl() != null && !_visitedNodes.contains(node.getDecl())) { node.getDecl().apply(this); } outATypeDeclIR(node); }
/** * Called by the {@link ATypeDeclIR} node from {@link ATypeDeclIR#apply(IAnalysis)}. * @param node the calling {@link ATypeDeclIR} node */ public void caseATypeDeclIR(ATypeDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inATypeDeclIR(node, question); if(node.getInv() != null && !_visitedNodes.contains(node.getInv())) { node.getInv().apply(this, question); } if(node.getDecl() != null && !_visitedNodes.contains(node.getDecl())) { node.getDecl().apply(this, question); } outATypeDeclIR(node, question); }
/** * Called by the {@link ATypeExportIR} node from {@link ATypeExportIR#apply(IAnalysis)}. * @param node the calling {@link ATypeExportIR} node */ public A caseATypeExportIR(ATypeExportIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inATypeExportIR(node, question)); { List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getDecl()); for( SDeclIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this, question)); } } } mergeReturns(retVal,outATypeExportIR(node, question)); return retVal; }
/** * Called by the {@link ATypeDeclIR} node from {@link ATypeDeclIR#apply(IAnalysis)}. * @param node the calling {@link ATypeDeclIR} node */ public A caseATypeDeclIR(ATypeDeclIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inATypeDeclIR(node)); if(node.getInv() != null && !_visitedNodes.contains(node.getInv())) { mergeReturns(retVal,node.getInv().apply(this)); } if(node.getDecl() != null && !_visitedNodes.contains(node.getDecl())) { mergeReturns(retVal,node.getDecl().apply(this)); } mergeReturns(retVal,outATypeDeclIR(node)); return retVal; }
/** * Called by the {@link ATypeDeclIR} node from {@link ATypeDeclIR#apply(IAnalysis)}. * @param node the calling {@link ATypeDeclIR} node */ public A caseATypeDeclIR(ATypeDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inATypeDeclIR(node, question)); if(node.getInv() != null && !_visitedNodes.contains(node.getInv())) { mergeReturns(retVal,node.getInv().apply(this, question)); } if(node.getDecl() != null && !_visitedNodes.contains(node.getDecl())) { mergeReturns(retVal,node.getDecl().apply(this, question)); } mergeReturns(retVal,outATypeDeclIR(node, question)); return retVal; }
/** * Called by the {@link ARenamedDeclIR} node from {@link ARenamedDeclIR#apply(IAnalysis)}. * @param node the calling {@link ARenamedDeclIR} node */ public A caseARenamedDeclIR(ARenamedDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inARenamedDeclIR(node, question)); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { mergeReturns(retVal,node.getDef().apply(this, question)); } mergeReturns(retVal,outARenamedDeclIR(node, question)); return retVal; }
/** * Called by the {@link ARenamedDeclIR} node from {@link ARenamedDeclIR#apply(IAnalysis)}. * @param node the calling {@link ARenamedDeclIR} node */ public A caseARenamedDeclIR(ARenamedDeclIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inARenamedDeclIR(node)); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { mergeReturns(retVal,node.getDef().apply(this)); } mergeReturns(retVal,outARenamedDeclIR(node)); return retVal; }
/** * Called by the {@link AThreadDeclIR} node from {@link AThreadDeclIR#apply(IAnalysis)}. * @param node the calling {@link AThreadDeclIR} node */ public void caseAThreadDeclIR(AThreadDeclIR node) throws AnalysisException { _visitedNodes.add(node); inAThreadDeclIR(node); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } if(node.getStm() != null && !_visitedNodes.contains(node.getStm())) { node.getStm().apply(this); } if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } outAThreadDeclIR(node); }
/** * Called by the {@link AThreadDeclIR} node from {@link AThreadDeclIR#apply(IAnalysis)}. * @param node the calling {@link AThreadDeclIR} node */ public void caseAThreadDeclIR(AThreadDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAThreadDeclIR(node, question); if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this, question); } if(node.getStm() != null && !_visitedNodes.contains(node.getStm())) { node.getStm().apply(this, question); } if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } outAThreadDeclIR(node, question); }