public class ReturnPath
extends java.lang.Object
Modifier and Type | Field | 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 | Description |
---|---|
ReturnPath(int kind) |
Modifier and Type | Method | 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.