soot.jimple.toolkits.thread.transaction
Class TransactionTransformer
java.lang.Object
soot.Transformer
soot.SceneTransformer
soot.jimple.toolkits.thread.transaction.TransactionTransformer
- public class TransactionTransformer
- extends SceneTransformer
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransactionTransformer
public TransactionTransformer(soot.Singletons.Global g)
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)