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
-
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Decision
getDecision(Edge edge)
Location
getLocation()
abstract ValueNumber
getValueNumber()
abstract void
refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
-
-
-
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()
-
-