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 Decision	getDecision(Edge edge)
Location	getLocation()
abstract ValueNumber	getValueNumber()
abstract void	refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)

Constructor Detail

public Condition(Location location)

public abstract Decision getDecision(Edge edge)

public Location getLocation()

public abstract ValueNumber getValueNumber()

public abstract void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)