dk.brics.string.java
Class VariableManager

java.lang.Object
  dk.brics.string.java.VariableManager

public class VariableManager
extends Object

Keeps a mapping from soot locals and fields, to their corresponding intermediate locals and fields.

Constructor Summary

VariableManager(Application application, TranslationContext jt)

Method Summary

Variable	createVariable(VariableType type)
Field	getField(SootField sootField)
Variable	getLocal(Local local)
Variable	getNothing()

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableManager

public VariableManager(Application application,
                       TranslationContext jt)

Method Detail

createVariable

public Variable createVariable(VariableType type)

getField

public Field getField(SootField sootField)

getLocal

public Variable getLocal(Local local)

getNothing

public Variable getNothing()