Package soot.toolkits.scalar

Class FlowSensitiveConstantPropagator.ConstantState

java.lang.Object

soot.toolkits.scalar.FlowSensitiveConstantPropagator.ConstantState

Enclosing class:

FlowSensitiveConstantPropagator

protected static class FlowSensitiveConstantPropagator.ConstantState
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Map<Local,Constant>	constants
BitSet	nonConstant

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ConstantState()

Method Summary

Modifier and Type	Method	Description
void	clear()
void	copyTo(FlowSensitiveConstantPropagator.ConstantState dest)
protected Map<Local,Constant>	createMap()
boolean	equals(Object obj)
Constant	getConstant(Local l)
int	hashCode()
void	merge(FlowSensitiveConstantPropagator.ConstantState in1, FlowSensitiveConstantPropagator.ConstantState in2)
void	mergeInto(FlowSensitiveConstantPropagator.ConstantState in)
void	setConstant(Local l, Constant value)
void	setNonConstant(Local l)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

nonConstant

public BitSet nonConstant

constants

public Map<Local,Constant> constants

Constructor Detail

ConstantState

protected ConstantState()

Method Detail

createMap

protected Map<Local,Constant> createMap()

getConstant

public Constant getConstant(Local l)

setNonConstant

public void setNonConstant(Local l)

setConstant

public void setConstant(Local l,
                        Constant value)

copyTo

public void copyTo(FlowSensitiveConstantPropagator.ConstantState dest)

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

merge

public void merge(FlowSensitiveConstantPropagator.ConstantState in1,
                  FlowSensitiveConstantPropagator.ConstantState in2)

clear

public void clear()

mergeInto

public void mergeInto(FlowSensitiveConstantPropagator.ConstantState in)