gov.nasa.jpf.jvm

Class ClassFile

java.lang.Object

gov.nasa.jpf.util.BinaryClassSource

gov.nasa.jpf.jvm.ClassFile

public class ClassFile
extends BinaryClassSource

class to read and dissect Java classfile contents (as specified by the Java VM spec http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html#16628

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ClassFile.CpInfo

Nested classes/interfaces inherited from class gov.nasa.jpf.util.BinaryClassSource

BinaryClassSource.BigEndianReader, BinaryClassSource.ByteReader, BinaryClassSource.LittleEndianReader

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ANNOTATIONDEFAULT_ATTR
static java.lang.String	BOOTSTRAP_METHOD_ATTR
static int	CAST
static int	CLASS_EXTENDS
static int	CLASS_TYPE_PARAMETER
static int	CLASS_TYPE_PARAMETER_BOUND
static java.lang.String	CODE_ATTR
static java.lang.String	CONST_VALUE_ATTR
static int	CONSTANT_CLASS
static int	CONSTANT_DOUBLE
static int	CONSTANT_FLOAT
static int	CONSTANT_INTEGER
static int	CONSTANT_LONG
static int	CONSTANT_STRING
static int	CONSTANT_UTF8
static int	CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT
static int	CONSTRUCTOR_REFERENCE
static int	CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT
static java.lang.String	DEPRECATED_ATTR
static java.lang.String	ENCLOSING_METHOD_ATTR
static int	EXCEPTION_PARAMETER
static java.lang.String	EXCEPTIONS_ATTR
static int	FIELD
static int	FIELD_REF
static java.lang.String	INNER_CLASSES_ATTR
static int	INSTANCEOF
static int	INTERFACE_METHOD_REF
static int	INVOKE_DYNAMIC
static java.lang.String	LINE_NUMBER_TABLE_ATTR
static java.lang.String	LOCAL_VAR_TABLE_ATTR
static int	LOCAL_VARIABLE
static int	METHOD_FORMAL_PARAMETER
static int	METHOD_HANDLE
static int	METHOD_INVOCATION_TYPE_ARGUMENT
static int	METHOD_RECEIVER
static int	METHOD_REF
static int	METHOD_REFERENCE
static int	METHOD_REFERENCE_TYPE_ARGUMENT
static int	METHOD_RETURN
static int	METHOD_TYPE
static int	METHOD_TYPE_PARAMETER
static int	METHOD_TYPE_PARAMETER_BOUND
static int	NAME_AND_TYPE
static int	NEW
static int	REF_GETFIELD
static int	REF_GETSTATIC
static int	REF_INVOKEINTERFACE
static int	REF_INVOKESPECIAL
static int	REF_INVOKESTATIC
static int	REF_INVOKEVIRTUAL
static int	REF_NEW_INVOKESPECIAL
static int	REF_PUTFIELD
static int	REF_PUTSTATIC
static int	RESOURCE_VARIABLE
static java.lang.String	RUNTIME_INVISIBLE_ANNOTATIONS_ATTR
static java.lang.String	RUNTIME_INVISIBLE_PARAMETER_ANNOTATIONS_ATTR
static java.lang.String	RUNTIME_VISIBLE_ANNOTATIONS_ATTR
static java.lang.String	RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS_ATTR
static java.lang.String	RUNTIME_VISIBLE_TYPE_ANNOTATIONS_ATTR
static java.lang.String	SIGNATURE_ATTR
static java.lang.String	SOURCE_FILE_ATTR
protected static java.lang.String[]	stdClassAttrs
protected static java.lang.String[]	stdCodeAttrs
protected static java.lang.String[]	stdFieldAttrs
protected static java.lang.String[]	stdMethodAttrs
static java.lang.String	SYNTHETIC_ATTR
static int	THROWS

Fields inherited from class gov.nasa.jpf.util.BinaryClassSource

byteReader, data, pc, pos, posStack, top

Constructor Summary

Constructors

Constructor and Description
ClassFile(byte[] data)
ClassFile(byte[] data, int offset)
ClassFile(java.io.File file)
ClassFile(java.lang.String pathName)
ClassFile(java.lang.String typeName, byte[] data)
ClassFile(java.lang.String typeName, byte[] data, int offset)

Method Summary

Modifier and Type	Method and Description
int	bootstrapMethodIndex(int cpInvokeDynamicIndex)
java.lang.String	callSiteDescriptor(int cpInvokeDynamicIndex)
java.lang.String	classNameAt(int classInfoIdx)
double	doubleAt(int doubleInfoIdx)
java.lang.String	fieldClassNameAt(int fieldRefInfoIdx)
java.lang.String	fieldDescriptorAt(int fieldRefInfoIdx)
java.lang.String	fieldNameAt(int fieldRefInfoIdx)
float	floatAt(int floatInfoIdx)
java.lang.Object	getConstValueAttribute(int dataPos)
int	getCpTag(int i)
java.lang.Object	getCpValue(int i)
int	getDataPosOfCpEntry(int i) the result can be used as input for u2(dataIndex) NOTE - this returns -1 for the dreaded unused extra entries associated with ConstantDouble and ConstantLong
int	getLookupSwitchOffset(int nEntries, int defaultOffset, int val)
int	getNumberOfCpEntries()
int	getPc()
int	getPos()
java.lang.String	getRefTypeName(int refCode)
java.lang.String	getRequestedTypeName() return the typename this classfile gets loaded for <2do> this is going away
static java.lang.String	getScopeEncoding(long[] scopeEntries)
java.lang.String	getSourceFileAttribute(int dataPos)
int	getTableSwitchOffset(int low, int high, int defaultOffset, int val)
static java.lang.String	getTargetTypeName(int targetType)
java.lang.String	getTypeName(int typeCode)
static java.lang.String	getTypePathEncoding(short[] typePath)
int	i1(int dataIdx)
int	i2(int dataIdx)
int	intAt(int intInfoIdx)
java.lang.String	interfaceMethodClassNameAt(int ifcMethodRefInfoIdx)
java.lang.String	interfaceMethodDescriptorAt(int ifcMethodRefInfoIdx)
java.lang.String	interfaceMethodNameAt(int ifcMethodRefInfoIdx)
protected java.lang.String	internStdAttrName(int cpIdx, java.lang.String name, java.lang.String[] stdNames)
long	longAt(int longInfoIdx)
java.lang.String	methodClassNameAt(int methodRefInfoIdx)
java.lang.String	methodDescriptorAt(int methodRefInfoIdx)
java.lang.String	methodNameAt(int methodRefInfoIdx)
java.lang.String	methodTypeDescriptorAt(int methodTypeInfoIdx)
int	mhMethodRefIndexAt(int methodHandleInfoIdx)
int	mhRefTypeAt(int methodHandleInfoIdx)
void	parse(ClassFileReader reader) this is the main parsing routine that uses the ClassFileReader interface to tell clients about the classfile contents ClassFile structure: http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html#74353 u4 magic; // 0xcafebabe u2 minor_version; u2 major_version; u2 constant_pool_count; cp_entry constant_pool[constant_pool_count-1]; u2 access_flags; u2 this_class; u2 super_class; u2 interfaces_count; u2 interfaces[interfaces_count]; u2 fields_count; field_info fields[fields_count]; u2 methods_count; method_info methods[methods_count]; u2 attributes_count; attribute_info attributes[attributes_count];
void	parseAnnotationDefaultAttr(ClassFileReader reader, java.lang.Object tag) AnnotationDefault_attribute { u2 attribute_name_index; u4 attribute_length; element_value default_value; << pos }
void	parseAnnotationsAttr(ClassFileReader reader, java.lang.Object tag)
void	parseBootstrapMethodAttr(ClassFileReader reader, java.lang.Object tag) BootstrapMethods_attribute { u2 attribute_name_index; u4 attribute_length; u2 num_bootstrap_methods; { u2 bootstrap_method_ref; -> MethodHandle u2 num_bootstrap_arguments; u2 bootstrap_arguments[num_bootstrap_arguments]; } bootstrap_methods[num_bootstrap_methods]; } pos is at num_bootstrap_methods
void	parseBytecode(JVMByteCodeReader reader, java.lang.Object tag, int codeLength)
protected void	parseClassAttributes(ClassFileReader reader, int attrCount)
void	parseCodeAttr(ClassFileReader reader, java.lang.Object tag) (optionally) called by reader from within the setMethodAttribute() notification This means we have recursive notification since this is a variable length attribute that has variable length attributes Code_attribute { u2 attr_name_index; u4 attr_length; u2 max_stack; u2 max_locals; u4 code_length; u1 code[code_length]; u2 exception_table_length; { u2 start_pc; u2 end_pc; u2 handler_pc; u2 catch_type; } exception_table[exception_table_length]; u2 attributes_count; attribute_info attributes[attributes_count]; } pos is at max_stack
protected void	parseCodeAttrAttributes(ClassFileReader reader, java.lang.Object tag, int attrCount)
void	parseConstValueAttr(ClassFileReader reader, java.lang.Object tag) optionally called by reader to obtain a ConstantValue field attribute ConstantValue {u2 attrName; u4 attrLength; u2 constIndex } pos is at constIndex
protected void	parseCp(int cpCount)
void	parseEnclosingMethodAttr(ClassFileReader reader, java.lang.Object tag) EnclosingMethod_attribute { u2 attribute_name_index; u4 attribute_length; u2 class_index -> Class_info { u1 tag; u2 name_index->utf8 } u2 method_index -> NameAndType_info { u1 tag; u2 name_index->utf8; u2 descriptor_index->utf8 } }
void	parseExceptionAttr(ClassFileReader reader, java.lang.Object tag)
protected void	parseFieldAttributes(ClassFileReader reader, int fieldIdx, int attrCount)
protected void	parseFields(ClassFileReader reader, int fieldCount)
void	parseInnerClassesAttr(ClassFileReader reader, java.lang.Object tag) (optionally) called by ClassFileReader from within setClassAttribute() notification InnerClass { u2 nameIdx; u4 length; u2 classCount; { u2 innerCls; u2 outerCls; u2 innerName; u2 innerAccessFlags; } classes[classCount] } } pos is at classCount
protected void	parseInterfaces(ClassFileReader reader, int ifcCount)
void	parseLineNumberTableAttr(ClassFileReader reader, java.lang.Object tag) optionally called from ClassFileReader.setCodeAttribute() to parse LineNumberTables LineNumberTable { u2 attrName; u4 attrLength; u2 lineCount; { u2 startPc; u2 lineNumber; } [lineCount] }; pos is at lineCount
void	parseLocalVarTableAttr(ClassFileReader reader, java.lang.Object tag) optionally called from ClassFileReader.setCodeAttribute() to parse LocalVarTables LocalVarTableTable { u2 attrName; u4 attrLength; u2 localVarCount; { u2 startPc; u2 lineNumber; } [lineCount] }; pos is at localVarCount
void	parseLookupSwitchEntries(JVMByteCodeReader reader, int nEntries)
protected void	parseMethodAttributes(ClassFileReader reader, int methodIdx, int attrCount)
protected void	parseMethods(ClassFileReader reader, int methodCount)
void	parseParameterAnnotationsAttr(ClassFileReader reader, java.lang.Object tag)
void	parseSignatureAttr(ClassFileReader reader, java.lang.Object tag) Signature_attribute { u2 attribute_name_index; u4 attr-length; u2 signature-index << pos }
void	parseSourceFileAttr(ClassFileReader reader, java.lang.Object tag) (optionally) called by ClassFileReader from within setClassAttribute() notification InnerClass { u2 nameIdx; u4 length; u2 sourceFile; }
void	parseTableSwitchEntries(JVMByteCodeReader reader, int low, int high)
void	parseTypeAnnotationsAttr(ClassFileReader reader, java.lang.Object tag)
int	readI2()
int	readI4()
static java.lang.String	readModifiedUTF8String(byte[] data, int pos, int len)
int	readU2()
java.lang.String	refClassNameAt(int cpIdx)
java.lang.String	refDescriptorAt(int cpIdx)
java.lang.String	refNameAt(int cpIdx)
java.lang.String	samMethodNameAt(int cpInvokeDynamicIndex)
void	setAnnotationValuesDone(ClassFileReader reader, java.lang.Object tag, int annotationIndex)
void	setData(byte[] newData) set classfile data.
void	setSignature(ClassFileReader reader, java.lang.Object tag, java.lang.String signature)
java.lang.String	stringAt(int stringInfoIdx)
int	u1(int dataIdx)
int	u2(int dataIdx)
java.lang.String	utf8At(int utf8InfoIdx)

