Uses of Interface
gov.nasa.jpf.jvm.JVMByteCodeReader

Packages that use JVMByteCodeReader

Package	Description
gov.nasa.jpf.jvm

Uses of JVMByteCodeReader in gov.nasa.jpf.jvm

Classes in gov.nasa.jpf.jvm that implement JVMByteCodeReader

Modifier and Type	Class and Description
class	JVMByteCodePrinter utility class that prints out bytecode in readable form
class	JVMByteCodeReaderAdapter empty implementation of a JVMByteCodeReader, to efficiently allow overriding single methods
class	JVMCodeBuilder a special JVMByteCodeReader implementation that builds code arrays for MethodInfos, setting index and pc on the fly

Methods in gov.nasa.jpf.jvm with parameters of type JVMByteCodeReader

Modifier and Type	Method and Description
void	ClassFile.parseBytecode(JVMByteCodeReader reader, Object tag, int codeLength)
void	ClassFile.parseLookupSwitchEntries(JVMByteCodeReader reader, int nEntries)
void	ClassFile.parseTableSwitchEntries(JVMByteCodeReader reader, int low, int high)