public class SideEffectTagger extends BodyTransformer
| Modifier and Type | Class and Description |
|---|---|
protected class |
SideEffectTagger.UniqueRWSets |
| Modifier and Type | Field and Description |
|---|---|
int |
numNatives |
int |
numRRs |
int |
numRWs |
int |
numWRs |
int |
numWWs |
Date |
startTime |
| Constructor and Description |
|---|
SideEffectTagger(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
initializationStuff(String phaseName) |
protected void |
internalTransform(Body body,
String phaseName,
Map options)
This method is called to perform the transformation itself.
|
protected Object |
keyFor(Stmt s) |
static SideEffectTagger |
v() |
transform, transform, transformpublic int numRWs
public int numWRs
public int numRRs
public int numWWs
public int numNatives
public Date startTime
public SideEffectTagger(Singletons.Global g)
public static SideEffectTagger v()
protected void initializationStuff(String phaseName)
protected void internalTransform(Body body, String phaseName, Map options)
BodyTransformerinternalTransform in class BodyTransformerbody - the body on which to apply the transformationphaseName - the phasename for this transform; not typically used by implementations.options - the actual computed options; a combination of default options and Scene specified options.Copyright © 2020 Soot OSS. All rights reserved.