Methods inherited from class gov.nasa.jpf.util.BinaryClassSource

dataToString, dumpData, error, getData, hasMoreData, initializeByteReader, popPos, pushPos, read, readByte, readByteString, readData, readUByte, setPos, stopParsing

Methods inherited from class java.lang.Object

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

Field Detail

CONSTANT_UTF8

public static final int CONSTANT_UTF8

See Also:

Constant Field Values

CONSTANT_INTEGER

public static final int CONSTANT_INTEGER

See Also:

Constant Field Values

CONSTANT_FLOAT

public static final int CONSTANT_FLOAT

See Also:

Constant Field Values

CONSTANT_LONG

public static final int CONSTANT_LONG

See Also:

Constant Field Values

CONSTANT_DOUBLE

public static final int CONSTANT_DOUBLE

See Also:

Constant Field Values

CONSTANT_CLASS

public static final int CONSTANT_CLASS

See Also:

Constant Field Values

CONSTANT_STRING

public static final int CONSTANT_STRING

See Also:

Constant Field Values

FIELD_REF

public static final int FIELD_REF

See Also:

Constant Field Values

METHOD_REF

public static final int METHOD_REF

See Also:

Constant Field Values

INTERFACE_METHOD_REF

public static final int INTERFACE_METHOD_REF

