gov.nasa.jpf.util

Class BinaryClassSource

java.lang.Object

gov.nasa.jpf.util.BinaryClassSource

Direct Known Subclasses:

ClassFile

public class BinaryClassSource
extends java.lang.Object

common root for classes that read classes from binary data

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	BinaryClassSource.BigEndianReader
static interface	BinaryClassSource.ByteReader
class	BinaryClassSource.LittleEndianReader

Field Summary

Fields

Modifier and Type	Field and Description
protected BinaryClassSource.ByteReader	byteReader
protected byte[]	data
protected int	pc
protected int	pos
protected int[]	posStack
protected int	top

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BinaryClassSource(byte[] data, int pos)
protected	BinaryClassSource(java.io.File file)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	dataToString(int startPos, int nBytes)
protected void	dumpData(int startPos, int nBytes)
protected void	error(java.lang.String msg)
byte[]	getData() obtain current classfile data.
int	getPos()
boolean	hasMoreData()
protected BinaryClassSource.ByteReader	initializeByteReader()
void	popPos()
void	pushPos()
byte[]	read(int n)
int	readByte()
java.lang.String	readByteString(int nChars)
protected void	readData(java.io.InputStream is)
static java.lang.String	readModifiedUTF8String(byte[] data, int pos, int len)
int	readUByte()
void	setPos(int newPos)
void	stopParsing()

Methods inherited from class java.lang.Object

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

Field Detail

data

protected byte[] data

pos

protected int pos

pc

protected int pc

posStack

protected int[] posStack

top

protected int top

byteReader

protected BinaryClassSource.ByteReader byteReader

Constructor Detail

BinaryClassSource

protected BinaryClassSource(byte[] data,
                            int pos)

BinaryClassSource

protected BinaryClassSource(java.io.File file)
                     throws ClassParseException

Throws:

ClassParseException

Method Detail

initializeByteReader

protected BinaryClassSource.ByteReader initializeByteReader()

readData

protected void readData(java.io.InputStream is)
                 throws ClassParseException

Throws:

ClassParseException

stopParsing

public void stopParsing()

error

protected void error(java.lang.String msg)
              throws ClassParseException

Throws:

ClassParseException

getData

public byte[] getData()

obtain current classfile data. This is mainly provided to allow on-the-fly classfile instrumentation with 3rd party libraries BEWARE - this is not a copy, i.e. any modification of the returned data might cause the parsing to fail.

getPos

public int getPos()

hasMoreData

public boolean hasMoreData()

setPos

public void setPos(int newPos)

pushPos

public void pushPos()

popPos

public void popPos()

readModifiedUTF8String

public static java.lang.String readModifiedUTF8String(byte[] data,
                                                      int pos,
                                                      int len)
                                               throws ClassParseException

Throws:

ClassParseException

readByte

public final int readByte()

readUByte

public final int readUByte()

read

public final byte[] read(int n)

readByteString

public java.lang.String readByteString(int nChars)

dumpData

protected void dumpData(int startPos,
                        int nBytes)

dataToString

protected java.lang.String dataToString(int startPos,
                                        int nBytes)