01: /* Soot - a J*va Optimization Framework
02: * Copyright (C) 2003 Jennifer Lhotak
03: *
04: * This library is free software; you can redistribute it and/or
05: * modify it under the terms of the GNU Lesser General Public
06: * License as published by the Free Software Foundation; either
07: * version 2.1 of the License, or (at your option) any later version.
08: *
09: * This library is distributed in the hope that it will be useful,
10: * but WITHOUT ANY WARRANTY; without even the implied warranty of
11: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12: * Lesser General Public License for more details.
13: *
14: * You should have received a copy of the GNU Lesser General Public
15: * License along with this library; if not, write to the
16: * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17: * Boston, MA 02111-1307, USA.
18: */
19:
20: package soot.jimple.toolkits.annotation;
21:
22: import soot.*;
23: import java.util.*;
24: import soot.toolkits.graph.*;
25: import soot.toolkits.scalar.*;
26: import soot.tagkit.*;
27: import soot.jimple.*;
28:
29: /** A body transformer that records avail expression
30: * information in tags. - both pessimistic and optimistic options*/
31: public class DominatorsTagger extends BodyTransformer {
32: public DominatorsTagger(Singletons.Global g) {
33: }
34:
35: public static DominatorsTagger v() {
36: return G.v().soot_jimple_toolkits_annotation_DominatorsTagger();
37: }
38:
39: protected void internalTransform(Body b, String phaseName, Map opts) {
40:
41: DominatorAnalysis analysis = new DominatorAnalysis(
42: new ExceptionalUnitGraph(b));
43: Iterator it = b.getUnits().iterator();
44: while (it.hasNext()) {
45: Stmt s = (Stmt) it.next();
46: FlowSet dominators = (FlowSet) analysis.getFlowAfter(s);
47: Iterator dIt = dominators.iterator();
48: while (dIt.hasNext()) {
49: Stmt ds = (Stmt) dIt.next();
50: String info = ds + " dominates " + s;
51: s.addTag(new LinkTag(info, ds, b.getMethod()
52: .getDeclaringClass().getName(), "Dominators"));
53: }
54: }
55: }
56: }
|