edu.umd.cs.findbugs.ba.npe2
public abstract class Condition extends Object
Constructor Summary | |
---|---|
Condition(Location location) |
Method Summary | |
---|---|
abstract Decision | getDecision(Edge edge) |
Location | getLocation() |
abstract ValueNumber | getValueNumber() |
abstract void | refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet) |