Package edu.umd.cs.findbugs.ba.npe2
Class IfNullCondition
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.npe2.Condition
-
- edu.umd.cs.findbugs.ba.npe2.IfNullCondition
-
public class IfNullCondition extends Condition
- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description IfNullCondition(Location location)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Decision
getDecision(Edge edge)
ValueNumber
getValueNumber()
void
refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
-
Methods inherited from class edu.umd.cs.findbugs.ba.npe2.Condition
getLocation
-
-
-
-
Constructor Detail
-
IfNullCondition
public IfNullCondition(Location location)
-
-
Method Detail
-
getDecision
public Decision getDecision(Edge edge)
- Specified by:
getDecision
in classCondition
-
getValueNumber
public ValueNumber getValueNumber()
- Specified by:
getValueNumber
in classCondition
-
refresh
public void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet) throws DataflowAnalysisException
- Specified by:
refresh
in classCondition
- Throws:
DataflowAnalysisException
-
-