gov.nasa.jpf.jvm

Class ClassFilePrinter

java.lang.Object

gov.nasa.jpf.util.StructuredPrinter

gov.nasa.jpf.jvm.ClassFilePrinter

All Implemented Interfaces:

ClassFileReader

public class ClassFilePrinter
extends StructuredPrinter
implements ClassFileReader

simple tool to print contents of a classfile <2do> use indentation level variable and formated output

Field Summary

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

indent, indentLevel, pw

Constructor Summary

Constructors

Constructor and Description
ClassFilePrinter()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
protected void	printCp(java.io.PrintWriter pw, ClassFile cf)
void	setAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, java.lang.String annotationType)
void	setAnnotationCount(ClassFile cf, java.lang.Object tag, int annotationCount)
void	setAnnotationFieldValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex)
void	setAnnotationsDone(ClassFile cf, java.lang.Object tag)
void	setAnnotationValueCount(ClassFile cf, java.lang.Object tag, int annotationIndex, int nValuePairs)
void	setAnnotationValueElementCount(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int elementCount)
void	setAnnotationValueElementsDone(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName)
void	setAnnotationValuesDone(ClassFile cf, java.lang.Object tag, int annotationIndex)
void	setBootstrapMethod(ClassFile cf, java.lang.Object tag, int idx, int refKind, java.lang.String cls, java.lang.String mth, java.lang.String descriptor, int[] cpArgs)
void	setBootstrapMethodCount(ClassFile cf, java.lang.Object tag, int count)
void	setBootstrapMethodsDone(ClassFile cf, java.lang.Object tag)
void	setBytecodeAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int offset, short[] typePath, java.lang.String annotationType)
void	setBytecodeTypeParameterAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int offset, int typeArgIdx, short[] typePath, java.lang.String annotationType)
void	setClass(ClassFile cf, java.lang.String clsName, java.lang.String superClsName, int flags, int cpCount)
void	setClassAnnotationValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex, java.lang.String typeName)
void	setClassAttribute(ClassFile cf, int attrIndex, java.lang.String name, int attrLength)
void	setClassAttributeCount(ClassFile cf, int attrCount)
void	setClassAttributesDone(ClassFile cf)
void	setCode(ClassFile cf, java.lang.Object tag, int maxStack, int maxLocals, int codeLength)
void	setCodeAttribute(ClassFile cf, java.lang.Object tag, int attrIndex, java.lang.String name, int attrLength)
void	setCodeAttributeCount(ClassFile cf, java.lang.Object tag, int attrCount)
void	setCodeAttributesDone(ClassFile cf, java.lang.Object tag)
void	setConstantValue(ClassFile cf, java.lang.Object tag, java.lang.Object value)
void	setEnclosingMethod(ClassFile cf, java.lang.Object tag, java.lang.String enclosingClass, java.lang.String enclosingMethod, java.lang.String descriptor)
void	setEnumAnnotationValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex, java.lang.String enumType, java.lang.String enumValue)
void	setException(ClassFile cf, java.lang.Object tag, int exceptionIndex, java.lang.String exceptionType)
void	setExceptionCount(ClassFile cf, java.lang.Object tag, int exceptionCount)
void	setExceptionHandler(ClassFile cf, java.lang.Object tag, int exceptionIndex, int startPc, int endPc, int handlerPc, java.lang.String catchType)
void	setExceptionHandlerTableCount(ClassFile cf, java.lang.Object tag, int exceptionTableCount)
void	setExceptionHandlerTableDone(ClassFile cf, java.lang.Object tag)
void	setExceptionParameterAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int exceptionIndex, short[] typePath, java.lang.String annotationType)
void	setExceptionsDone(ClassFile cf, java.lang.Object tag)
void	setField(ClassFile cf, int fieldIndex, int accessFlags, java.lang.String name, java.lang.String descriptor)
void	setFieldAttribute(ClassFile cf, int fieldIndex, int attrIndex, java.lang.String name, int attrLength)
void	setFieldAttributeCount(ClassFile cf, int fieldIndex, int attrCount)
void	setFieldAttributesDone(ClassFile cf, int fieldIndex)
void	setFieldCount(ClassFile cf, int fieldCount)
void	setFieldDone(ClassFile cf, int fieldIndex)
void	setFieldsDone(ClassFile cf)
void	setFormalParameterAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int formalParamIdx, short[] typePath, java.lang.String annotationType)
void	setInnerClass(ClassFile cf, java.lang.Object tag, int innerClsIndex, java.lang.String outerName, java.lang.String innerName, java.lang.String innerSimpleName, int accessFlags)
void	setInnerClassCount(ClassFile cf, java.lang.Object tag, int innerClsCount)
void	setInnerClassesDone(ClassFile cf, java.lang.Object tag)
void	setInterface(ClassFile cf, int ifcIndex, java.lang.String ifcName)
void	setInterfaceCount(ClassFile cf, int ifcCount)
void	setInterfacesDone(ClassFile cf)
void	setLineNumber(ClassFile cf, java.lang.Object tag, int lineIndex, int lineNumber, int startPc)
void	setLineNumberTableCount(ClassFile cf, java.lang.Object tag, int lineNumberCount)
void	setLineNumberTableDone(ClassFile cf, java.lang.Object tag)
void	setLocalVar(ClassFile cf, java.lang.Object tag, int localVarIndex, java.lang.String varName, java.lang.String descriptor, int scopeStartPc, int scopeEndPc, int slotIndex)
void	setLocalVarTableCount(ClassFile cf, java.lang.Object tag, int localVarCount)
void	setLocalVarTableDone(ClassFile cf, java.lang.Object tag)
void	setMethod(ClassFile cf, int methodIndex, int accessFlags, java.lang.String name, java.lang.String descriptor)
void	setMethodAttribute(ClassFile cf, int methodIndex, int attrIndex, java.lang.String name, int attrLength)
void	setMethodAttributeCount(ClassFile cf, int methodIndex, int attrCount)
void	setMethodAttributesDone(ClassFile cf, int methodIndex)
void	setMethodCount(ClassFile cf, int methodCount)
void	setMethodDone(ClassFile cf, int methodIndex)
void	setMethodsDone(ClassFile cf)
void	setParameterAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, java.lang.String annotationType)
void	setParameterAnnotationCount(ClassFile cf, java.lang.Object tag, int paramIndex, int annotationCount)
void	setParameterAnnotationsDone(ClassFile cf, java.lang.Object tag, int paramIndex)
void	setParameterCount(ClassFile cf, java.lang.Object tag, int parameterCount)
void	setParametersDone(ClassFile cf, java.lang.Object tag)
void	setPrimitiveAnnotationValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex, java.lang.Object val)
void	setSignature(ClassFile cf, java.lang.Object tag, java.lang.String signature)
void	setSourceFile(ClassFile cf, java.lang.Object tag, java.lang.String pathName)
void	setStringAnnotationValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex, java.lang.String s)
void	setSuperTypeAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int superTypeIdx, short[] typePath, java.lang.String annotationType)
void	setThrowsAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int throwsTypeIdx, short[] typePath, java.lang.String annotationType)
void	setTypeAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, short[] typePath, java.lang.String annotationType)
void	setTypeAnnotationCount(ClassFile cf, java.lang.Object tag, int annotationCount)
void	setTypeAnnotationsDone(ClassFile cf, java.lang.Object tag)
void	setTypeParameterAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int typeIndex, short[] typePath, java.lang.String annotationType)
void	setTypeParameterBoundAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, int typeParamIdx, int boundIdx, short[] typePath, java.lang.String annotationType)
void	setVariableAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, int targetType, long[] scopeEntries, short[] typePath, java.lang.String annotationType)

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

