Package edu.umd.cs.findbugs.ba

Class ReturnPath

java.lang.Object

edu.umd.cs.findbugs.ba.ReturnPath

public class ReturnPath
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final int	EXIT	Method "returns" by exiting the process.
static final int	EXIT_UE	Method returns either by exiting or throwing an unhandled exception.
static final int	RETURNS	Method may return normally.
static final int	TOP	Top value.
static final int	UE	Method returns by throwing an unhandled exception.

Constructor Summary

Constructors

Constructor	Description
ReturnPath(int kind)

Method Summary

Modifier and Type	Method	Description
void	copyFrom(ReturnPath other)
int	getKind()
void	mergeWith(ReturnPath other)
boolean	sameAs(ReturnPath other)
void	setKind(int kind)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

TOP

public static final int TOP

Top value.

See Also:

• Constant Field Values

EXIT

public static final int EXIT

Method "returns" by exiting the process.

See Also:

• Constant Field Values

UE

public static final int UE

Method returns by throwing an unhandled exception.

See Also:

• Constant Field Values

EXIT_UE

public static final int EXIT_UE

Method returns either by exiting or throwing an unhandled exception.

See Also:

• Constant Field Values

RETURNS

public static final int RETURNS

Method may return normally.

See Also:

• Constant Field Values

Constructor Details

ReturnPath

public ReturnPath(int kind)

Method Details

getKind

public int getKind()

setKind

public void setKind(int kind)

copyFrom

public void copyFrom(ReturnPath other)

sameAs

public boolean sameAs(ReturnPath other)

mergeWith

public void mergeWith(ReturnPath other)

toString

public String toString()

Overrides:

toString in class Object