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:

Author: David Hovemeyer

Constructor Summary
ReturnPathType()
Constructor.
Method Summary
booleancanReturnNormally()
voidcopyFrom(ReturnPathType other)
Make this dataflow fact an exact copy of the other one.
booleanisTop()
booleanisValid()
voidmergeWith(ReturnPathType fact)
Merge this fact with given fact.
voidsetCanReturnNormally(boolean canReturnNormally)
Set whether or not it is possible to return normally.
voidsetTop()
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.