soot.jimple.internal
Class JimpleLocal

java.lang.Object
  soot.jimple.internal.JimpleLocal

All Implemented Interfaces:

Serializable, EquivTo, Immediate, ConvertToBaf, Local, Numberable, Switchable, Value

Direct Known Subclasses:

FakeJimpleLocal

public class JimpleLocal
extends Object
implements Local, ConvertToBaf

See Also:

Serialized Form

Constructor Summary

JimpleLocal(String name, Type t)
Constructs a JimpleLocal of the given name and type.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

JimpleLocal

public JimpleLocal(String name,
                   Type t)

Constructs a JimpleLocal of the given name and type.

Method Detail

equivTo

public boolean equivTo(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 Object clone()

Returns a clone of the current JimpleLocal.

Specified by:

clone in interface Value

Overrides:

clone in class Object

getName

public String getName()

Returns the name of this object.

Specified by:

getName in interface Local

setName

public void setName(String name)

Sets the name of this object as given.

Specified by:

setName in interface Local

hashCode

public int hashCode()

Returns a hashCode consistent with object equality.

Overrides:

hashCode in class Object

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 String toString()

Overrides:

toString in class Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Value

getUseBoxes

public List 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,
                         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