com.ibm.wala.dataflow.graph.BitVectorKillAll

public class BitVectorKillAll extends UnaryOperator<BitVectorVariable>

Just kills everything

Field Summary

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Method Summary

Modifier and Type

Method

Description

boolean

equals(Object o)

byte

evaluate(BitVectorVariable lhs, BitVectorVariable rhs)

Evaluate this equation, setting a new value for the left-hand side.

int

hashCode()

static BitVectorKillAll

instance()

String

toString()

Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Class BitVectorKillAll

Field Summary