decIndent, incIndent, indent, printSectionHeader

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassFilePrinter

public ClassFilePrinter()

Method Detail

main

public static void main(java.lang.String[] args)

setClass

public void setClass(ClassFile cf,
                     java.lang.String clsName,
                     java.lang.String superClsName,
                     int flags,
                     int cpCount)

Specified by:

setClass in interface ClassFileReader

setInterfaceCount

public void setInterfaceCount(ClassFile cf,
                              int ifcCount)

Specified by:

setInterfaceCount in interface ClassFileReader

setInterface

public void setInterface(ClassFile cf,
                         int ifcIndex,
                         java.lang.String ifcName)

Specified by:

setInterface in interface ClassFileReader

setInterfacesDone

public void setInterfacesDone(ClassFile cf)

Specified by:

setInterfacesDone in interface ClassFileReader

setFieldCount

public void setFieldCount(ClassFile cf,
                          int fieldCount)

Specified by:

setFieldCount in interface ClassFileReader

setField

public void setField(ClassFile cf,
                     int fieldIndex,
                     int accessFlags,
                     java.lang.String name,
                     java.lang.String descriptor)

Specified by:

setField in interface ClassFileReader

setFieldAttributeCount

public void setFieldAttributeCount(ClassFile cf,
                                   int fieldIndex,
                                   int attrCount)

