public class ReturnPathType
extends java.lang.Object
Constructor | Description |
---|---|
ReturnPathType() |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
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.
|
java.lang.String |
toString() |
public ReturnPathType()
public boolean canReturnNormally() throws DataflowAnalysisException
DataflowAnalysisException
public void copyFrom(ReturnPathType other)
other
- another dataflow factpublic void setTop()
public boolean isTop()
public void setCanReturnNormally(boolean canReturnNormally)
canReturnNormally
- true if the method can return normally at this
location, false otherwisepublic void mergeWith(ReturnPathType fact)
fact
- another dataflow factpublic boolean isValid()
public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.