soot.jimple.toolkits.scalar

Class LocalCreation

java.lang.Object

soot.jimple.toolkits.scalar.LocalCreation

Direct Known Subclasses:

DefaultLocalCreation

public abstract class LocalCreation
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Collection<Local>	localChain
protected String	prefix

Constructor Summary

Constructors

Constructor and Description
LocalCreation(Collection<Local> locals, String prefix)

Method Summary

Modifier and Type	Method and Description
abstract Local	newLocal(String prefix, Type type) returns a new local with the given prefix and the given type. the returned local will automatically added to the locals-chain.
abstract Local	newLocal(Type type) returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the given type. The returned local will automatically added to the locals-chain. The local will be of the form: prefixX (where the last X is a number, so the local name is unique).

Methods inherited from class java.lang.Object

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

Field Detail

localChain

protected final Collection<Local> localChain

prefix

protected final String prefix

Constructor Detail

LocalCreation

public LocalCreation(Collection<Local> locals,
                     String prefix)

Method Detail

newLocal

public abstract Local newLocal(Type type)

returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the given type.
The returned local will automatically added to the locals-chain.
The local will be of the form: prefixX (where the last X is a number, so the local name is unique).

Parameters:

type - the Type of the new local.

Returns:

a new local with a unique name and the given type.

newLocal

public abstract Local newLocal(String prefix,
                               Type type)

returns a new local with the given prefix and the given type.
the returned local will automatically added to the locals-chain. The local will be of the form: prefixX (where the last X is a number, so the localname is unique).

Parameters:

prefix - the prefix for the now local.

type - the Type of the now local.

Returns:

a local with the given prefix and the given type.