|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.npe.IsNullConditionDecision
public class IsNullConditionDecision
A control decision which resulted in information being gained about whether a particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE branches.
IsNullValue
,
IsNullValueFrame
,
IsNullValueAnalysis
Field Summary |
---|
Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes |
---|
BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE |
Constructor Summary | |
---|---|
IsNullConditionDecision(ValueNumber value,
IsNullValue ifcmpDecision,
IsNullValue fallThroughDecision)
Constructor. |
Method Summary | |
---|---|
IsNullValue |
getDecision(int edgeType)
Get the decision reached about the value on outgoing edge of given type. |
ValueNumber |
getValue()
Get the value about which the branch yields information. |
boolean |
isEdgeFeasible(int edgeType)
Determine whether or not the given edge is feasible. |
boolean |
isRedundant()
Determine whether or not the comparison is redundant. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public IsNullConditionDecision(@CheckForNull ValueNumber value, @CheckForNull IsNullValue ifcmpDecision, @CheckForNull IsNullValue fallThroughDecision)
value
- the ValueNumber for which we have new information; null if no
new informationifcmpDecision
- the decision for the IFCMP_EDGE; null if that edge is not feasiblefallThroughDecision
- the decision for the FALL_THROUGH_EDGE; null if that edge is not feasibleMethod Detail |
---|
public ValueNumber getValue()
public boolean isRedundant()
public boolean isEdgeFeasible(int edgeType)
edgeType
- the type of edge; must be IFCMP_EDGE or FALL_THROUGH_EDGE
public IsNullValue getDecision(int edgeType)
edgeType
- the type of edge; must be IFCMP_EDGE or FALL_THROUGH_EDGE
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |