1 19 20 25 26 27 package soot.toolkits.graph; 28 29 30 import soot.*; 31 import soot.util.*; 32 import java.util.*; 33 import soot.options.Options; 34 35 36 44 public class BriefUnitGraph extends UnitGraph 45 { 46 51 public BriefUnitGraph(Body body) 52 { 53 super(body); 54 int size = unitChain.size(); 55 56 if(Options.v().time()) 57 Timers.v().graphTimer.start(); 58 59 unitToSuccs = new HashMap(size * 2 + 1, 0.7f); 60 unitToPreds = new HashMap(size * 2 + 1, 0.7f); 61 buildUnexceptionalEdges(unitToSuccs, unitToPreds); 62 makeMappedListsUnmodifiable(unitToSuccs); 63 makeMappedListsUnmodifiable(unitToPreds); 64 65 buildHeadsAndTails(); 66 67 if(Options.v().time()) 68 Timers.v().graphTimer.end(); 69 70 soot.util.PhaseDumper.v().dumpGraph(this, body); 71 } 72 } 73 74 75 76 77 | Popular Tags |