soot.javaToJimple

Class LocalGenerator

java.lang.Object

soot.javaToJimple.LocalGenerator

public class LocalGenerator
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Body	body
protected java.util.Set<java.lang.String>	localNames

Constructor Summary

Constructors

Constructor and Description
LocalGenerator(Body b)

Method Summary

Modifier and Type	Method and Description
protected boolean	bodyContainsLocal(java.lang.String name)
protected Local	createLocal(java.lang.String name, Type sootType)
Local	generateLocal(Type type) generates a new soot local given the type

Methods inherited from class java.lang.Object

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

Field Detail

body

protected final Body body

localNames

protected transient java.util.Set<java.lang.String> localNames

Constructor Detail

LocalGenerator

public LocalGenerator(Body b)

Method Detail

bodyContainsLocal

protected boolean bodyContainsLocal(java.lang.String name)

generateLocal

public Local generateLocal(Type type)

generates a new soot local given the type

createLocal

protected Local createLocal(java.lang.String name,
                            Type sootType)