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

public class BasicNullaryStatement<T extends IVariable<T>> extends NullaryStatement<T>

An implementation of NullaryStep that carries its operator explicitly

Field Summary

Fields inherited from class com.ibm.wala.fixedpoint.impl.NullaryStatement
lhs
Constructor Summary

Constructors

Constructor

Description

BasicNullaryStatement(T lhs, NullaryOperator<T> operator)
Method Summary

Modifier and Type

Method

Description

NullaryOperator<T>

getOperator()

String

toString()

Return a string representation of this object

Methods inherited from class com.ibm.wala.fixedpoint.impl.NullaryStatement
equals, evaluate, getLHS, getRHS, hashCode, hasVariable

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

Constructor Details
- BasicNullaryStatement
  
  public BasicNullaryStatement(T lhs, NullaryOperator<T> operator)
Method Details
- getOperator
  
  public NullaryOperator<T> getOperator()
  
  Specified by:
  
  getOperator in class AbstractStatement<T extends IVariable<T>,NullaryOperator<T extends IVariable<T>>>
  
  Returns:
  
  Returns the operator.
- toString
  
  public String toString()
  
  Return a string representation of this object
  
  Overrides:
  
  toString in class AbstractStatement<T extends IVariable<T>,NullaryOperator<T extends IVariable<T>>>
  
  Returns:
  
  a string representation of this object

Class BasicNullaryStatement<T extends IVariable<T>>

Field Summary