soot.jimple.internal

Class JimpleLocal

java.lang.Object

soot.jimple.internal.JimpleLocal

All Implemented Interfaces:

java.io.Serializable, EquivTo, Immediate, ConvertToBaf, Local, Numberable, Switchable, Value

Direct Known Subclasses:

FakeJimpleLocal

public class JimpleLocal
extends java.lang.Object
implements Local, ConvertToBaf

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	name

Constructor Summary

Constructors

Constructor and Description
JimpleLocal(java.lang.String name, Type type) Constructs a JimpleLocal of the given name and type.

Method Summary

Modifier and Type	Method and Description
void	apply(Switch sw) Called when this object is visited.
java.lang.Object	clone() Returns a clone of the current JimpleLocal.
void	convertToBaf(JimpleToBafContext context, java.util.List<Unit> out)
int	equivHashCode() Returns a hash code for this object, consistent with structural equality.
boolean	equivTo(java.lang.Object o) Returns true if the given object is structurally equal to this one.
java.lang.String	getName() Returns the name of this object.
int	getNumber()
Type	getType() Returns the type of this local.
java.util.List<ValueBox>	getUseBoxes() Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value.
void	setName(java.lang.String name) Sets the name of this object as given.
void	setNumber(int number)
void	setType(Type t) Sets the type of this local.
java.lang.String	toString()
void	toString(UnitPrinter up)

Methods inherited from class java.lang.Object

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

Field Detail

name

protected java.lang.String name

Constructor Detail

JimpleLocal

public JimpleLocal(java.lang.String name,
                   Type type)

Constructs a JimpleLocal of the given name and type.

Method Detail

equivTo

public boolean equivTo(java.lang.Object o)

Returns true if the given object is structurally equal to this one.

Specified by:

equivTo in interface EquivTo

equivHashCode

public int equivHashCode()

Returns a hash code for this object, consistent with structural equality.

Specified by:

equivHashCode in interface EquivTo

clone

public java.lang.Object clone()

Returns a clone of the current JimpleLocal.

Specified by:

clone in interface Value

Overrides:

clone in class java.lang.Object

getName

public java.lang.String getName()

Returns the name of this object.

Specified by:

getName in interface Local

setName

public void setName(java.lang.String name)

Sets the name of this object as given.

Specified by:

setName in interface Local

getType

public Type getType()

Returns the type of this local.

Specified by:

getType in interface Value

setType

public void setType(Type t)

Sets the type of this local.

Specified by:

setType in interface Local

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Value

getUseBoxes

public final java.util.List<ValueBox> getUseBoxes()

Description copied from interface: Value

Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value.

Specified by:

getUseBoxes in interface Value

apply

public void apply(Switch sw)

Description copied from interface: Switchable

Called when this object is visited.

Specified by:

apply in interface Switchable

convertToBaf

public void convertToBaf(JimpleToBafContext context,
                         java.util.List<Unit> out)

Specified by:

convertToBaf in interface ConvertToBaf

getNumber

public final int getNumber()

Specified by:

getNumber in interface Numberable

setNumber

public final void setNumber(int number)

Specified by:

setNumber in interface Numberable