gov.nasa.jpf.jvm

Class ClassFileParser

java.lang.Object

gov.nasa.jpf.jvm.ClassFileReaderAdapter

gov.nasa.jpf.jvm.ClassFileParser

All Implemented Interfaces:

ClassFileReader, ClassParser

public class ClassFileParser
extends ClassFileReaderAdapter
implements ClassParser

a class parser that reads Java class file formats This is actually more of an adapter between the Java specific ClassFile (which does the real parsing), and the Java agnostic ClassInfo, which is only accessed through its initialization API since it resides in another package

Constructor Summary

Constructors

Modifier	Constructor and Description
	ClassFileParser(ClassFile cf)
protected	ClassFileParser(ClassFile cf, JVMCodeBuilder cb)

Method Summary

Methods

Modifier and Type	Method and Description
protected JVMCodeBuilder	createCodeBuilder()
void	parse(ClassInfo ci)
void	setAnnotation(ClassFile cf, Object tag, int annotationIndex, String annotationType)
void	setAnnotationCount(ClassFile cf, Object tag, int annotationCount)
void	setAnnotationsDone(ClassFile cf, Object tag)
void	setAnnotationValueCount(ClassFile cf, Object tag, int annotationIndex, int nValuePairs)
void	setAnnotationValueElementCount(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int elementCount)
void	setAnnotationValueElementsDone(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName)
void	setClass(ClassFile cf, String clsName, String superClsName, int flags, int cpCount)
void	setClassAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex, String typeName)
void	setClassAttribute(ClassFile cf, int attrIndex, String name, int attrLength)
void	setCode(ClassFile cf, Object tag, int maxStack, int maxLocals, int codeLength)
void	setCodeAttribute(ClassFile cf, Object tag, int attrIndex, String name, int attrLength)
void	setConstantValue(ClassFile cf, Object tag, Object constVal)
void	setEnclosingMethod(ClassFile cf, Object tag, String enclosingClassName, String enclosingMethodName, String descriptor)
void	setEnumAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex, String enumType, String enumValue)
void	setException(ClassFile cf, Object tag, int exceptionIndex, String exceptionType)
void	setExceptionCount(ClassFile cf, Object tag, int exceptionCount)
void	setExceptionHandler(ClassFile cf, Object tag, int handlerIndex, int startPc, int endPc, int handlerPc, String catchType)
void	setExceptionHandlerTableCount(ClassFile cf, Object tag, int exceptionTableCount)
void	setExceptionHandlerTableDone(ClassFile cf, Object tag)
void	setExceptionsDone(ClassFile cf, Object tag)
void	setField(ClassFile cf, int fieldIndex, int accessFlags, String name, String descriptor)
void	setFieldAttribute(ClassFile cf, int fieldIndex, int attrIndex, String name, int attrLength)
void	setFieldCount(ClassFile cf, int fieldCount)
void	setFieldsDone(ClassFile cf)
void	setInnerClass(ClassFile cf, Object tag, int innerClsIndex, String outerName, String innerName, String innerSimpleName, int accessFlags)
void	setInnerClassCount(ClassFile cf, Object tag, int classCount)
void	setInnerClassesDone(ClassFile cf, Object tag)
void	setInterface(ClassFile cf, int ifcIndex, String ifcName)
void	setInterfaceCount(ClassFile cf, int ifcCount)
void	setInterfacesDone(ClassFile cf)
void	setLineNumber(ClassFile cf, Object tag, int lineIndex, int lineNumber, int startPc)
void	setLineNumberTableCount(ClassFile cf, Object tag, int lineNumberCount)
void	setLineNumberTableDone(ClassFile cf, Object tag)
void	setLocalVar(ClassFile cf, Object tag, int localVarIndex, String varName, String descriptor, int scopeStartPc, int scopeEndPc, int slotIndex)
void	setLocalVarTableCount(ClassFile cf, Object tag, int localVarCount)
void	setLocalVarTableDone(ClassFile cf, Object tag)
void	setMethod(ClassFile cf, int methodIndex, int accessFlags, String name, String signature)
void	setMethodAttribute(ClassFile cf, int methodIndex, int attrIndex, String name, int attrLength)
void	setMethodCount(ClassFile cf, int methodCount)
void	setMethodsDone(ClassFile cf)
void	setParameterAnnotation(ClassFile cf, Object tag, int annotationIndex, String annotationType)
void	setParameterAnnotationCount(ClassFile cf, Object tag, int paramIndex, int annotationCount)
void	setParameterCount(ClassFile cf, Object tag, int parameterCount)
void	setParametersDone(ClassFile cf, Object tag)
void	setPrimitiveAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex, Object val)
void	setSignature(ClassFile cf, Object tag, String signature)
void	setSourceFile(ClassFile cf, Object tag, String fileName)
void	setStringAnnotationValue(ClassFile cf, Object tag, int annotationIndex, int valueIndex, String elementName, int arrayIndex, String val)

Methods inherited from class gov.nasa.jpf.jvm.ClassFileReaderAdapter