Specified by:

setFieldAttributeCount in interface ClassFileReader

setFieldAttribute

public void setFieldAttribute(ClassFile cf,
                              int fieldIndex,
                              int attrIndex,
                              java.lang.String name,
                              int attrLength)

Specified by:

setFieldAttribute in interface ClassFileReader

setFieldAttributesDone

public void setFieldAttributesDone(ClassFile cf,
                                   int fieldIndex)

Specified by:

setFieldAttributesDone in interface ClassFileReader

setFieldDone

public void setFieldDone(ClassFile cf,
                         int fieldIndex)

Specified by:

setFieldDone in interface ClassFileReader

setFieldsDone

public void setFieldsDone(ClassFile cf)

Specified by:

setFieldsDone in interface ClassFileReader

setConstantValue

public void setConstantValue(ClassFile cf,
                             java.lang.Object tag,
                             java.lang.Object value)

Specified by:

setConstantValue in interface ClassFileReader

setMethodCount

public void setMethodCount(ClassFile cf,
                           int methodCount)

Specified by:

setMethodCount in interface ClassFileReader

setMethod

public void setMethod(ClassFile cf,
                      int methodIndex,
                      int accessFlags,
                      java.lang.String name,
                      java.lang.String descriptor)

Specified by:

setMethod in interface ClassFileReader

setMethodAttributeCount

public void setMethodAttributeCount(ClassFile cf,
                                    int methodIndex,
                                    int attrCount)

Specified by:

setMethodAttributeCount in interface ClassFileReader

setMethodAttribute

public void setMethodAttribute(ClassFile cf,
                               int methodIndex,
                               int attrIndex,
                               java.lang.String name,
                               int attrLength)

Specified by:

setMethodAttribute in interface ClassFileReader

setMethodAttributesDone

public void setMethodAttributesDone(ClassFile cf,
                                    int methodIndex)

Specified by:

setMethodAttributesDone in interface ClassFileReader

setMethodDone

public void setMethodDone(ClassFile cf,
                          int methodIndex)

Specified by:

setMethodDone in interface ClassFileReader

setMethodsDone

public void setMethodsDone(ClassFile cf)

Specified by:

setMethodsDone in interface ClassFileReader

setExceptionCount

public void setExceptionCount(ClassFile cf,
                              java.lang.Object tag,
                              int exceptionCount)

Specified by:

setExceptionCount in interface ClassFileReader

setException

public void setException(ClassFile cf,
                         java.lang.Object tag,
                         int exceptionIndex,
                         java.lang.String exceptionType)

Specified by:

setException in interface ClassFileReader

setExceptionsDone

public void setExceptionsDone(ClassFile cf,
                              java.lang.Object tag)

Specified by:

setExceptionsDone in interface ClassFileReader

setCode

public void setCode(ClassFile cf,
                    java.lang.Object tag,
                    int maxStack,
                    int maxLocals,
                    int codeLength)

Specified by:

setCode in interface ClassFileReader

setExceptionHandlerTableCount

public void setExceptionHandlerTableCount(ClassFile cf,
                                          java.lang.Object tag,
                                          int exceptionTableCount)

Specified by:

setExceptionHandlerTableCount in interface ClassFileReader

setExceptionHandler

public void setExceptionHandler(ClassFile cf,
                                java.lang.Object tag,
                                int exceptionIndex,
                                int startPc,
                                int endPc,
                                int handlerPc,
                                java.lang.String catchType)

Specified by:

setExceptionHandler in interface ClassFileReader

setExceptionHandlerTableDone

public void setExceptionHandlerTableDone(ClassFile cf,
                                         java.lang.Object tag)

Specified by:

setExceptionHandlerTableDone in interface ClassFileReader

setCodeAttributeCount

public void setCodeAttributeCount(ClassFile cf,
                                  java.lang.Object tag,
                                  int attrCount)

