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.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:
-
-
Constructor Details
-
ReturnPath
public ReturnPath(int kind)
-
-
Method Details