See Also:

Constant Field Values

NAME_AND_TYPE

public static final int NAME_AND_TYPE

See Also:

Constant Field Values

METHOD_HANDLE

public static final int METHOD_HANDLE

See Also:

Constant Field Values

METHOD_TYPE

public static final int METHOD_TYPE

See Also:

Constant Field Values

INVOKE_DYNAMIC

public static final int INVOKE_DYNAMIC

See Also:

Constant Field Values

REF_GETFIELD

public static final int REF_GETFIELD

See Also:

Constant Field Values

REF_GETSTATIC

public static final int REF_GETSTATIC

See Also:

Constant Field Values

REF_PUTFIELD

public static final int REF_PUTFIELD

See Also:

Constant Field Values

REF_PUTSTATIC

public static final int REF_PUTSTATIC

See Also:

Constant Field Values

REF_INVOKEVIRTUAL

public static final int REF_INVOKEVIRTUAL

See Also:

Constant Field Values

REF_INVOKESTATIC

public static final int REF_INVOKESTATIC

See Also:

Constant Field Values

REF_INVOKESPECIAL

public static final int REF_INVOKESPECIAL

See Also:

Constant Field Values

REF_NEW_INVOKESPECIAL

public static final int REF_NEW_INVOKESPECIAL

See Also:

