public class ReturnPathType
extends java.lang.Object
Constructor and Description |
---|
ReturnPathType()
Constructor.
|
Modifier and Type | Method and 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 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.