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
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransactionTransformer
public TransactionTransformer(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
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)