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, transform
public 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)
BodyTransformer
internalTransform
in class BodyTransformer
body
- 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.