soot.jimple.toolkits.scalar

Class EmptySwitchEliminator

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.jimple.toolkits.scalar.EmptySwitchEliminator

public class EmptySwitchEliminator
extends BodyTransformer

Removes empty switch statements which always take the default action from a method body, i.e. blocks of the form switch(x) { default: ... }. Such blocks are replaced by the code of the default block.

Constructor Summary

Constructors

Constructor and Description
EmptySwitchEliminator(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) This method is called to perform the transformation itself.
static EmptySwitchEliminator	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

EmptySwitchEliminator

public EmptySwitchEliminator(Singletons.Global g)

Method Detail

v

public static EmptySwitchEliminator v()

internalTransform

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

Description copied from class: BodyTransformer

This method is called to perform the transformation itself. It is declared abstract; subclasses must implement this method by making it the entry point to their actual Body transformation.

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.