edu.umd.cs.findbugs.ba.npe

Class ReturnPathType

public class ReturnPathType extends 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
	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.

Constructor Detail

ReturnPathType

public ReturnPathType()

Constructor. Creates a top dataflow fact.

Method Detail

canReturnNormally

public boolean canReturnNormally()

Returns: true if the method can return normally at this location, false otherwise

copyFrom

public void copyFrom(ReturnPathType other)

Make this dataflow fact an exact copy of the other one.

Parameters: other another dataflow fact

isTop

public boolean isTop()

Returns: true if the dataflow fact is top, false otherwise

isValid

public boolean isValid()

Returns: 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)

Merge this fact with given fact.

Parameters: fact another dataflow fact

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

setTop

public void setTop()

Set the dataflow fact to top.

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