Package edu.umd.cs.findbugs
Class SwitchHandler.SwitchDetails
java.lang.Object
edu.umd.cs.findbugs.SwitchHandler.SwitchDetails
- Enclosing class:
SwitchHandler
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) final int
(package private) final boolean
(package private) final int
(package private) int
(package private) final int
(package private) final int[]
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
switchPC
final int switchPC -
swOffsets
final int[] swOffsets -
defaultOffset
final int defaultOffset -
maxOffset
final int maxOffset -
nextOffset
int nextOffset -
exhaustive
final boolean exhaustive
-
-
Constructor Details
-
SwitchDetails
public SwitchDetails(int pc, int[] offsets, int defOffset, boolean exhaustive)
-
-
Method Details
-
getNextSwitchOffset
public int getNextSwitchOffset(int currentPC) -
getDefaultOffset
public int getDefaultOffset() -
getLastOffset
private int getLastOffset()
-