- if (methodDescHighestCount != null) {
- FlowGraph flowGraph = getFlowGraph(methodDescHighestCount);
- CompositeLocation returnLOC = getMethodSummary(methodDescHighestCount).getRETURNLoc();
- NTuple<Descriptor> returnLocTuple = translateToDescTuple(returnLOC.getTuple());
- FlowNode returnFlowNode = flowGraph.getFlowNode(returnLocTuple);
-
- Set<FlowNode> curMethodParamNodeSet = flowGraph.getParamFlowNodeSet();
- Set<NTuple<Descriptor>> descTupleSetHigherThanPC = new HashSet<NTuple<Descriptor>>();
- for (Iterator iterator3 = curMethodParamNodeSet.iterator(); iterator3.hasNext();) {
- FlowNode paramNode = (FlowNode) iterator3.next();
- if (flowGraph.getReachableSetFrom(paramNode.getCurrentDescTuple().subList(0, 1))
- .contains(returnFlowNode)) {
- descTupleSetHigherThanPC.add(paramNode.getCurrentDescTuple());
- }
- }
-
- mapHighestOverriddenMethodDescToReturnLocTuple.put(highestMethodDesc, returnLocTuple);
- mapHighestOverriddenMethodDescToSetHigherThanRETURNLoc.put(highestMethodDesc,
- descTupleSetHigherThanPC);
+ if (methodDescHighestCount != null) {
+ FlowGraph flowGraph = getFlowGraph(methodDescHighestCount);
+ CompositeLocation returnLOC = getMethodSummary(methodDescHighestCount).getRETURNLoc();
+ NTuple<Descriptor> returnLocTuple = translateToDescTuple(returnLOC.getTuple());
+ FlowNode returnFlowNode = flowGraph.getFlowNode(returnLocTuple);