Package edu.umd.cs.findbugs.ba
Class ReturnPath
java.lang.Object
edu.umd.cs.findbugs.ba.ReturnPath
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
Method "returns" by exiting the process.static final int
Method returns either by exiting or throwing an unhandled exception.private int
private static final int[][]
static final int
Method may return normally.static final int
Top value.static final int
Method returns by throwing an unhandled exception. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
copyFrom
(ReturnPath other) int
getKind()
void
mergeWith
(ReturnPath other) boolean
sameAs
(ReturnPath other) void
setKind
(int kind) toString()
-
Field Details
-
TOP
public static final int TOPTop value.- See Also:
-
EXIT
public static final int EXITMethod "returns" by exiting the process.- See Also:
-
UE
public static final int UEMethod returns by throwing an unhandled exception.- See Also:
-
EXIT_UE
public static final int EXIT_UEMethod returns either by exiting or throwing an unhandled exception.- See Also:
-
RETURNS
public static final int RETURNSMethod may return normally.- See Also:
-
kind
private int kind -
mergeMatrix
private static final int[][] mergeMatrix
-
-
Constructor Details
-
ReturnPath
public ReturnPath(int kind)
-
-
Method Details