edu.umd.cs.findbugs.ba.npe
public class ReturnPathType extends Object
Constructor Summary | |
---|---|
ReturnPathType()
Constructor.
|
Method Summary | |
---|---|
boolean | canReturnNormally() |
void | copyFrom(ReturnPathType other)
Make this dataflow fact an exact copy of the other one.
|
boolean | isTop() |
boolean | isValid() |
void | mergeWith(ReturnPathType fact)
Merge this fact with given fact.
|
void | setCanReturnNormally(boolean canReturnNormally)
Set whether or not it is possible to return normally.
|
void | setTop()
Set the dataflow fact to top. |
Returns: true if the method can return normally at this location, false otherwise
Parameters: other another dataflow fact
Returns: true if the dataflow fact is top, false otherwise
Returns: true if this is a valid dataflow fact (not top or bottom), false if not a valid dataflow fact
Parameters: fact another dataflow fact
Parameters: canReturnNormally true if the method can return normally at this location, false otherwise