Specified by:

setCodeAttributeCount in interface ClassFileReader

setCodeAttribute

public void setCodeAttribute(ClassFile cf,
                             java.lang.Object tag,
                             int attrIndex,
                             java.lang.String name,
                             int attrLength)

Specified by:

setCodeAttribute in interface ClassFileReader

setCodeAttributesDone

public void setCodeAttributesDone(ClassFile cf,
                                  java.lang.Object tag)

Specified by:

setCodeAttributesDone in interface ClassFileReader

setLineNumberTableCount

public void setLineNumberTableCount(ClassFile cf,
                                    java.lang.Object tag,
                                    int lineNumberCount)

Specified by:

setLineNumberTableCount in interface ClassFileReader

setLineNumber

public void setLineNumber(ClassFile cf,
                          java.lang.Object tag,
                          int lineIndex,
                          int lineNumber,
                          int startPc)

Specified by:

setLineNumber in interface ClassFileReader

setLineNumberTableDone

public void setLineNumberTableDone(ClassFile cf,
                                   java.lang.Object tag)

Specified by:

setLineNumberTableDone in interface ClassFileReader

setLocalVarTableCount

public void setLocalVarTableCount(ClassFile cf,
                                  java.lang.Object tag,
                                  int localVarCount)

Specified by:

setLocalVarTableCount in interface ClassFileReader

setLocalVar

public void setLocalVar(ClassFile cf,
                        java.lang.Object tag,
                        int localVarIndex,
                        java.lang.String varName,
                        java.lang.String descriptor,
                        int scopeStartPc,
                        int scopeEndPc,
                        int slotIndex)

Specified by:

setLocalVar in interface ClassFileReader

setLocalVarTableDone

public void setLocalVarTableDone(ClassFile cf,
                                 java.lang.Object tag)

Specified by:

setLocalVarTableDone in interface ClassFileReader

setClassAttributeCount

public void setClassAttributeCount(ClassFile cf,
                                   int attrCount)

Specified by:

setClassAttributeCount in interface ClassFileReader

setClassAttribute

public void setClassAttribute(ClassFile cf,
                              int attrIndex,
                              java.lang.String name,
                              int attrLength)

Specified by:

setClassAttribute in interface ClassFileReader

setClassAttributesDone

public void setClassAttributesDone(ClassFile cf)

Specified by:

setClassAttributesDone in interface ClassFileReader

setEnclosingMethod

public void setEnclosingMethod(ClassFile cf,
                               java.lang.Object tag,
                               java.lang.String enclosingClass,
                               java.lang.String enclosingMethod,
                               java.lang.String descriptor)

Specified by:

setEnclosingMethod in interface ClassFileReader

setSourceFile

public void setSourceFile(ClassFile cf,
                          java.lang.Object tag,
                          java.lang.String pathName)

Specified by:

setSourceFile in interface ClassFileReader

setInnerClassCount

public void setInnerClassCount(ClassFile cf,
                               java.lang.Object tag,
                               int innerClsCount)

Specified by:

setInnerClassCount in interface ClassFileReader

setInnerClass

public void setInnerClass(ClassFile cf,
                          java.lang.Object tag,
                          int innerClsIndex,
                          java.lang.String outerName,
                          java.lang.String innerName,
                          java.lang.String innerSimpleName,
                          int accessFlags)

Specified by:

setInnerClass in interface ClassFileReader

setInnerClassesDone

public void setInnerClassesDone(ClassFile cf,
                                java.lang.Object tag)

Specified by:

setInnerClassesDone in interface ClassFileReader

setBootstrapMethodCount

public void setBootstrapMethodCount(ClassFile cf,
                                    java.lang.Object tag,
                                    int count)

Specified by:

setBootstrapMethodCount in interface ClassFileReader

setBootstrapMethod

public void setBootstrapMethod(ClassFile cf,
                               java.lang.Object tag,
                               int idx,
                               int refKind,
                               java.lang.String cls,
                               java.lang.String mth,
                               java.lang.String descriptor,
                               int[] cpArgs)

Specified by:

setBootstrapMethod in interface ClassFileReader

setBootstrapMethodsDone

public void setBootstrapMethodsDone(ClassFile cf,
                                    java.lang.Object tag)

Specified by:

setBootstrapMethodsDone in interface ClassFileReader

setAnnotationCount

