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

java.lang.Object
  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)