Constant Field Values

REF_INVOKEINTERFACE

public static final int REF_INVOKEINTERFACE

See Also:

Constant Field Values

SYNTHETIC_ATTR

public static final java.lang.String SYNTHETIC_ATTR

See Also:

Constant Field Values

DEPRECATED_ATTR

public static final java.lang.String DEPRECATED_ATTR

See Also:

Constant Field Values

SIGNATURE_ATTR

public static final java.lang.String SIGNATURE_ATTR

See Also:

Constant Field Values

RUNTIME_INVISIBLE_ANNOTATIONS_ATTR

public static final java.lang.String RUNTIME_INVISIBLE_ANNOTATIONS_ATTR

See Also:

Constant Field Values

RUNTIME_VISIBLE_ANNOTATIONS_ATTR

public static final java.lang.String RUNTIME_VISIBLE_ANNOTATIONS_ATTR

See Also:

Constant Field Values

RUNTIME_VISIBLE_TYPE_ANNOTATIONS_ATTR

public static final java.lang.String RUNTIME_VISIBLE_TYPE_ANNOTATIONS_ATTR

See Also:

Constant Field Values

CONST_VALUE_ATTR

public static final java.lang.String CONST_VALUE_ATTR

See Also:

Constant Field Values

stdFieldAttrs