setAnnotationValuesDone, setClassAttributeCount, setClassAttributesDone, setCodeAttributeCount, setCodeAttributesDone, setFieldAttributeCount, setFieldAttributesDone, setFieldDone, setMethodAttributeCount, setMethodAttributesDone, setMethodDone, setParameterAnnotationsDone

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassFileParser

public ClassFileParser(ClassFile cf)

ClassFileParser

protected ClassFileParser(ClassFile cf,
               JVMCodeBuilder cb)

Method Detail

createCodeBuilder

protected JVMCodeBuilder createCodeBuilder()

parse

public void parse(ClassInfo ci)
           throws ClassParseException

Specified by:

parse in interface ClassParser

Throws:

ClassParseException

setClass

public void setClass(ClassFile cf,
            String clsName,
            String superClsName,
            int flags,
            int cpCount)
              throws ClassParseException

Specified by:

setClass in interface ClassFileReader

Overrides:

setClass in class ClassFileReaderAdapter

Throws:

ClassParseException

setClassAttribute

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

Specified by:

setClassAttribute in interface ClassFileReader

Overrides:

setClassAttribute in class ClassFileReaderAdapter

setInnerClassCount

public void setInnerClassCount(ClassFile cf,
                      Object tag,
                      int classCount)

Specified by:

setInnerClassCount in interface ClassFileReader

Overrides:

setInnerClassCount in class ClassFileReaderAdapter

setInnerClass

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

Specified by:

setInnerClass in interface ClassFileReader

Overrides:

setInnerClass in class ClassFileReaderAdapter

setEnclosingMethod

public void setEnclosingMethod(ClassFile cf,
                      Object tag,
                      String enclosingClassName,
                      String enclosingMethodName,
                      String descriptor)

Specified by:

setEnclosingMethod in interface ClassFileReader

Overrides:

setEnclosingMethod in class ClassFileReaderAdapter

setInnerClassesDone

public void setInnerClassesDone(ClassFile cf,
                       Object tag)

Specified by:

setInnerClassesDone in interface ClassFileReader

Overrides:

setInnerClassesDone in class ClassFileReaderAdapter

setSourceFile

public void setSourceFile(ClassFile cf,
                 Object tag,
                 String fileName)

Specified by:

setSourceFile in interface ClassFileReader

Overrides:

setSourceFile in class ClassFileReaderAdapter

setInterfaceCount

public void setInterfaceCount(ClassFile cf,
                     int ifcCount)

Specified by:

setInterfaceCount in interface ClassFileReader

Overrides:

setInterfaceCount in class ClassFileReaderAdapter

setInterface

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

Specified by:

setInterface in interface ClassFileReader

Overrides:

setInterface in class ClassFileReaderAdapter

setInterfacesDone

public void setInterfacesDone(ClassFile cf)

Specified by:

setInterfacesDone in interface ClassFileReader

Overrides:

setInterfacesDone in class ClassFileReaderAdapter

setFieldCount

public void setFieldCount(ClassFile cf,
                 int fieldCount)

Specified by:

setFieldCount in interface ClassFileReader

Overrides:

setFieldCount in class ClassFileReaderAdapter

setField

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

Specified by:

setField in interface ClassFileReader

Overrides:

setField in class ClassFileReaderAdapter

setFieldAttribute

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

Specified by:

setFieldAttribute in interface ClassFileReader

Overrides:

setFieldAttribute in class ClassFileReaderAdapter

setConstantValue

public void setConstantValue(ClassFile cf,
                    Object tag,
                    Object constVal)

Specified by:

setConstantValue in interface ClassFileReader

Overrides:

setConstantValue in class ClassFileReaderAdapter

setFieldsDone

public void setFieldsDone(ClassFile cf)

Specified by:

setFieldsDone in interface ClassFileReader

Overrides:

setFieldsDone in class ClassFileReaderAdapter

setMethodCount

public void setMethodCount(ClassFile cf,
                  int methodCount)

Specified by:

setMethodCount in interface ClassFileReader

Overrides:

setMethodCount in class ClassFileReaderAdapter

setMethod

public void setMethod(ClassFile cf,
             int methodIndex,
             int accessFlags,
             String name,
             String signature)

Specified by:

setMethod in interface ClassFileReader

Overrides:

setMethod in class ClassFileReaderAdapter

setMethodsDone

public void setMethodsDone(ClassFile cf)

Specified by:

setMethodsDone in interface ClassFileReader

Overrides:

setMethodsDone in class ClassFileReaderAdapter

setMethodAttribute

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

Specified by:

setMethodAttribute in interface ClassFileReader

Overrides:

setMethodAttribute in class ClassFileReaderAdapter

setExceptionCount

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

Specified by:

setExceptionCount in interface ClassFileReader

Overrides:

setExceptionCount in class ClassFileReaderAdapter

setException

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

Specified by:

setException in interface ClassFileReader

Overrides:

setException in class ClassFileReaderAdapter

setExceptionsDone

public void setExceptionsDone(ClassFile cf,
                     Object tag)

Specified by:

setExceptionsDone in interface ClassFileReader

Overrides:

setExceptionsDone in class ClassFileReaderAdapter

setExceptionHandlerTableCount

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

