public class TrapSplitter extends BodyTransformer
| Constructor and Description |
|---|
TrapSplitter(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
internalTransform(Body b,
String phaseName,
Map<String,String> options)
This method is called to perform the transformation itself.
|
static void |
removePotentiallyUselassTraps(Body b,
Set<Unit> potentiallyUselessTrapHandlers)
Changes the given body so that trap handlers, which are contained in the given set, are removed in case they are not
referenced by any trap.
|
static TrapSplitter |
v() |
transform, transform, transformpublic TrapSplitter(Singletons.Global g)
public static TrapSplitter v()
protected void internalTransform(Body b, String phaseName, Map<String,String> options)
BodyTransformerinternalTransform in class BodyTransformerb - 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.public static void removePotentiallyUselassTraps(Body b, Set<Unit> potentiallyUselessTrapHandlers)
b - the bodypotentiallyUselessTrapHandlers - potentially useless trap handlersCopyright © 2020 Soot OSS. All rights reserved.