protected static final java.lang.String[] stdFieldAttrs

CODE_ATTR

public static final java.lang.String CODE_ATTR

See Also:

Constant Field Values

EXCEPTIONS_ATTR

public static final java.lang.String EXCEPTIONS_ATTR

See Also:

Constant Field Values

RUNTIME_INVISIBLE_PARAMETER_ANNOTATIONS_ATTR

public static final java.lang.String RUNTIME_INVISIBLE_PARAMETER_ANNOTATIONS_ATTR

See Also:

Constant Field Values

RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS_ATTR

public static final java.lang.String RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS_ATTR

See Also:

Constant Field Values

ANNOTATIONDEFAULT_ATTR

public static final java.lang.String ANNOTATIONDEFAULT_ATTR

See Also:

Constant Field Values

stdMethodAttrs

protected static final java.lang.String[] stdMethodAttrs

LINE_NUMBER_TABLE_ATTR

public static final java.lang.String LINE_NUMBER_TABLE_ATTR

See Also:

Constant Field Values

LOCAL_VAR_TABLE_ATTR

public static final java.lang.String LOCAL_VAR_TABLE_ATTR

See Also:

Constant Field Values

stdCodeAttrs

protected static final java.lang.String[] stdCodeAttrs

SOURCE_FILE_ATTR

public static final java.lang.String SOURCE_FILE_ATTR

See Also:

Constant Field Values

INNER_CLASSES_ATTR

public static final java.lang.String INNER_CLASSES_ATTR

See Also:

Constant Field Values

ENCLOSING_METHOD_ATTR

public static final java.lang.String ENCLOSING_METHOD_ATTR

See Also:

Constant Field Values

BOOTSTRAP_METHOD_ATTR

public static final java.lang.String BOOTSTRAP_METHOD_ATTR

See Also:

Constant Field Values

stdClassAttrs

protected static final java.lang.String[] stdClassAttrs

CLASS_TYPE_PARAMETER

public static final int CLASS_TYPE_PARAMETER

See Also:

Constant Field Values

METHOD_TYPE_PARAMETER

public static final int METHOD_TYPE_PARAMETER

See Also:

Constant Field Values

CLASS_EXTENDS

public static final int CLASS_EXTENDS

See Also:

Constant Field Values

CLASS_TYPE_PARAMETER_BOUND

public static final int CLASS_TYPE_PARAMETER_BOUND

See Also:

Constant Field Values

METHOD_TYPE_PARAMETER_BOUND

public static final int METHOD_TYPE_PARAMETER_BOUND

See Also:

Constant Field Values

FIELD

public static final int FIELD

See Also:

Constant Field Values

METHOD_RETURN

public static final int METHOD_RETURN

See Also:

Constant Field Values

METHOD_RECEIVER

public static final int METHOD_RECEIVER

See Also:

Constant Field Values

METHOD_FORMAL_PARAMETER

public static final int METHOD_FORMAL_PARAMETER

See Also:

Constant Field Values

THROWS

public static final int THROWS

See Also:

Constant Field Values

LOCAL_VARIABLE

public static final int LOCAL_VARIABLE

See Also:

Constant Field Values

RESOURCE_VARIABLE

public static final int RESOURCE_VARIABLE

See Also:

Constant Field Values

EXCEPTION_PARAMETER

public static final int EXCEPTION_PARAMETER

See Also:

Constant Field Values

INSTANCEOF

public static final int INSTANCEOF

See Also:

Constant Field Values

NEW

public static final int NEW

See Also:

Constant Field Values

CONSTRUCTOR_REFERENCE

public static final int CONSTRUCTOR_REFERENCE

See Also:

Constant Field Values

METHOD_REFERENCE

