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