Package soot.jimple.toolkits.typing

Class TypeAssigner

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.jimple.toolkits.typing.TypeAssigner

public class TypeAssigner
extends BodyTransformer

This transformer assigns types to local variables.

Author:

Etienne Gagnon, Ben Bellamy, Eric Bodden

Constructor Summary

Constructors

Constructor	Description
TypeAssigner(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
protected void	internalTransform(Body b, String phaseName, Map<String,String> options)	Assign types to local variables.
protected static void	replaceNullType(Body b)	Replace statements using locals with null_type type and that would throw a NullPointerException at runtime by a set of instructions throwing a NullPointerException.
static TypeAssigner	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

TypeAssigner

public TypeAssigner(Singletons.Global g)

Method Detail

v

public static TypeAssigner v()

internalTransform

protected void internalTransform(Body b,
                                 String phaseName,
                                 Map<String,String> options)

Assign types to local variables. *

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.

replaceNullType

protected static void replaceNullType(Body b)

Replace statements using locals with null_type type and that would throw a NullPointerException at runtime by a set of instructions throwing a NullPointerException. This is done to remove locals with null_type type.

Parameters:

b -