| java.lang.Object edu.umd.cs.findbugs.ba.npe.ReturnPathType
ReturnPathType | public class ReturnPathType (Code) | | A dataflow value that indicates what kind of return path
is possible at the current program location.
Either:
- It is possible to return normally
- It is not possible to return normally
(i.e., an exception is guaranteed to be thrown)
author: David Hovemeyer |
ReturnPathType | public ReturnPathType()(Code) | | Constructor.
Creates a top dataflow fact.
|
canReturnNormally | public boolean canReturnNormally() throws DataflowAnalysisException(Code) | | true if the method can return normally at thislocation, false otherwise |
copyFrom | public void copyFrom(ReturnPathType other)(Code) | | Make this dataflow fact an exact copy of the other one.
Parameters: other - another dataflow fact |
isTop | public boolean isTop()(Code) | | true if the dataflow fact is top, false otherwise |
isValid | public boolean isValid()(Code) | | true if this is a valid dataflow fact (not top or bottom),false if not a valid dataflow fact |
mergeWith | public void mergeWith(ReturnPathType fact)(Code) | | Merge this fact with given fact.
Parameters: fact - another dataflow fact |
sameAs | boolean sameAs(ReturnPathType other)(Code) | | Determine whether this dataflow fact is identical to another one.
Parameters: other - another dataflow fact true if the two dataflow facts are identical,false if they are different |
setCanReturnNormally | public void setCanReturnNormally(boolean canReturnNormally)(Code) | | Set whether or not it is possible to return normally.
Parameters: canReturnNormally - true if the method can return normally at thislocation, false otherwise |
setTop | public void setTop()(Code) | | Set the dataflow fact to top.
|
|
|