Package edu.umd.cs.findbugs.ba.npe

Class ReturnPathType

java.lang.Object

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:

• 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

Constructor Summary

Constructors

Constructor	Description
ReturnPathType()	Constructor.

Method Summary

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()

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