public void setAnnotationCount(ClassFile cf,
                               java.lang.Object tag,
                               int annotationCount)

Specified by:

setAnnotationCount in interface ClassFileReader

setAnnotation

public void setAnnotation(ClassFile cf,
                          java.lang.Object tag,
                          int annotationIndex,
                          java.lang.String annotationType)

Specified by:

setAnnotation in interface ClassFileReader

setAnnotationsDone

public void setAnnotationsDone(ClassFile cf,
                               java.lang.Object tag)

Specified by:

setAnnotationsDone in interface ClassFileReader

setTypeAnnotationCount

public void setTypeAnnotationCount(ClassFile cf,
                                   java.lang.Object tag,
                                   int annotationCount)

Specified by:

setTypeAnnotationCount in interface ClassFileReader

setTypeParameterAnnotation

public void setTypeParameterAnnotation(ClassFile cf,
                                       java.lang.Object tag,
                                       int annotationIndex,
                                       int targetType,
                                       int typeIndex,
                                       short[] typePath,
                                       java.lang.String annotationType)

Specified by:

setTypeParameterAnnotation in interface ClassFileReader

setSuperTypeAnnotation

public void setSuperTypeAnnotation(ClassFile cf,
                                   java.lang.Object tag,
                                   int annotationIndex,
                                   int targetType,
                                   int superTypeIdx,
                                   short[] typePath,
                                   java.lang.String annotationType)

Specified by:

setSuperTypeAnnotation in interface ClassFileReader

setTypeParameterBoundAnnotation

public void setTypeParameterBoundAnnotation(ClassFile cf,
                                            java.lang.Object tag,
                                            int annotationIndex,
                                            int targetType,
                                            int typeParamIdx,
                                            int boundIdx,
                                            short[] typePath,
                                            java.lang.String annotationType)

Specified by:

setTypeParameterBoundAnnotation in interface ClassFileReader

setTypeAnnotation

public void setTypeAnnotation(ClassFile cf,
                              java.lang.Object tag,
                              int annotationIndex,
                              int targetType,
                              short[] typePath,
                              java.lang.String annotationType)

Specified by:

setTypeAnnotation in interface ClassFileReader

setFormalParameterAnnotation

public void setFormalParameterAnnotation(ClassFile cf,
                                         java.lang.Object tag,
                                         int annotationIndex,
                                         int targetType,
                                         int formalParamIdx,
                                         short[] typePath,
                                         java.lang.String annotationType)

Specified by:

setFormalParameterAnnotation in interface ClassFileReader

setThrowsAnnotation

public void setThrowsAnnotation(ClassFile cf,
                                java.lang.Object tag,
                                int annotationIndex,
                                int targetType,
                                int throwsTypeIdx,
                                short[] typePath,
                                java.lang.String annotationType)

Specified by:

setThrowsAnnotation in interface ClassFileReader

setVariableAnnotation

public void setVariableAnnotation(ClassFile cf,
                                  java.lang.Object tag,
                                  int annotationIndex,
                                  int targetType,
                                  long[] scopeEntries,
                                  short[] typePath,
                                  java.lang.String annotationType)

Specified by:

setVariableAnnotation in interface ClassFileReader

setExceptionParameterAnnotation

public void setExceptionParameterAnnotation(ClassFile cf,
                                            java.lang.Object tag,
                                            int annotationIndex,
                                            int targetType,
                                            int exceptionIndex,
                                            short[] typePath,
                                            java.lang.String annotationType)

Specified by:

setExceptionParameterAnnotation in interface ClassFileReader

setBytecodeAnnotation

public void setBytecodeAnnotation(ClassFile cf,
                                  java.lang.Object tag,
                                  int annotationIndex,
                                  int targetType,
                                  int offset,
                                  short[] typePath,
                                  java.lang.String annotationType)

Specified by:

setBytecodeAnnotation in interface ClassFileReader

setBytecodeTypeParameterAnnotation

public void setBytecodeTypeParameterAnnotation(ClassFile cf,
                                               java.lang.Object tag,
                                               int annotationIndex,
                                               int targetType,
                                               int offset,
                                               int typeArgIdx,
                                               short[] typePath,
                                               java.lang.String annotationType)

Specified by:

setBytecodeTypeParameterAnnotation in interface ClassFileReader

setTypeAnnotationsDone

