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 UnaryStatement

lhs, rhs

Method Summary

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

Methods inherited from class UnaryStatement

equals, evaluate, getLHS, getOperands, getRHS, getRightHandSide, hashCode, hasVariable, toString

Methods inherited from class AbstractStatement

getOrderNumber

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface INodeWithNumber

getGraphNodeId, setGraphNodeId

Method Details

getOperator

public UnaryOperator<T> getOperator()

Specified by:

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