soot.jimple.toolkits.thread.transaction
Class TransactionTransformer

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

public class TransactionTransformer
extends SceneTransformer


Constructor Summary
TransactionTransformer(Singletons.Global g)
           
 
Method Summary
 void assignNamesToTransactions(List<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions)
           
protected  void internalTransform(String phaseName, Map options)
          Performs the transformation on the Scene, under the given phaseName and with the given Options.
 String locksetToLockNumString(List<EquivalentValue> lockset, Map<Value,Integer> lockToLockNum)
           
 boolean mayHappenInParallel(soot.jimple.toolkits.thread.transaction.Transaction tn1, soot.jimple.toolkits.thread.transaction.Transaction tn2)
           
 void printGraph(Collection<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions, List<soot.jimple.toolkits.thread.transaction.TransactionGroup> groups, Map<Value,Integer> lockToLockNum)
           
 void printGroups(Collection<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions, int nextGroup, List<soot.jimple.toolkits.thread.transaction.TransactionGroup> groups, RWSet[] rws)
           
 void printTable(Collection<soot.jimple.toolkits.thread.transaction.Transaction> 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(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

locksetToLockNumString

public String locksetToLockNumString(List<EquivalentValue> lockset,
                                     Map<Value,Integer> lockToLockNum)

mayHappenInParallel

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

assignNamesToTransactions

public void assignNamesToTransactions(List<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions)

printGraph

public void printGraph(Collection<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions,
                       List<soot.jimple.toolkits.thread.transaction.TransactionGroup> groups,
                       Map<Value,Integer> lockToLockNum)

printTable

public void printTable(Collection<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions)

printGroups

public void printGroups(Collection<soot.jimple.toolkits.thread.transaction.Transaction> AllTransactions,
                        int nextGroup,
                        List<soot.jimple.toolkits.thread.transaction.TransactionGroup> groups,
                        RWSet[] rws)