Package edu.umd.cs.findbugs.ba.npe2
Class AcmpCondition
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.npe2.Condition
-
- edu.umd.cs.findbugs.ba.npe2.AcmpCondition
-
@Deprecated public class AcmpCondition extends Condition
Deprecated.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description AcmpCondition(Location location)
Deprecated.
-
Method Summary
All Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description Decision
getDecision(Edge edge)
Deprecated.ValueNumber
getValueNumber()
Deprecated.void
refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
Deprecated.-
Methods inherited from class edu.umd.cs.findbugs.ba.npe2.Condition
getLocation
-
-
-
-
Constructor Detail
-
AcmpCondition
public AcmpCondition(Location location)
Deprecated.
-
-
Method Detail
-
getDecision
public Decision getDecision(Edge edge)
Deprecated.- Specified by:
getDecision
in classCondition
-
getValueNumber
public ValueNumber getValueNumber()
Deprecated.- Specified by:
getValueNumber
in classCondition
-
refresh
public void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet) throws DataflowAnalysisException
Deprecated.- Specified by:
refresh
in classCondition
- Throws:
DataflowAnalysisException
-
-