@Override public void caseAAtomicStmIR(AAtomicStmIR node) throws AnalysisException { recVarChecks = new LinkedList<AMetaStmIR>(); for (SStmIR stm : node.getStatements()) { stm.apply(this); } ADefaultClassDeclIR encClass = node.getAncestor(ADefaultClassDeclIR.class); node.getStatements().addFirst(consInvChecksStm(false, encClass)); node.getStatements().add(consInvChecksStm(true, encClass)); for (AMetaStmIR as : recVarChecks) { node.getStatements().add(as); } recVarChecks = null; }
/** * Called by the {@link AAtomicStmIR} node from {@link AAtomicStmIR#apply(IAnalysis)}. * @param node the calling {@link AAtomicStmIR} node */ public void caseAAtomicStmIR(AAtomicStmIR node) throws AnalysisException { _visitedNodes.add(node); inAAtomicStmIR(node); { List<SStmIR> copy = new ArrayList<SStmIR>(node.getStatements()); for( SStmIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAAtomicStmIR(node); }
/** * Called by the {@link AAtomicStmIR} node from {@link AAtomicStmIR#apply(IIsaAnalysis)}. * @param node the calling {@link AAtomicStmIR} node */ public void caseAAtomicStmIR(AAtomicStmIR node) throws AnalysisException { _visitedNodes.add(node); inAAtomicStmIR(node); { List<SStmIR> copy = new ArrayList<SStmIR>(node.getStatements()); for( SStmIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAAtomicStmIR(node); }
/** * Called by the {@link AAtomicStmIR} node from {@link AAtomicStmIR#apply(IAnalysis)}. * @param node the calling {@link AAtomicStmIR} node */ public void caseAAtomicStmIR(AAtomicStmIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAAtomicStmIR(node, question); { List<SStmIR> copy = new ArrayList<SStmIR>(node.getStatements()); for( SStmIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outAAtomicStmIR(node, question); }
@Override public SStmIR caseAAtomicStm(AAtomicStm node, IRInfo question) throws AnalysisException { AAtomicStmIR atomicBlock = new AAtomicStmIR(); for (AAssignmentStm assignment : node.getAssignments()) { SStmIR stmCg = assignment.apply(question.getStmVisitor(), question); if (stmCg != null) { atomicBlock.getStatements().add(stmCg); } else { return null; } } return atomicBlock; }
/** * Called by the {@link AAtomicStmIR} node from {@link AAtomicStmIR#apply(IAnalysis)}. * @param node the calling {@link AAtomicStmIR} node */ public A caseAAtomicStmIR(AAtomicStmIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAAtomicStmIR(node, question)); { List<SStmIR> copy = new ArrayList<SStmIR>(node.getStatements()); for( SStmIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this, question)); } } } mergeReturns(retVal,outAAtomicStmIR(node, question)); return retVal; }
/** * Called by the {@link AAtomicStmIR} node from {@link AAtomicStmIR#apply(IAnalysis)}. * @param node the calling {@link AAtomicStmIR} node */ public A caseAAtomicStmIR(AAtomicStmIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAAtomicStmIR(node)); { List<SStmIR> copy = new ArrayList<SStmIR>(node.getStatements()); for( SStmIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this)); } } } mergeReturns(retVal,outAAtomicStmIR(node)); return retVal; }
for (SStmIR stm : node.getStatements())