FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.npe2
Class IfNullCondition

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.npe2.Condition
      extended by edu.umd.cs.findbugs.ba.npe2.IfNullCondition

public class IfNullCondition
extends Condition

Author:
David Hovemeyer

Constructor Summary
IfNullCondition(Location location)
           
 
Method Summary
 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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.