edu.umd.cs.findbugs.ba.npe2

Class Condition

public abstract class Condition extends Object

Author: David Hovemeyer

Constructor Summary
Condition(Location location)
Method Summary
abstract DecisiongetDecision(Edge edge)
LocationgetLocation()
abstract ValueNumbergetValueNumber()
abstract voidrefresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)

Constructor Detail

Condition

public Condition(Location location)

Method Detail

getDecision

public abstract Decision getDecision(Edge edge)

getLocation

public Location getLocation()

getValueNumber

public abstract ValueNumber getValueNumber()

refresh

public abstract void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.