public class RedundantBranch
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
IsNullValue |
firstValue |
|
Edge |
infeasibleEdge |
|
int |
lineNumber |
|
Location |
location |
|
IsNullValue |
secondValue |
Constructor | Description |
---|---|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue) |
Constructor.
|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue,
IsNullValue secondValue) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
void |
setInfeasibleEdge(Edge infeasibleEdge) |
Set the edge which has been determined to be infeasible.
|
java.lang.String |
toString() |
public final Location location
public final int lineNumber
public final IsNullValue firstValue
public final IsNullValue secondValue
public Edge infeasibleEdge
public RedundantBranch(Location location, int lineNumber, IsNullValue firstValue, IsNullValue secondValue)
location
- Location of ref comparisonlineNumber
- line number of ref comparisonfirstValue
- first value comparedsecondValue
- second value comparedpublic RedundantBranch(Location location, int lineNumber, IsNullValue firstValue)
location
- Location of ref comparisonlineNumber
- line number of ref comparisonfirstValue
- first value comparedpublic void setInfeasibleEdge(Edge infeasibleEdge)
infeasibleEdge
- The infeasibleEdge to set.public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.