soot.jimple.toolkits.thread.transaction
Class TransactionTransformer

java.lang.Object
  extended bysoot.Transformer
      extended bysoot.SceneTransformer
          extended bysoot.jimple.toolkits.thread.transaction.TransactionTransformer

public class TransactionTransformer
extends SceneTransformer


Constructor Summary
TransactionTransformer(soot.Singletons.Global g)
           
 
Method Summary
 void assignNamesToTransactions(List AllTransactions)
           
protected  void internalTransform(String phaseName, Map options)
          Performs the transformation on the Scene, under the given phaseName and with the given Options.
 boolean mayHappenInParallel(soot.jimple.toolkits.thread.transaction.Transaction tn1, soot.jimple.toolkits.thread.transaction.Transaction tn2)
           
 void printGraph(Collection AllTransactions, List groups)
           
 void printGroups(Collection AllTransactions, int nextGroup, List groups, RWSet[] rws)
           
 void printTable(Collection AllTransactions)
           
static TransactionTransformer v()
           
 
Methods inherited from class soot.SceneTransformer
transform, transform, transform
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TransactionTransformer

public TransactionTransformer(soot.Singletons.Global g)
Method Detail

v

public static TransactionTransformer v()

internalTransform

protected void internalTransform(String phaseName,
                                 Map options)
Description copied from class: SceneTransformer
Performs the transformation on the Scene, under the given phaseName and with the given Options.

Specified by:
internalTransform in class SceneTransformer

mayHappenInParallel

public boolean mayHappenInParallel(soot.jimple.toolkits.thread.transaction.Transaction tn1,
                                   soot.jimple.toolkits.thread.transaction.Transaction tn2)

assignNamesToTransactions

public void assignNamesToTransactions(List AllTransactions)

printGraph

public void printGraph(Collection AllTransactions,
                       List groups)

printTable

public void printTable(Collection AllTransactions)

printGroups

public void printGroups(Collection AllTransactions,
                        int nextGroup,
                        List groups,
                        RWSet[] rws)