class DominatorsTagger extends BodyTransformer {
  public DominatorsTagger(Singletons.Global g) {
  }

  public static DominatorsTagger v() {
    return G.v().soot_jimple_toolkits_annotation_DominatorsTagger();
  }

  protected void internalTransform(Body b, String phaseName, Map opts) {<FILL_FUNCTION_BODY>}
}


    MHGDominatorsFinder analysis = new MHGDominatorsFinder(ExceptionalUnitGraphFactory.createExceptionalUnitGraph(b));
    Iterator it = b.getUnits().iterator();
    while (it.hasNext()) {
      Stmt s = (Stmt) it.next();
      List dominators = analysis.getDominators(s);
      Iterator dIt = dominators.iterator();
      while (dIt.hasNext()) {
        Stmt ds = (Stmt) dIt.next();
        String info = ds + " dominates " + s;
        s.addTag(new LinkTag(info, ds, b.getMethod().getDeclaringClass().getName(), "Dominators"));
      }
    }
  
<methods>public non-sealed void <init>() ,public final void transform(soot.Body, java.lang.String, Map<java.lang.String,java.lang.String>) ,public final void transform(soot.Body, java.lang.String) ,public final void transform(soot.Body) <variables>private static final Map<java.lang.String,java.lang.String> enabledOnlyMap