@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; }
/** * Returns a deep clone of this {@link AAtomicStmIR} node. * @return a deep clone of this {@link AAtomicStmIR} node */ public AAtomicStmIR clone() { return new AAtomicStmIR( _sourceNode, _tag, _metaData, cloneList(_statements) ); }
/** * Creates a new tree field only constructor {@code AAtomicStmIR TAG=atomic} 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 statements_ the {@link NodeList} node for the {@code statements} child of this {@link AAtomicStmIR} node */ public AAtomicStmIR(List<? extends SStmIR> statements_) { super(null,null,null); this.setStatements(statements_); }
/** * 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); }
@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; }
/** * Essentially this.toString().equals(o.toString()). **/ @Override public boolean equals(Object o) { if (o != null && o instanceof AAtomicStmIR) { return toString().equals(o.toString()); } return false; }
/** * 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); }
/** * Creates a deep clone of this {@link AAtomicStmIR} 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 AAtomicStmIR} node */ public AAtomicStmIR clone(Map<INode,INode> oldToNewMap) { AAtomicStmIR node = new AAtomicStmIR( _sourceNode, _tag, _metaData, cloneList(_statements, oldToNewMap) ); oldToNewMap.put(this, node); return node; }
/** * Creates a new complete constructor {@code AAtomicStmIR} 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 statements_ the {@link NodeList} node for the {@code statements} child of this {@link AAtomicStmIR} node */ public AAtomicStmIR(SourceNode sourceNode_, Object tag_, List<? extends ClonableString> metaData_, List<? extends SStmIR> statements_) { super(sourceNode_,tag_,metaData_); this.setStatements(statements_); }
/** * 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())