edu.umd.cs.findbugs

Class SwitchHandler.SwitchDetails

java.lang.Object

edu.umd.cs.findbugs.SwitchHandler.SwitchDetails

Enclosing class:

SwitchHandler

public static class SwitchHandler.SwitchDetails
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
int	getDefaultOffset()
int	getNextSwitchOffset(int currentPC)

Methods inherited from class java.lang.Object

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

Constructor Detail

SwitchDetails

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

Method Detail

getNextSwitchOffset

public int getNextSwitchOffset(int currentPC)

getDefaultOffset

public int getDefaultOffset()