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
SwitchHandler.SwitchDetails(int pc, int[] offsets, int defOffset, boolean exhaustive)

Method Summary

Methods

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

SwitchHandler.SwitchDetails

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

Method Detail

getNextSwitchOffset

public int getNextSwitchOffset(int currentPC)

getDefaultOffset

public int getDefaultOffset()