public abstract class Condition
extends java.lang.Object
Modifier and Type | Method and 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.