gov.nasa.jpf.jvm

Interface ClassFileReader

All Known Implementing Classes:

ClassFilePrinter, ClassFileReaderAdapter, JVMAnnotationParser

public interface ClassFileReader

interface for classfile processors NOTE - all types are given ss descriptors, i.e. "Lx/y/Z;" or type codes such as "I" iteration groups always start with a setXCount(int xCount) followed by xCount notifications setX (int xIndex) with 0<=xIndex

Method Summary

Modifier and Type	Method and Description
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 formalParamIndex, 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 throwsTypeIndex, 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)

Method Detail

setClass

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

Throws:

ClassParseException

setInterfaceCount

void setInterfaceCount(ClassFile cf,
                       int ifcCount)

setInterface

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

setInterfacesDone

void setInterfacesDone(ClassFile cf)

setFieldCount

void setFieldCount(ClassFile cf,
                   int fieldCount)

setField

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

setFieldAttributeCount

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

setFieldAttribute

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

setFieldAttributesDone

void setFieldAttributesDone(ClassFile cf,
                            int fieldIndex)

setFieldDone

void setFieldDone(ClassFile cf,
                  int fieldIndex)

setFieldsDone

void setFieldsDone(ClassFile cf)

setConstantValue

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

setMethodCount

void setMethodCount(ClassFile cf,
                    int methodCount)

setMethod

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

setMethodAttributeCount

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

setMethodAttribute

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

setMethodAttributesDone

void setMethodAttributesDone(ClassFile cf,
                             int methodIndex)

setMethodDone

void setMethodDone(ClassFile cf,
                   int methodIndex)

setMethodsDone

void setMethodsDone(ClassFile cf)

setExceptionCount

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

setException

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

setExceptionsDone

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

setCode

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

setExceptionHandlerTableCount

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

setExceptionHandler

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

setExceptionHandlerTableDone

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

setCodeAttributeCount

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

setCodeAttribute

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

setCodeAttributesDone

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

setLineNumberTableCount

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

setLineNumber

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

setLineNumberTableDone

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

setLocalVarTableCount

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

setLocalVar

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

setLocalVarTableDone

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

setClassAttributeCount

void setClassAttributeCount(ClassFile cf,
                            int attrCount)

setClassAttribute

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

setClassAttributesDone

void setClassAttributesDone(ClassFile cf)

setSourceFile

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

setInnerClassCount

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

setInnerClass

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

setInnerClassesDone

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

setBootstrapMethodCount

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

setBootstrapMethod

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)

setBootstrapMethodsDone

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

setEnclosingMethod

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

setAnnotationCount

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

setAnnotation

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

setAnnotationsDone

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

setTypeAnnotationCount

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

setTypeParameterAnnotation

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

setSuperTypeAnnotation

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

setTypeParameterBoundAnnotation

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

setTypeAnnotation

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

setFormalParameterAnnotation

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

setThrowsAnnotation

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

setVariableAnnotation

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

setExceptionParameterAnnotation

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

setBytecodeAnnotation

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

setBytecodeTypeParameterAnnotation

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

setTypeAnnotationsDone

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

setAnnotationValueCount

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

setPrimitiveAnnotationValue

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

setAnnotationFieldValue

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

setStringAnnotationValue

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

setClassAnnotationValue

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

setEnumAnnotationValue

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)

setAnnotationValueElementCount

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

setAnnotationValueElementsDone

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

setAnnotationValuesDone

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

setParameterCount

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

setParameterAnnotationCount

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

setParameterAnnotation

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

setParameterAnnotationsDone

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

setParametersDone

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

setSignature

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