Class PrefixVariable

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<PrefixVariable>

org.scandroid.prefixtransfer.PrefixVariable

All Implemented Interfaces:

IVariable<PrefixVariable>, INodeWithNumber

public class PrefixVariable
extends AbstractVariable<PrefixVariable>

Field Summary

Fields

Modifier and Type	Field	Description
HashSet<Integer>	fullPrefixKnown
HashMap<Integer,String>	knownPrefixes

Constructor Summary

Constructors

Constructor	Description
PrefixVariable()

Method Summary

Modifier and Type	Method	Description
void	copyState(PrefixVariable v)	Set this variable to have the same state as another one
String	getPrefix(int instance)
boolean	include(Integer i)
static String	intersect(String one, String two)
String	toString()
boolean	update(Integer instance, String prefix)
boolean	updateAll(PrefixVariable other)

Methods inherited from class AbstractVariable

equals, getOrderNumber, hashCode, nextHash, setOrderNumber

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	getOrderNumber()	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
final int	hashCode()
static int	nextHash()	I know this is theoretically bad.
void	setOrderNumber(int orderNumber)	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

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

Field Details

knownPrefixes

public HashMap<Integer,String> knownPrefixes

fullPrefixKnown

public HashSet<Integer> fullPrefixKnown

Constructor Details

PrefixVariable

public PrefixVariable()

Method Details

copyState

public void copyState(PrefixVariable v)

Description copied from interface: IVariable

Set this variable to have the same state as another one

intersect

public static String intersect(String one,
 String two)

getPrefix

public String getPrefix(int instance)

updateAll

public boolean updateAll(PrefixVariable other)

include

public boolean include(Integer i)

update

public boolean update(Integer instance,
 String prefix)

toString

public String toString()

Overrides:

toString in class Object