FindBugs™ 1.3.9

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

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.npe2.Condition
Direct Known Subclasses:
AcmpCondition, IfNullCondition

public abstract class Condition
extends java.lang.Object

Author:
David Hovemeyer

Constructor Summary
Condition(Location location)
           
 
Method Summary
abstract  Decision getDecision(Edge edge)
           
 Location getLocation()
           
abstract  ValueNumber getValueNumber()
           
abstract  void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Condition

public Condition(Location location)
Method Detail

getLocation

public Location getLocation()

refresh

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

getValueNumber

public abstract ValueNumber getValueNumber()

getDecision

public abstract Decision getDecision(Edge edge)

FindBugs™ 1.3.9

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