edu.umd.cs.findbugs.ba.npe
public class RedundantBranch extends Object
Field Summary | |
---|---|
IsNullValue | firstValue |
Edge | infeasibleEdge |
int | lineNumber |
Location | location |
IsNullValue | secondValue |
Constructor Summary | |
---|---|
RedundantBranch(Location location, int lineNumber, IsNullValue firstValue, IsNullValue secondValue)
Constructor.
| |
RedundantBranch(Location location, int lineNumber, IsNullValue firstValue)
Constructor.
|
Method Summary | |
---|---|
void | setInfeasibleEdge(Edge infeasibleEdge)
Set the edge which has been determined to be infeasible.
|
Parameters: location Location of ref comparison lineNumber line number of ref comparison firstValue first value compared secondValue second value compared
Parameters: location Location of ref comparison lineNumber line number of ref comparison firstValue first value compared
Parameters: infeasibleEdge The infeasibleEdge to set.