com.ibm.wala.fixpoint

Class BasicUnaryStatement<T extends IVariable<T>>

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractStatement<T,UnaryOperator<T>>

com.ibm.wala.fixpoint.UnaryStatement<T>

com.ibm.wala.fixpoint.BasicUnaryStatement<T>

All Implemented Interfaces:

IFixedPointStatement<T>, INodeWithNumber

public class BasicUnaryStatement<T extends IVariable<T>>
extends UnaryStatement<T>

An implementation of UnaryStatement that carries its operator explicitly

Field Summary

Fields inherited from class com.ibm.wala.fixpoint.UnaryStatement

lhs, rhs

Method Summary

Modifier and Type	Method and Description
UnaryOperator<T>	getOperator()

Methods inherited from class com.ibm.wala.fixpoint.UnaryStatement

equals, 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<T> getOperator()

Specified by:

getOperator in class AbstractStatement<T extends IVariable<T>,UnaryOperator<T extends IVariable<T>>>