dk.brics.xact.analysis.soot
Class DummyValue

java.lang.Object
  dk.brics.xact.analysis.soot.DummyValue

All Implemented Interfaces:

Serializable, Cloneable, EquivTo, Switchable, Value

 class DummyValue
extends Object
implements Value, Cloneable

A dummy Soot value for creating temporary flow variables.

Used for representing method return values, casts, nulls, etc.

Constructor Summary

DummyValue(Type type, boolean global)
Constructs a new dummy value.

DummyValue(Type type, String annotation, boolean global, boolean ret)
Constructs a new dummy value.

Method Summary

void	apply(Switch sw)
Object	clone()
int	equivHashCode()
boolean	equivTo(Object obj)
Type	getType()
List<?>	getUseBoxes()
boolean	isGlobal() Returns the global status.
boolean	isReturn() Returns true if this value represents a method return value.
String	toString()
void	toString(UnitPrinter up)

Methods inherited from class java.lang.Object

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

Constructor Detail

DummyValue

public DummyValue(Type type,
                  boolean global)

Constructs a new dummy value.

Parameters:

type - the Soot type of the variable

global - indicates whether the variable should be global, i.e. treated as a field

DummyValue

public DummyValue(Type type,
                  String annotation,
                  boolean global,
                  boolean ret)

Constructs a new dummy value.

Parameters:

type - the Soot type of the variable

annotation - type annotation, null uf none

global - indicates whether the variable should be global, i.e. treated as a field

ret - indicates whether the variable is a return

Method Detail

apply

public void apply(Switch sw)

Specified by:

apply in interface Switchable

clone

public Object clone()

Specified by:

clone in interface Value

Overrides:

clone in class Object

equivHashCode

public int equivHashCode()

Specified by:

equivHashCode in interface EquivTo

equivTo

public boolean equivTo(Object obj)

Specified by:

equivTo in interface EquivTo

getType

public Type getType()

Specified by:

getType in interface Value

getUseBoxes

public List<?> getUseBoxes()

Specified by:

getUseBoxes in interface Value

isGlobal

public boolean isGlobal()

Returns the global status. If global, treat it as a field.

isReturn

public boolean isReturn()

Returns true if this value represents a method return value.

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Value