Package 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

Constructors

Constructor	Description
Condition(Location location)

Method Summary

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