public static final int METHOD_REFERENCE

See Also:

Constant Field Values

CAST

public static final int CAST

See Also:

Constant Field Values

CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT

public static final int CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT

See Also:

Constant Field Values

METHOD_INVOCATION_TYPE_ARGUMENT

public static final int METHOD_INVOCATION_TYPE_ARGUMENT

See Also:

Constant Field Values

CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT

public static final int CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT

See Also:

Constant Field Values

METHOD_REFERENCE_TYPE_ARGUMENT

public static final int METHOD_REFERENCE_TYPE_ARGUMENT

See Also:

Constant Field Values

Constructor Detail

ClassFile

public ClassFile(byte[] data,
                 int offset)

ClassFile

public ClassFile(byte[] data)

ClassFile

public ClassFile(java.lang.String typeName,
                 byte[] data)

ClassFile

public ClassFile(java.lang.String typeName,
                 byte[] data,
                 int offset)

ClassFile

public ClassFile(java.io.File file)
          throws ClassParseException

Throws:

ClassParseException

ClassFile

public ClassFile(java.lang.String pathName)
          throws ClassParseException

Throws:

ClassParseException

Method Detail

setData

public void setData(byte[] newData)

set classfile data. This is mainly provided to allow on-the-fly classfile instrumentation with 3rd party libraries BEWARE - like getData(), this method can cause parsing to fail if the provided data does not conform to the VM specs. In particular, this method should ONLY be called before executing parse(ClassFileReader) and will otherwise throw a JPFException

getRequestedTypeName

public java.lang.String getRequestedTypeName()

return the typename this classfile gets loaded for <2do> this is going away

internStdAttrName

protected java.lang.String internStdAttrName(int cpIdx,
                                             java.lang.String name,
                                             java.lang.String[] stdNames)

utf8At

public java.lang.String utf8At(int utf8InfoIdx)

intAt

public int intAt(int intInfoIdx)

floatAt

public float floatAt(int floatInfoIdx)

longAt

public long longAt(int longInfoIdx)

doubleAt

public double doubleAt(int doubleInfoIdx)

classNameAt

public java.lang.String classNameAt(int classInfoIdx)

stringAt

public java.lang.String stringAt(int stringInfoIdx)

refClassNameAt

public java.lang.String refClassNameAt(int cpIdx)

refNameAt

public java.lang.String refNameAt(int cpIdx)

refDescriptorAt

public java.lang.String refDescriptorAt(int cpIdx)

mhRefTypeAt

public int mhRefTypeAt(int methodHandleInfoIdx)

mhMethodRefIndexAt

public int mhMethodRefIndexAt(int methodHandleInfoIdx)

fieldClassNameAt

public java.lang.String fieldClassNameAt(int fieldRefInfoIdx)

fieldNameAt

public java.lang.String fieldNameAt(int fieldRefInfoIdx)

fieldDescriptorAt

public java.lang.String fieldDescriptorAt(int fieldRefInfoIdx)

methodClassNameAt

public java.lang.String methodClassNameAt(int methodRefInfoIdx)

methodNameAt

public java.lang.String methodNameAt(int methodRefInfoIdx)

methodDescriptorAt

public java.lang.String methodDescriptorAt(int methodRefInfoIdx)

methodTypeDescriptorAt

public java.lang.String methodTypeDescriptorAt(int methodTypeInfoIdx)

interfaceMethodClassNameAt

public java.lang.String interfaceMethodClassNameAt(int ifcMethodRefInfoIdx)

interfaceMethodNameAt

public java.lang.String interfaceMethodNameAt(int ifcMethodRefInfoIdx)

interfaceMethodDescriptorAt

public java.lang.String interfaceMethodDescriptorAt(int ifcMethodRefInfoIdx)

bootstrapMethodIndex

public int bootstrapMethodIndex(int cpInvokeDynamicIndex)

samMethodNameAt

public java.lang.String samMethodNameAt(int cpInvokeDynamicIndex)

callSiteDescriptor

public java.lang.String callSiteDescriptor(int cpInvokeDynamicIndex)

getRefTypeName

