soot.jimple.toolkits.graph

Class CriticalEdgeRemover

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.jimple.toolkits.graph.CriticalEdgeRemover

public class CriticalEdgeRemover
extends BodyTransformer

removes all critical edges.
A critical edge is an edge from Block A to block B, if B has more than one predecessor and A has more the one successor.
As an example: If we wanted a computation to be only on the path A->B this computation must be directly on the edge. Otherwise it is either executed on the path through the second predecessor of A or throught the second successor of B.
Our critical edge-remover overcomes this problem by introducing synthetic nodes on this critical edges.
Exceptions will be ignored.

Constructor Summary

Constructors

Constructor and Description
CriticalEdgeRemover(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
protected void	internalTransform(Body b, java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) performs critical edge-removing.
static CriticalEdgeRemover	v()

Methods inherited from class soot.BodyTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CriticalEdgeRemover

public CriticalEdgeRemover(Singletons.Global g)

Method Detail

v

public static CriticalEdgeRemover v()

internalTransform

protected void internalTransform(Body b,
                                 java.lang.String phaseName,
                                 java.util.Map<java.lang.String,java.lang.String> options)

performs critical edge-removing.

Specified by:

internalTransform in class BodyTransformer

Parameters:

b - the body on which to apply the transformation

phaseName - the phasename for this transform; not typically used by implementations.

options - the actual computed options; a combination of default options and Scene specified options.