Specified by:

setExceptionHandlerTableCount in interface ClassFileReader

Overrides:

setExceptionHandlerTableCount in class ClassFileReaderAdapter

setExceptionHandler

public void setExceptionHandler(ClassFile cf,
                       Object tag,
                       int handlerIndex,
                       int startPc,
                       int endPc,
                       int handlerPc,
                       String catchType)

Specified by:

setExceptionHandler in interface ClassFileReader

Overrides:

setExceptionHandler in class ClassFileReaderAdapter

setExceptionHandlerTableDone

public void setExceptionHandlerTableDone(ClassFile cf,
                                Object tag)

Specified by:

setExceptionHandlerTableDone in interface ClassFileReader

Overrides:

setExceptionHandlerTableDone in class ClassFileReaderAdapter

setCode

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

Specified by:

setCode in interface ClassFileReader

Overrides:

setCode in class ClassFileReaderAdapter

setCodeAttribute

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

Specified by:

setCodeAttribute in interface ClassFileReader

Overrides:

setCodeAttribute in class ClassFileReaderAdapter

setLineNumberTableCount

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

Specified by:

setLineNumberTableCount in interface ClassFileReader

Overrides:

setLineNumberTableCount in class ClassFileReaderAdapter

setLineNumber

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

Specified by:

setLineNumber in interface ClassFileReader

Overrides:

setLineNumber in class ClassFileReaderAdapter

setLineNumberTableDone

public void setLineNumberTableDone(ClassFile cf,
                          Object tag)

Specified by:

setLineNumberTableDone in interface ClassFileReader

Overrides:

setLineNumberTableDone in class ClassFileReaderAdapter

setLocalVarTableCount

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

Specified by:

setLocalVarTableCount in interface ClassFileReader

Overrides:

setLocalVarTableCount in class ClassFileReaderAdapter

setLocalVar

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

Specified by:

setLocalVar in interface ClassFileReader

Overrides:

setLocalVar in class ClassFileReaderAdapter

setLocalVarTableDone

public void setLocalVarTableDone(ClassFile cf,
                        Object tag)

Specified by:

setLocalVarTableDone in interface ClassFileReader

Overrides:

setLocalVarTableDone in class ClassFileReaderAdapter

setAnnotationCount

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

Specified by:

setAnnotationCount in interface ClassFileReader

Overrides:

setAnnotationCount in class ClassFileReaderAdapter

setAnnotationsDone

public void setAnnotationsDone(ClassFile cf,
                      Object tag)

Specified by:

setAnnotationsDone in interface ClassFileReader

Overrides:

setAnnotationsDone in class ClassFileReaderAdapter

setParameterCount

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

Specified by:

setParameterCount in interface ClassFileReader

Overrides:

setParameterCount in class ClassFileReaderAdapter

setParameterAnnotationCount

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

Specified by:

setParameterAnnotationCount in interface ClassFileReader

Overrides:

setParameterAnnotationCount in class ClassFileReaderAdapter

setParameterAnnotation

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

Specified by:

setParameterAnnotation in interface ClassFileReader

Overrides:

setParameterAnnotation in class ClassFileReaderAdapter

setParametersDone

public void setParametersDone(ClassFile cf,
                     Object tag)

Specified by:

setParametersDone in interface ClassFileReader

Overrides:

setParametersDone in class ClassFileReaderAdapter

setAnnotation

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

Specified by:

setAnnotation in interface ClassFileReader

Overrides:

setAnnotation in class ClassFileReaderAdapter

setAnnotationValueCount

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

Specified by:

setAnnotationValueCount in interface ClassFileReader

Overrides:

setAnnotationValueCount in class ClassFileReaderAdapter

setPrimitiveAnnotationValue

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

Specified by:

setPrimitiveAnnotationValue in interface ClassFileReader

Overrides:

setPrimitiveAnnotationValue in class ClassFileReaderAdapter

setStringAnnotationValue

public void setStringAnnotationValue(ClassFile cf,
                            Object tag,
                            int annotationIndex,
                            int valueIndex,
                            String elementName,
                            int arrayIndex,
                            String val)

Specified by:

setStringAnnotationValue in interface ClassFileReader

Overrides:

setStringAnnotationValue in class ClassFileReaderAdapter

setClassAnnotationValue

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

Specified by:

setClassAnnotationValue in interface ClassFileReader

Overrides:

setClassAnnotationValue in class ClassFileReaderAdapter

setEnumAnnotationValue

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

Specified by:

setEnumAnnotationValue in interface ClassFileReader

Overrides:

setEnumAnnotationValue in class ClassFileReaderAdapter

setAnnotationValueElementCount

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

Specified by:

setAnnotationValueElementCount in interface ClassFileReader

Overrides:

setAnnotationValueElementCount in class ClassFileReaderAdapter

setAnnotationValueElementsDone

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

Specified by:

setAnnotationValueElementsDone in interface ClassFileReader

Overrides:

setAnnotationValueElementsDone in class ClassFileReaderAdapter

setSignature

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

Specified by:

setSignature in interface ClassFileReader

Overrides:

setSignature in class ClassFileReaderAdapter