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 and Description
IfNullCondition(Location location)

Method Summary

Methods

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IfNullCondition

public IfNullCondition(Location location)

Method Detail

getDecision

public Decision getDecision(Edge edge)

Specified by:

getDecision in class Condition

getValueNumber

public ValueNumber getValueNumber()

Specified by:

getValueNumber in class Condition

refresh

public void refresh(ValueNumberFrame vnaFrame,
           DefinitelyNullSet definitelyNullSet)
             throws DataflowAnalysisException

Specified by:

refresh in class Condition

Throws:

DataflowAnalysisException