AssignEquation (API Reference for wala 1.3.9)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

java.lang.Object
- com.ibm.wala.util.graph.impl.NodeWithNumber
- - com.ibm.wala.fixpoint.AbstractStatement<T,UnaryOperator<T>>
  - - com.ibm.wala.fixpoint.UnaryStatement<PointsToSetVariable>
    - - com.ibm.wala.ipa.callgraph.propagation.AssignEquation

All Implemented Interfaces:

IFixedPointStatement<PointsToSetVariable>, INodeWithNumber
```
public final class AssignEquation
extends UnaryStatement<PointsToSetVariable>
```
A specialized equation class introduced for efficiency.

- Field Summary
  - Fields inherited from class com.ibm.wala.fixpoint.UnaryStatement
    lhs, rhs
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method and Description
  
  boolean equals(Object o)
  
  UnaryOperator<PointsToSetVariable> getOperator()
  - Methods inherited from class com.ibm.wala.fixpoint.UnaryStatement
    evaluate, getLHS, getOperands, getRHS, getRightHandSide, hashCode, hasVariable, toString
  - Methods inherited from class com.ibm.wala.fixpoint.AbstractStatement
    getOrderNumber
  - Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber
    getGraphNodeId, setGraphNodeId
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait
  - Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
    getGraphNodeId, setGraphNodeId

- Method Detail
  - getOperator
```
public UnaryOperator<PointsToSetVariable> getOperator()
```
    Specified by:
    
    getOperator in class AbstractStatement<PointsToSetVariable,UnaryOperator<PointsToSetVariable>>
  - equals
```
public boolean equals(Object o)
```
    Overrides:
    
    equals in class UnaryStatement<PointsToSetVariable>

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method