AcmpCondition
, IfNullCondition
public abstract class Condition
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
abstract Decision |
getDecision(Edge edge) |
|
Location |
getLocation() |
|
abstract ValueNumber |
getValueNumber() |
|
abstract void |
refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet) |
public Condition(Location location)
public Location getLocation()
public abstract void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet) throws DataflowAnalysisException
DataflowAnalysisException
public abstract ValueNumber getValueNumber()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.