gov.nasa.jpf.jvm

Class JVMAnnotationParser

java.lang.Object

gov.nasa.jpf.jvm.ClassFileReaderAdapter

gov.nasa.jpf.jvm.JVMAnnotationParser

All Implemented Interfaces:

ClassFileReader, AnnotationParser

public class JVMAnnotationParser
extends ClassFileReaderAdapter
implements AnnotationParser

parser that reads annotation classfiles and extracts default value entries Java annotations form a different type system. Java annotations are essentially restricted interfaces (no super-interface, no fields other than static finals that are inlined by the compiler) Since Java annotations use only a small subset of the Java classfile format we only have to parse methods and method attributes <2do> class and enum values are not yet supported

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.LinkedList<AnnotationInfo>	annotationStack
protected AnnotationInfo	curAi
protected java.util.LinkedList<java.lang.Object[]>	valuesStack

Constructor Summary

Constructors

Constructor and Description
JVMAnnotationParser(ClassFile cf)

Method Summary

Modifier and Type	Method and Description
void	parse(AnnotationInfo ai)
void	setAnnotation(ClassFile cf, java.lang.Object tag, int annotationIndex, java.lang.String annotationType)
void	setAnnotationFieldValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex)
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	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	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	setInterface(ClassFile cf, int ifcIndex, java.lang.String ifcName)
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	setMethodCount(ClassFile cf, int methodCount)
void	setMethodDone(ClassFile cf, int methodIndex)
void	setMethodsDone(ClassFile cf)
void	setPrimitiveAnnotationValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex, java.lang.Object val)
void	setStringAnnotationValue(ClassFile cf, java.lang.Object tag, int annotationIndex, int valueIndex, java.lang.String elementName, int arrayIndex, java.lang.String val)

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

setAnnotationCount, setAnnotationsDone, setAnnotationValueCount, setAnnotationValuesDone, setBootstrapMethod, setBootstrapMethodCount, setBootstrapMethodsDone, setBytecodeAnnotation, setBytecodeTypeParameterAnnotation, setClassAttributeCount, setClassAttributesDone, setCode, setCodeAttribute, setCodeAttributeCount, setCodeAttributesDone, setConstantValue, setEnclosingMethod, setException, setExceptionCount, setExceptionHandler, setExceptionHandlerTableCount, setExceptionHandlerTableDone, setExceptionParameterAnnotation, setExceptionsDone, setField, setFieldAttribute, setFieldAttributeCount, setFieldAttributesDone, setFieldCount, setFieldDone, setFieldsDone, setFormalParameterAnnotation, setInnerClass, setInnerClassCount, setInnerClassesDone, setInterfaceCount, setInterfacesDone, setLineNumber, setLineNumberTableCount, setLineNumberTableDone, setLocalVar, setLocalVarTableCount, setLocalVarTableDone, setMethodAttributeCount, setMethodAttributesDone, setParameterAnnotation, setParameterAnnotationCount, setParameterAnnotationsDone, setParameterCount, setParametersDone, setSignature, setSourceFile, setSuperTypeAnnotation, setThrowsAnnotation, setTypeAnnotation, setTypeAnnotationCount, setTypeAnnotationsDone, setTypeParameterAnnotation, setTypeParameterBoundAnnotation, setVariableAnnotation

Methods inherited from class java.lang.Object

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

Field Detail

annotationStack

protected java.util.LinkedList<AnnotationInfo> annotationStack

curAi

protected AnnotationInfo curAi

valuesStack

protected java.util.LinkedList<java.lang.Object[]> valuesStack

Constructor Detail

JVMAnnotationParser

public JVMAnnotationParser(ClassFile cf)

Method Detail

parse

public void parse(AnnotationInfo ai)
           throws ClassParseException

Specified by:

parse in interface AnnotationParser

Throws:

ClassParseException

setClass

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

Specified by:

setClass in interface ClassFileReader

Overrides:

setClass in class ClassFileReaderAdapter

Throws:

ClassParseException

setInterface

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

Specified by:

setInterface in interface ClassFileReader

Overrides:

setInterface 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,
                      java.lang.String name,
                      java.lang.String descriptor)

Specified by:

setMethod in interface ClassFileReader

Overrides:

setMethod in class ClassFileReaderAdapter

setMethodDone

public void setMethodDone(ClassFile cf,
                          int methodIndex)

Specified by:

setMethodDone in interface ClassFileReader

Overrides:

setMethodDone 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,
                               java.lang.String name,
                               int attrLength)

Specified by:

setMethodAttribute in interface ClassFileReader

Overrides:

setMethodAttribute in class ClassFileReaderAdapter

setClassAttribute

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

Specified by:

setClassAttribute in interface ClassFileReader

Overrides:

setClassAttribute in class ClassFileReaderAdapter

setAnnotation

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

Specified by:

setAnnotation in interface ClassFileReader

Overrides:

setAnnotation in class ClassFileReaderAdapter

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

Overrides:

setAnnotationFieldValue in class ClassFileReaderAdapter

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

Overrides:

setPrimitiveAnnotationValue in class ClassFileReaderAdapter

setStringAnnotationValue

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

Specified by:

setStringAnnotationValue in interface ClassFileReader

Overrides:

setStringAnnotationValue in class ClassFileReaderAdapter

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

Overrides:

setClassAnnotationValue in class ClassFileReaderAdapter

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

Overrides:

setEnumAnnotationValue in class ClassFileReaderAdapter

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

Overrides:

setAnnotationValueElementCount in class ClassFileReaderAdapter

setAnnotationValueElementsDone

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

Specified by:

setAnnotationValueElementsDone in interface ClassFileReader

Overrides:

setAnnotationValueElementsDone in class ClassFileReaderAdapter