public java.lang.String getRefTypeName(int refCode)

getTypeName

public java.lang.String getTypeName(int typeCode)

getPos

public int getPos()

Overrides:

getPos in class BinaryClassSource

getPc

public int getPc()

getNumberOfCpEntries

public int getNumberOfCpEntries()

getCpValue

public java.lang.Object getCpValue(int i)

getCpTag

public int getCpTag(int i)

getDataPosOfCpEntry

public int getDataPosOfCpEntry(int i)

the result can be used as input for u2(dataIndex) NOTE - this returns -1 for the dreaded unused extra entries associated with ConstantDouble and ConstantLong

getConstValueAttribute

public java.lang.Object getConstValueAttribute(int dataPos)

getSourceFileAttribute

public java.lang.String getSourceFileAttribute(int dataPos)

u1

public final int u1(int dataIdx)

u2

public final int u2(int dataIdx)

i1

public final int i1(int dataIdx)

i2

public final int i2(int dataIdx)

readU2

public final int readU2()

readI2

public final int readI2()

readI4

public final int readI4()

setAnnotationValuesDone

public void setAnnotationValuesDone(ClassFileReader reader,
                                    java.lang.Object tag,
                                    int annotationIndex)

setSignature

public void setSignature(ClassFileReader reader,
                         java.lang.Object tag,
                         java.lang.String signature)

parse

public void parse(ClassFileReader reader)
           throws ClassParseException

this is the main parsing routine that uses the ClassFileReader interface to tell clients about the classfile contents ClassFile structure: http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html#74353 u4 magic; // 0xcafebabe u2 minor_version; u2 major_version; u2 constant_pool_count; cp_entry constant_pool[constant_pool_count-1]; u2 access_flags; u2 this_class; u2 super_class; u2 interfaces_count; u2 interfaces[interfaces_count]; u2 fields_count; field_info fields[fields_count]; u2 methods_count; method_info methods[methods_count]; u2 attributes_count; attribute_info attributes[attributes_count];

Throws:

ClassParseException

readModifiedUTF8String

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

Throws:

ClassParseException

parseCp

protected void parseCp(int cpCount)
                throws ClassParseException

Throws:

ClassParseException

parseInterfaces

protected void parseInterfaces(ClassFileReader reader,
                               int ifcCount)

parseFields

protected void parseFields(ClassFileReader reader,
                           int fieldCount)

parseFieldAttributes

protected void parseFieldAttributes(ClassFileReader reader,
                                    int fieldIdx,
                                    int attrCount)

parseConstValueAttr

public void parseConstValueAttr(ClassFileReader reader,
                                java.lang.Object tag)

optionally called by reader to obtain a ConstantValue field attribute ConstantValue {u2 attrName; u4 attrLength; u2 constIndex } pos is at constIndex

parseMethods

protected void parseMethods(ClassFileReader reader,
                            int methodCount)

parseMethodAttributes

protected void parseMethodAttributes(ClassFileReader reader,
                                     int methodIdx,
                                     int attrCount)

parseExceptionAttr

public void parseExceptionAttr(ClassFileReader reader,
                               java.lang.Object tag)

parseCodeAttr

public void parseCodeAttr(ClassFileReader reader,
                          java.lang.Object tag)

(optionally) called by reader from within the setMethodAttribute() notification This means we have recursive notification since this is a variable length attribute that has variable length attributes Code_attribute { u2 attr_name_index; u4 attr_length; u2 max_stack; u2 max_locals; u4 code_length; u1 code[code_length]; u2 exception_table_length; { u2 start_pc; u2 end_pc; u2 handler_pc; u2 catch_type; } exception_table[exception_table_length]; u2 attributes_count; attribute_info attributes[attributes_count]; } pos is at max_stack

parseCodeAttrAttributes

protected void parseCodeAttrAttributes(ClassFileReader reader,
                                       java.lang.Object tag,
                                       int attrCount)

parseLineNumberTableAttr

public void parseLineNumberTableAttr(ClassFileReader reader,
                                     java.lang.Object tag)

