edu.umd.cs.findbugs.ba
Class ReturnPath

java.lang.Object
  edu.umd.cs.findbugs.ba.ReturnPath

public class ReturnPath
extends java.lang.Object

Field Summary

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

Constructor Summary

ReturnPath(int kind)

Method Summary

void	copyFrom(ReturnPath other)
int	getKind()
void	mergeWith(ReturnPath other)
boolean	sameAs(ReturnPath other)
void	setKind(int kind)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

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 Detail

ReturnPath

public ReturnPath(int kind)

Method Detail

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object