Uses of Interface
gov.nasa.jpf.vm.TableSwitchInstruction

Packages that use TableSwitchInstruction

Package	Description
gov.nasa.jpf.jvm
gov.nasa.jpf.jvm.bytecode

Uses of TableSwitchInstruction in gov.nasa.jpf.jvm

Fields in gov.nasa.jpf.jvm declared as TableSwitchInstruction

Modifier and Type	Field and Description
protected TableSwitchInstruction	JVMCodeBuilder.tableswitchInsn

Uses of TableSwitchInstruction in gov.nasa.jpf.jvm.bytecode

Classes in gov.nasa.jpf.jvm.bytecode that implement TableSwitchInstruction

Modifier and Type	Class and Description
class	TABLESWITCH Access jump table by index and jump ..., index => ...