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
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
addStatement
(IFixedPointStatement<T> statement) Add a statement to the systemvoid
void
addVariable
(T v) boolean
boolean
boolean
int
int
int
int
Iterator
<? extends INodeWithNumber> Return an Iterator of theIFixedPointStatement
s in this systemIterator
<? extends INodeWithNumber> Iterator
<? extends INodeWithNumber> AbstractStatement
<?, ?> getStep
(int number) getVariable
(int n) Iterator
<? extends INodeWithNumber> Return an Iterator of the variables in this graphint
hashCode()
void
removes a given statementvoid
reorder()
reorder the statements in this systemtoString()
-
Constructor Details
-
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 Details
-
equals
-
hashCode
-
toString
-
removeStatement
Description copied from interface:IFixedPointSystem
removes a given statement- Specified by:
removeStatement
in interfaceIFixedPointSystem<T extends IVariable<T>>
-
getStatements
Description copied from interface:IFixedPointSystem
Return an Iterator of theIFixedPointStatement
s in this system- Specified by:
getStatements
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Returns:
Iterator
<Constraint>
-
addStatement
public void addStatement(IFixedPointStatement<T> statement) throws IllegalArgumentException, UnimplementedError Description copied from interface:IFixedPointSystem
Add a statement to the system- Specified by:
addStatement
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Throws:
IllegalArgumentException
UnimplementedError
-
addStatement
-
addStatement
-
addStatement
-
addVariable
-
getStep
-
reorder
public void reorder()Description copied from interface:IFixedPointSystem
reorder the statements in this system- Specified by:
reorder
in interfaceIFixedPointSystem<T extends IVariable<T>>
-
getStatementsThatUse
- Specified by:
getStatementsThatUse
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Returns:
Iterator
<statement>, the statements that use the variable
-
getStatementsThatDef
- Specified by:
getStatementsThatDef
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Returns:
Iterator
<statement>, the statements that def the variable
-
getVariable
-
getNumberOfStatementsThatUse
- Specified by:
getNumberOfStatementsThatUse
in interfaceIFixedPointSystem<T extends IVariable<T>>
-
getNumberOfStatementsThatDef
- Specified by:
getNumberOfStatementsThatDef
in interfaceIFixedPointSystem<T extends IVariable<T>>
-
getVariables
Description copied from interface:IFixedPointSystem
Return an Iterator of the variables in this graph- Specified by:
getVariables
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Returns:
Iterator
<IVariable
>
-
getNumberOfNodes
public int getNumberOfNodes() -
getPredNodes
-
getPredNodeCount
-
containsStatement
- Specified by:
containsStatement
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Returns:
- true iff this system already contains an equation that is equal() to s
-
containsVariable
- Specified by:
containsVariable
in interfaceIFixedPointSystem<T extends IVariable<T>>
- Returns:
- true iff this system already contains a variable that is equal() to v.
-