com.ibm.wala.fixedpoint.impl

Class DefaultFixedPointSystem<T extends IVariable<T>>

java.lang.Object

com.ibm.wala.fixedpoint.impl.DefaultFixedPointSystem<T>

All Implemented Interfaces:

IFixedPointSystem<T>

public class DefaultFixedPointSystem<T extends IVariable<T>>
extends Object
implements IFixedPointSystem<T>

Default implementation of a dataflow graph

Constructor Summary

Constructors

Constructor and Description
DefaultFixedPointSystem() default constructor ...
DefaultFixedPointSystem(int expectedOut)

Method Summary

Modifier and Type	Method and Description
void	addStatement(GeneralStatement<?> s)
void	addStatement(IFixedPointStatement statement) Add a statement to the system
void	addStatement(NullaryStatement<?> s)
void	addStatement(UnaryStatement<?> s)
void	addVariable(T v)
boolean	containsStatement(IFixedPointStatement<T> s)
boolean	containsVariable(T v)
boolean	equals(Object obj)
int	getNumberOfNodes()
int	getNumberOfStatementsThatDef(T v)
int	getNumberOfStatementsThatUse(T v)
int	getPredNodeCount(INodeWithNumber n)
Iterator<? extends INodeWithNumber>	getPredNodes(INodeWithNumber n)
Iterator<AbstractStatement>	getStatements() Return an Iterator of the IFixedPointStatements in this system
Iterator<? extends INodeWithNumber>	getStatementsThatDef(T v)
Iterator<? extends INodeWithNumber>	getStatementsThatUse(T v)
AbstractStatement<?,?>	getStep(int number)
T	getVariable(int n)
Iterator<? extends INodeWithNumber>	getVariables() Return an Iterator of the variables in this graph
int	hashCode()
void	removeStatement(IFixedPointStatement<T> s) removes a given statement
void	reorder() reorder the statements in this system
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultFixedPointSystem

public DefaultFixedPointSystem(int expectedOut)

Parameters:

expectedOut - number of expected out edges in the "usual" case for constraints .. used to tune graph representation

DefaultFixedPointSystem

public DefaultFixedPointSystem()

default constructor ... tuned for one use for each def in dataflow graph.

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

removeStatement

public void removeStatement(IFixedPointStatement<T> s)

Description copied from interface: IFixedPointSystem

removes a given statement

Specified by:

removeStatement in interface IFixedPointSystem<T extends IVariable<T>>

getStatements

public Iterator<AbstractStatement> getStatements()

Description copied from interface: IFixedPointSystem

Return an Iterator of the IFixedPointStatements in this system

Specified by:

getStatements in interface IFixedPointSystem<T extends IVariable<T>>

Returns:

Iterator<Constraint>

addStatement

public void addStatement(IFixedPointStatement statement)
                  throws IllegalArgumentException,
                         UnimplementedError

Description copied from interface: IFixedPointSystem

Add a statement to the system

Specified by:

addStatement in interface IFixedPointSystem<T extends IVariable<T>>

Throws:

IllegalArgumentException

UnimplementedError

addStatement

public void addStatement(GeneralStatement<?> s)

addStatement

public void addStatement(UnaryStatement<?> s)

addStatement

public void addStatement(NullaryStatement<?> s)

addVariable

public void addVariable(T v)

getStep

public AbstractStatement<?,?> getStep(int number)

reorder

public void reorder()

Description copied from interface: IFixedPointSystem

reorder the statements in this system

Specified by:

reorder in interface IFixedPointSystem<T extends IVariable<T>>

getStatementsThatUse

public Iterator<? extends INodeWithNumber> getStatementsThatUse(T v)

Specified by:

getStatementsThatUse in interface IFixedPointSystem<T extends IVariable<T>>

Returns:

Iterator<statement>, the statements that use the variable

getStatementsThatDef

public Iterator<? extends INodeWithNumber> getStatementsThatDef(T v)

Specified by:

getStatementsThatDef in interface IFixedPointSystem<T extends IVariable<T>>

Returns:

Iterator<statement>, the statements that def the variable

getVariable

public T getVariable(int n)

getNumberOfStatementsThatUse

public int getNumberOfStatementsThatUse(T v)

Specified by:

getNumberOfStatementsThatUse in interface IFixedPointSystem<T extends IVariable<T>>

getNumberOfStatementsThatDef

public int getNumberOfStatementsThatDef(T v)

Specified by:

getNumberOfStatementsThatDef in interface IFixedPointSystem<T extends IVariable<T>>

getVariables

public Iterator<? extends INodeWithNumber> getVariables()

Description copied from interface: IFixedPointSystem

Return an Iterator of the variables in this graph

Specified by:

getVariables in interface IFixedPointSystem<T extends IVariable<T>>

Returns:

Iterator<IVariable>

getNumberOfNodes

public int getNumberOfNodes()

getPredNodes

public Iterator<? extends INodeWithNumber> getPredNodes(INodeWithNumber n)

getPredNodeCount

public int getPredNodeCount(INodeWithNumber n)

containsStatement

public boolean containsStatement(IFixedPointStatement<T> s)

Specified by:

containsStatement in interface IFixedPointSystem<T extends IVariable<T>>

Returns:

true iff this system already contains an equation that is equal() to s

containsVariable

public boolean containsVariable(T v)

Specified by:

containsVariable in interface IFixedPointSystem<T extends IVariable<T>>

Returns:

true iff this system already contains a variable that is equal() to v.