Package edu.umd.cs.findbugs.ba.npe

Class RedundantBranch

java.lang.Object

edu.umd.cs.findbugs.ba.npe.RedundantBranch

public class RedundantBranch
extends Object

An instruction recorded as a redundant reference comparison. We keep track of the line number, in order to ensure that if the branch was duplicated, all duplicates are determined in the same way. (If they aren't, then we don't report it.)

Field Summary

Fields

Modifier and Type	Field	Description
final IsNullValue	firstValue
Edge	infeasibleEdge
final int	lineNumber
final Location	location
final IsNullValue	secondValue

Constructor Summary

Constructors

Constructor	Description
RedundantBranch(Location location, int lineNumber, IsNullValue firstValue)	Constructor.
RedundantBranch(Location location, int lineNumber, IsNullValue firstValue, IsNullValue secondValue)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	setInfeasibleEdge(Edge infeasibleEdge)	Set the edge which has been determined to be infeasible.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

location

public final Location location

lineNumber

public final int lineNumber

firstValue

public final IsNullValue firstValue

secondValue

public final IsNullValue secondValue

infeasibleEdge

public Edge infeasibleEdge

Constructor Details

RedundantBranch

public RedundantBranch(Location location,
 int lineNumber,
 IsNullValue firstValue,
 IsNullValue secondValue)

Constructor.

Parameters:

location - Location of ref comparison

lineNumber - line number of ref comparison

firstValue - first value compared

secondValue - second value compared

RedundantBranch

public RedundantBranch(Location location,
 int lineNumber,
 IsNullValue firstValue)

Constructor.

Parameters:

location - Location of ref comparison

lineNumber - line number of ref comparison

firstValue - first value compared

Method Details

setInfeasibleEdge

public void setInfeasibleEdge(Edge infeasibleEdge)

Set the edge which has been determined to be infeasible.

Parameters:

infeasibleEdge - The infeasibleEdge to set.

toString

public String toString()

Overrides:

toString in class Object