Class SwitchHandler.SwitchDetails

java.lang.Object

edu.umd.cs.findbugs.SwitchHandler.SwitchDetails

Enclosing class:

SwitchHandler

public static class SwitchHandler.SwitchDetails
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	defaultOffset
(package private) final boolean	exhaustive
(package private) final int	maxOffset
(package private) int	nextOffset
(package private) final int	switchPC
(package private) final int[]	swOffsets

Constructor Summary

Constructors

Constructor	Description
SwitchDetails(int pc, int[] offsets, int defOffset, boolean exhaustive)

Method Summary

Modifier and Type	Method	Description
int	getDefaultCasePC()
private int	getLastCasePC()
int	getNextSwitchCasePC(int currentPC)
int	getSwitchPC()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getNextSwitchCasePC

public int getNextSwitchCasePC(int currentPC)

getDefaultCasePC

public int getDefaultCasePC()

Returns:

The PC of the default case

getLastCasePC

private int getLastCasePC()

Returns:

The PC of the last switch branch

getSwitchPC

public int getSwitchPC()

Returns:

The PC of the switch instruction