/** * Called by the {@link AMutexSyncDeclIR} node from {@link AMutexSyncDeclIR#apply(IAnalysis)}. * @param node the calling {@link AMutexSyncDeclIR} node */ public void caseAMutexSyncDeclIR(AMutexSyncDeclIR node) throws AnalysisException { _visitedNodes.add(node); inAMutexSyncDeclIR(node); { List<SNameIR> copy = new ArrayList<SNameIR>(node.getOpnames()); for( SNameIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAMutexSyncDeclIR(node); }
/** * Called by the {@link AMutexSyncDeclIR} node from {@link AMutexSyncDeclIR#apply(IIsaAnalysis)}. * @param node the calling {@link AMutexSyncDeclIR} node */ public void caseAMutexSyncDeclIR(AMutexSyncDeclIR node) throws AnalysisException { _visitedNodes.add(node); inAMutexSyncDeclIR(node); { List<SNameIR> copy = new ArrayList<SNameIR>(node.getOpnames()); for( SNameIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this); } } } outAMutexSyncDeclIR(node); }
/** * Called by the {@link AMutexSyncDeclIR} node from {@link AMutexSyncDeclIR#apply(IAnalysis)}. * @param node the calling {@link AMutexSyncDeclIR} node */ public void caseAMutexSyncDeclIR(AMutexSyncDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAMutexSyncDeclIR(node, question); { List<SNameIR> copy = new ArrayList<SNameIR>(node.getOpnames()); for( SNameIR e : copy) { if(!_visitedNodes.contains(e)) { e.apply(this, question); } } } outAMutexSyncDeclIR(node, question); }
@Override public SDeclIR caseAMutexSyncDefinition(AMutexSyncDefinition node, IRInfo question) throws AnalysisException { LinkedList<ILexNameToken> operations = node.getOperations(); AMutexSyncDeclIR mutexdef = new AMutexSyncDeclIR(); for (ILexNameToken opname : operations) { ATokenNameIR token = new ATokenNameIR(); token.setName(opname.getName()); mutexdef.getOpnames().add(token); } return mutexdef; }
/** * Called by the {@link AMutexSyncDeclIR} node from {@link AMutexSyncDeclIR#apply(IAnalysis)}. * @param node the calling {@link AMutexSyncDeclIR} node */ public A caseAMutexSyncDeclIR(AMutexSyncDeclIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAMutexSyncDeclIR(node, question)); { List<SNameIR> copy = new ArrayList<SNameIR>(node.getOpnames()); for( SNameIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this, question)); } } } mergeReturns(retVal,outAMutexSyncDeclIR(node, question)); return retVal; }
/** * Called by the {@link AMutexSyncDeclIR} node from {@link AMutexSyncDeclIR#apply(IAnalysis)}. * @param node the calling {@link AMutexSyncDeclIR} node */ public A caseAMutexSyncDeclIR(AMutexSyncDeclIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAMutexSyncDeclIR(node)); { List<SNameIR> copy = new ArrayList<SNameIR>(node.getOpnames()); for( SNameIR e : copy) { if(!_visitedNodes.contains(e)) { mergeReturns(retVal,e.apply(this)); } } } mergeReturns(retVal,outAMutexSyncDeclIR(node)); return retVal; }
if (mutex.getOpnames().size() == 1) perpred.setOpname(mutex.getOpnames().getFirst().toString()); histcount.setOpsname(mutex.getOpnames().getFirst().toString()); histcount.setType(new AIntNumericBasicTypeIR()); for (SNameIR operation : mutex.getOpnames()) firsthistcount.setHistype(concPrefixes.activeHistOpTypeName()); firsthistcount.setSentinelType(innerclass.clone()); firsthistcount.setOpsname(mutex.getOpnames().getFirst().toString()); firsthistcount.setType(new AIntNumericBasicTypeIR()); addition1 = addedhistcounter; for (int i = 1; i < mutex.getOpnames().size() - 1; i++) String nextOpName = mutex.getOpnames().get(i).toString(); String lastOpName = mutex.getOpnames().getLast().toString();