FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.npe
Class ReturnPathType

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.npe.ReturnPathType

public class ReturnPathType
extends java.lang.Object

A dataflow value that indicates what kind of return path is possible at the current program location. Either:

Author:
David Hovemeyer

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.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ReturnPathType

public ReturnPathType()
Constructor. Creates a top dataflow fact.

Method Detail

canReturnNormally

public boolean canReturnNormally()
                          throws DataflowAnalysisException
Returns:
true if the method can return normally at this location, false otherwise
Throws:
DataflowAnalysisException

copyFrom

public void copyFrom(ReturnPathType other)
Make this dataflow fact an exact copy of the other one.

Parameters:
other - another dataflow fact

setTop

public void setTop()
Set the dataflow fact to top.


isTop

public boolean isTop()
Returns:
true if the dataflow fact is top, false otherwise

setCanReturnNormally

public void setCanReturnNormally(boolean canReturnNormally)
Set whether or not it is possible to return normally.

Parameters:
canReturnNormally - true if the method can return normally at this location, false otherwise

mergeWith

public void mergeWith(ReturnPathType fact)
Merge this fact with given fact.

Parameters:
fact - another dataflow fact

isValid

public boolean isValid()
Returns:
true if this is a valid dataflow fact (not top or bottom), false if not a valid dataflow fact

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.