java.lang.Object
- com.ibm.wala.fixedpoint.impl.DefaultFixedPointSystem<T>

All Implemented Interfaces:: IFixedPointSystem<T>

public class DefaultFixedPointSystem<T extends IVariable<T>>
extends java.lang.Object
implements IFixedPointSystem<T>

Default implementation of a dataflow graph

Constructor Summary

Constructors
Constructor Description

DefaultFixedPointSystem()
default constructor ...

DefaultFixedPointSystem(int expectedOut)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addStatement(GeneralStatement<?> s)`
`void`	`addStatement(NullaryStatement<?> s)`
`void`	`addStatement(IFixedPointStatement statement)`	Add a statement to the system
`void`	`addStatement(UnaryStatement<?> s)`
`void`	`addVariable(T v)`
`boolean`	`containsStatement(IFixedPointStatement<T> s)`
`boolean`	`containsVariable(T v)`
`boolean`	`equals(java.lang.Object obj)`
`int`	`getNumberOfNodes()`
`int`	`getNumberOfStatementsThatDef(T v)`
`int`	`getNumberOfStatementsThatUse(T v)`
`int`	`getPredNodeCount(INodeWithNumber n)`
`java.util.Iterator<? extends INodeWithNumber>`	`getPredNodes(INodeWithNumber n)`
`java.util.Iterator<AbstractStatement>`	`getStatements()`	Return an Iterator of the `IFixedPointStatement`s in this system
`java.util.Iterator<? extends INodeWithNumber>`	`getStatementsThatDef(T v)`
`java.util.Iterator<? extends INodeWithNumber>`	`getStatementsThatUse(T v)`
`AbstractStatement<?,?>`	`getStep(int number)`
`T`	`getVariable(int n)`
`java.util.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
`java.lang.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(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.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 java.util.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 java.lang.IllegalArgumentException,
                         UnimplementedError
```
    Description copied from interface: IFixedPointSystem
    
    Add a statement to the system
    
    Specified by:
    
    addStatement in interface IFixedPointSystem<T extends IVariable<T>>
    
    Throws:
    
    java.lang.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 java.util.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 java.util.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 java.util.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 java.util.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.

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

Class DefaultFixedPointSystem<T extends IVariable<T>>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

DefaultFixedPointSystem

DefaultFixedPointSystem

Method Detail

equals

hashCode

toString

removeStatement

getStatements

addStatement

addStatement

addStatement

addStatement

addVariable

getStep

reorder

getStatementsThatUse

getStatementsThatDef

getVariable

getNumberOfStatementsThatUse

getNumberOfStatementsThatDef

getVariables

getNumberOfNodes

getPredNodes

getPredNodeCount

containsStatement

containsVariable