public void setTypeAnnotationsDone(ClassFile cf,
                                   java.lang.Object tag)

Specified by:

setTypeAnnotationsDone in interface ClassFileReader

setAnnotationValueCount

public void setAnnotationValueCount(ClassFile cf,
                                    java.lang.Object tag,
                                    int annotationIndex,
                                    int nValuePairs)

Specified by:

setAnnotationValueCount in interface ClassFileReader

setPrimitiveAnnotationValue

public void setPrimitiveAnnotationValue(ClassFile cf,
                                        java.lang.Object tag,
                                        int annotationIndex,
                                        int valueIndex,
                                        java.lang.String elementName,
                                        int arrayIndex,
                                        java.lang.Object val)

Specified by:

setPrimitiveAnnotationValue in interface ClassFileReader

setStringAnnotationValue

public void setStringAnnotationValue(ClassFile cf,
                                     java.lang.Object tag,
                                     int annotationIndex,
                                     int valueIndex,
                                     java.lang.String elementName,
                                     int arrayIndex,
                                     java.lang.String s)

Specified by:

setStringAnnotationValue in interface ClassFileReader

setClassAnnotationValue

public void setClassAnnotationValue(ClassFile cf,
                                    java.lang.Object tag,
                                    int annotationIndex,
                                    int valueIndex,
                                    java.lang.String elementName,
                                    int arrayIndex,
                                    java.lang.String typeName)

Specified by:

setClassAnnotationValue in interface ClassFileReader

setEnumAnnotationValue

public void setEnumAnnotationValue(ClassFile cf,
                                   java.lang.Object tag,
                                   int annotationIndex,
                                   int valueIndex,
                                   java.lang.String elementName,
                                   int arrayIndex,
                                   java.lang.String enumType,
                                   java.lang.String enumValue)

Specified by:

setEnumAnnotationValue in interface ClassFileReader

setAnnotationValueElementCount

public void setAnnotationValueElementCount(ClassFile cf,
                                           java.lang.Object tag,
                                           int annotationIndex,
                                           int valueIndex,
                                           java.lang.String elementName,
                                           int elementCount)

Specified by:

setAnnotationValueElementCount in interface ClassFileReader

setAnnotationValueElementsDone

public void setAnnotationValueElementsDone(ClassFile cf,
                                           java.lang.Object tag,
                                           int annotationIndex,
                                           int valueIndex,
                                           java.lang.String elementName)

Specified by:

setAnnotationValueElementsDone in interface ClassFileReader

setAnnotationValuesDone

public void setAnnotationValuesDone(ClassFile cf,
                                    java.lang.Object tag,
                                    int annotationIndex)

Specified by:

setAnnotationValuesDone in interface ClassFileReader

setParameterCount

public void setParameterCount(ClassFile cf,
                              java.lang.Object tag,
                              int parameterCount)

Specified by:

setParameterCount in interface ClassFileReader

setParameterAnnotationCount

public void setParameterAnnotationCount(ClassFile cf,
                                        java.lang.Object tag,
                                        int paramIndex,
                                        int annotationCount)

Specified by:

setParameterAnnotationCount in interface ClassFileReader

setParameterAnnotation

public void setParameterAnnotation(ClassFile cf,
                                   java.lang.Object tag,
                                   int annotationIndex,
                                   java.lang.String annotationType)

Specified by:

setParameterAnnotation in interface ClassFileReader

setParameterAnnotationsDone

public void setParameterAnnotationsDone(ClassFile cf,
                                        java.lang.Object tag,
                                        int paramIndex)

Specified by:

setParameterAnnotationsDone in interface ClassFileReader

setParametersDone

public void setParametersDone(ClassFile cf,
                              java.lang.Object tag)

Specified by:

setParametersDone in interface ClassFileReader

setSignature

public void setSignature(ClassFile cf,
                         java.lang.Object tag,
                         java.lang.String signature)

Specified by:

setSignature in interface ClassFileReader

printCp

protected void printCp(java.io.PrintWriter pw,
                       ClassFile cf)

setAnnotationFieldValue

public void setAnnotationFieldValue(ClassFile cf,
                                    java.lang.Object tag,
                                    int annotationIndex,
                                    int valueIndex,
                                    java.lang.String elementName,
                                    int arrayIndex)

Specified by:

setAnnotationFieldValue in interface ClassFileReader