public class ReturnPath
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
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 and Description |
---|
ReturnPath(int kind) |
Modifier and Type | Method and Description |
---|---|
void |
copyFrom(ReturnPath other) |
int |
getKind() |
void |
mergeWith(ReturnPath other) |
boolean |
sameAs(ReturnPath other) |
void |
setKind(int kind) |
java.lang.String |
toString() |
public static final int TOP
public static final int EXIT
public static final int UE
public static final int EXIT_UE
public static final int RETURNS
public int getKind()
public void setKind(int kind)
public void copyFrom(ReturnPath other)
public boolean sameAs(ReturnPath other)
public void mergeWith(ReturnPath other)
public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.