optionally called from ClassFileReader.setCodeAttribute() to parse LineNumberTables LineNumberTable { u2 attrName; u4 attrLength; u2 lineCount; { u2 startPc; u2 lineNumber; } [lineCount] }; pos is at lineCount

parseLocalVarTableAttr

public void parseLocalVarTableAttr(ClassFileReader reader,
                                   java.lang.Object tag)

optionally called from ClassFileReader.setCodeAttribute() to parse LocalVarTables LocalVarTableTable { u2 attrName; u4 attrLength; u2 localVarCount; { u2 startPc; u2 lineNumber; } [lineCount] }; pos is at localVarCount

parseClassAttributes

protected void parseClassAttributes(ClassFileReader reader,
                                    int attrCount)

parseSourceFileAttr

public void parseSourceFileAttr(ClassFileReader reader,
                                java.lang.Object tag)

(optionally) called by ClassFileReader from within setClassAttribute() notification InnerClass { u2 nameIdx; u4 length; u2 sourceFile; }

parseInnerClassesAttr

public void parseInnerClassesAttr(ClassFileReader reader,
                                  java.lang.Object tag)

(optionally) called by ClassFileReader from within setClassAttribute() notification InnerClass { u2 nameIdx; u4 length; u2 classCount; { u2 innerCls; u2 outerCls; u2 innerName; u2 innerAccessFlags; } classes[classCount] } } pos is at classCount

parseEnclosingMethodAttr

public void parseEnclosingMethodAttr(ClassFileReader reader,
                                     java.lang.Object tag)

EnclosingMethod_attribute { u2 attribute_name_index; u4 attribute_length; u2 class_index -> Class_info { u1 tag; u2 name_index->utf8 } u2 method_index -> NameAndType_info { u1 tag; u2 name_index->utf8; u2 descriptor_index->utf8 } }

parseBootstrapMethodAttr

public void parseBootstrapMethodAttr(ClassFileReader reader,
                                     java.lang.Object tag)

BootstrapMethods_attribute { u2 attribute_name_index; u4 attribute_length; u2 num_bootstrap_methods; { u2 bootstrap_method_ref; -> MethodHandle u2 num_bootstrap_arguments; u2 bootstrap_arguments[num_bootstrap_arguments]; } bootstrap_methods[num_bootstrap_methods]; } pos is at num_bootstrap_methods

parseAnnotationsAttr

public void parseAnnotationsAttr(ClassFileReader reader,
                                 java.lang.Object tag)

getTargetTypeName

public static java.lang.String getTargetTypeName(int targetType)

getTypePathEncoding

public static java.lang.String getTypePathEncoding(short[] typePath)

getScopeEncoding

public static java.lang.String getScopeEncoding(long[] scopeEntries)

parseTypeAnnotationsAttr

public void parseTypeAnnotationsAttr(ClassFileReader reader,
                                     java.lang.Object tag)

parseParameterAnnotationsAttr

public void parseParameterAnnotationsAttr(ClassFileReader reader,
                                          java.lang.Object tag)

parseSignatureAttr

public void parseSignatureAttr(ClassFileReader reader,
                               java.lang.Object tag)

Signature_attribute { u2 attribute_name_index; u4 attr-length; u2 signature-index << pos }

parseAnnotationDefaultAttr

public void parseAnnotationDefaultAttr(ClassFileReader reader,
                                       java.lang.Object tag)

AnnotationDefault_attribute { u2 attribute_name_index; u4 attribute_length; element_value default_value; << pos }

parseBytecode

public void parseBytecode(JVMByteCodeReader reader,
                          java.lang.Object tag,
                          int codeLength)

parseTableSwitchEntries

public void parseTableSwitchEntries(JVMByteCodeReader reader,
                                    int low,
                                    int high)

getTableSwitchOffset

public int getTableSwitchOffset(int low,
                                int high,
                                int defaultOffset,
                                int val)

parseLookupSwitchEntries

public void parseLookupSwitchEntries(JVMByteCodeReader reader,
                                     int nEntries)

getLookupSwitchOffset

public int getLookupSwitchOffset(int nEntries,
                                 int defaultOffset,
                                 int val)