|
FindBugs™ 1.3.9 | |||||||||
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
Constructor Summary | |
---|---|
IsNullConditionDecision(ValueNumber value,
IsNullValue ifcmpDecision,
IsNullValue fallThroughDecision)
Constructor. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
|
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. |
int |
hashCode()
|
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, finalize, getClass, 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 int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public ValueNumber getValue()
public boolean isRedundant()
public boolean isEdgeFeasible(int edgeType)
edgeType
- the type of edge; must be IFCMP_EDGE or FALL_THROUGH_EDGE
@CheckForNull 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
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |