edu.umd.cs.findbugs.ba.npe
public class IsNullConditionDecision extends Object implements EdgeTypes
See Also: IsNullValue IsNullValueFrame IsNullValueAnalysis
Constructor Summary | |
---|---|
IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision)
Constructor.
|
Method Summary | |
---|---|
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. |
Parameters: value the ValueNumber for which we have new information; null if no new information ifcmpDecision the decision for the IFCMP_EDGE; null if that edge is not feasible fallThroughDecision the decision for the FALL_THROUGH_EDGE; null if that edge is not feasible
Parameters: edgeType the type of edge; must be IFCMP_EDGE or FALL_THROUGH_EDGE
Returns: true if the edge is feasible, false if infeasible