Package com.ibm.wala.shrike.shrikeCT

Class TypeAnnotationsReader

java.lang.Object

com.ibm.wala.shrike.shrikeCT.AttributeReader

com.ibm.wala.shrike.shrikeCT.AnnotationsReader

com.ibm.wala.shrike.shrikeCT.TypeAnnotationsReader

public class TypeAnnotationsReader
extends AnnotationsReader

This class reads TypeAnnotations attributes, i.e.: RuntimeInvisibleTypeAnnotations and RuntimeVisibleTypeAnnotations

Author:

Martin Hecker martin.hecker@kit.edu

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	TypeAnnotationsReader.AnnotationType
static class	TypeAnnotationsReader.CatchTarget
static class	TypeAnnotationsReader.EmptyTarget
static class	TypeAnnotationsReader.FormalParameterTarget
static class	TypeAnnotationsReader.LocalVarTarget
static class	TypeAnnotationsReader.OffsetTarget
static class	TypeAnnotationsReader.SuperTypeTarget
static enum	TypeAnnotationsReader.TargetInfo	Possible target_type items.
static enum	TypeAnnotationsReader.TargetType	Known target_types for JSR 308 Type-Annotation.
static class	TypeAnnotationsReader.ThrowsTarget
static class	TypeAnnotationsReader.TypeAnnotationAttribute
static enum	TypeAnnotationsReader.TypeAnnotationLocation	Enumeration of those Bytecode locations where type annotation may appear (in the corresponding attribute table).
static class	TypeAnnotationsReader.TypeAnnotationTarget	A TypeAnnotationsReader.TypeAnnotationTarget represents one of the possible target_info structure
static interface	TypeAnnotationsReader.TypeAnnotationTargetVisitor<R>
static class	TypeAnnotationsReader.TypeArgumentTarget
static class	TypeAnnotationsReader.TypeParameterBoundTarget
static class	TypeAnnotationsReader.TypeParameterTarget
static enum	TypeAnnotationsReader.TypePathKind

Nested classes/interfaces inherited from class com.ibm.wala.shrike.shrikeCT.AnnotationsReader

AnnotationsReader.AnnotationAttribute, AnnotationsReader.ArrayElementValue, AnnotationsReader.ConstantElementValue, AnnotationsReader.ElementValue, AnnotationsReader.EnumElementValue

Field Summary

Fields

Modifier and Type	Field	Description
static final List<Pair<TypeAnnotationsReader.TypePathKind,Integer>>	TYPEPATH_EMPTY

Fields inherited from class com.ibm.wala.shrike.shrikeCT.AnnotationsReader

beginOffset

Fields inherited from class com.ibm.wala.shrike.shrikeCT.AttributeReader

attr, cr, length

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeAnnotationsReader(ClassReader.AttrIterator iter, String label, ExceptionsReader exceptionReader, CodeReader codeReader, SignatureReader signatureReader, TypeAnnotationsReader.TypeAnnotationLocation location)

Method Summary

Modifier and Type	Method	Description
TypeAnnotationsReader.TypeAnnotationAttribute[]	getAllTypeAnnotations()
static TypeAnnotationsReader	getReaderForAnnotationAtClassfile(TypeAnnotationsReader.AnnotationType type, ClassReader.AttrIterator iter, SignatureReader signatureReader)
static TypeAnnotationsReader	getReaderForAnnotationAtCode(TypeAnnotationsReader.AnnotationType type, ClassReader.AttrIterator iter, CodeReader codereader)
static TypeAnnotationsReader	getReaderForAnnotationAtFieldInfo(TypeAnnotationsReader.AnnotationType type, ClassReader.AttrIterator iter)
static TypeAnnotationsReader	getReaderForAnnotationAtMethodInfo(TypeAnnotationsReader.AnnotationType type, ClassReader.AttrIterator iter, ExceptionsReader exceptionReader, SignatureReader signatureReader)
static TypeAnnotationsReader	getTypeAnnotationReaderAtClassfile(ClassReader.AttrIterator iter, String label, SignatureReader signatureReader)
static TypeAnnotationsReader	getTypeAnnotationReaderAtCode(ClassReader.AttrIterator iter, String label, CodeReader codeReader)
static TypeAnnotationsReader	getTypeAnnotationReaderAtFieldInfo(ClassReader.AttrIterator iter, String label)
static TypeAnnotationsReader	getTypeAnnotationReaderAtMethodInfo(ClassReader.AttrIterator iter, String label, ExceptionsReader exceptionReader, SignatureReader signatureReader)
static boolean	isKnownAnnotation(String name)

Methods inherited from class com.ibm.wala.shrike.shrikeCT.AnnotationsReader

getAllAnnotations, getAllParameterAnnotations, getAnnotationCount, getAttributeAndSize, getAttributeSize, getReaderForAnnotation, getUtf8ConstantPoolValue, readElementValueAndSize

Methods inherited from class com.ibm.wala.shrike.shrikeCT.AttributeReader

checkSize, checkSizeEquals, getClassReader, getRawOffset, getRawSize

Methods inherited from class java.lang.Object

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

Field Details

TYPEPATH_EMPTY

public static final List<Pair<TypeAnnotationsReader.TypePathKind,Integer>> TYPEPATH_EMPTY

Constructor Details

TypeAnnotationsReader

protected TypeAnnotationsReader(ClassReader.AttrIterator iter,
 String label,
 ExceptionsReader exceptionReader,
 CodeReader codeReader,
 SignatureReader signatureReader,
 TypeAnnotationsReader.TypeAnnotationLocation location)
                         throws InvalidClassFileException

Throws:

InvalidClassFileException

Method Details

getTypeAnnotationReaderAtClassfile

public static TypeAnnotationsReader getTypeAnnotationReaderAtClassfile(ClassReader.AttrIterator iter,
 String label,
 SignatureReader signatureReader)
                                                                throws InvalidClassFileException

Returns:

a TypeAnnotationReader for reading type annotations in the attributes table of a ClassFile structure

Throws:

InvalidClassFileException

getTypeAnnotationReaderAtMethodInfo

public static TypeAnnotationsReader getTypeAnnotationReaderAtMethodInfo(ClassReader.AttrIterator iter,
 String label,
 ExceptionsReader exceptionReader,
 SignatureReader signatureReader)
                                                                 throws InvalidClassFileException

Returns:

a TypeAnnotationReader for reading type annotations in the attributes table of a method_info structure

Throws:

InvalidClassFileException

getTypeAnnotationReaderAtFieldInfo

public static TypeAnnotationsReader getTypeAnnotationReaderAtFieldInfo(ClassReader.AttrIterator iter,
 String label)
                                                                throws InvalidClassFileException

Returns:

a TypeAnnotationReader for reading type annotations in the attributes table of a field_info structure

Throws:

InvalidClassFileException

getTypeAnnotationReaderAtCode

public static TypeAnnotationsReader getTypeAnnotationReaderAtCode(ClassReader.AttrIterator iter,
 String label,
 CodeReader codeReader)
                                                           throws InvalidClassFileException

Returns:

a TypeAnnotationReader for reading type annotations in the attributes table of a Code attribute

Throws:

InvalidClassFileException

getAllTypeAnnotations

public TypeAnnotationsReader.TypeAnnotationAttribute[] getAllTypeAnnotations()
                                                                      throws InvalidClassFileException

Returns:

an array TypeAnnotationAttribute[] corresponding to the annotations[num_annotations] table specified as:

 RuntimeVisibleTypeAnnotations_attribute {
   u2              attribute_name_index;
   u4              attribute_length;
   u2              num_annotations;
   type_annotation annotations[num_annotations];
 }
 

Throws:

InvalidClassFileException

See Also:

• JLS (SE8), 4.7.20

isKnownAnnotation

public static boolean isKnownAnnotation(String name)

getReaderForAnnotationAtClassfile

public static TypeAnnotationsReader getReaderForAnnotationAtClassfile(TypeAnnotationsReader.AnnotationType type,
 ClassReader.AttrIterator iter,
 SignatureReader signatureReader)

getReaderForAnnotationAtMethodInfo

public static TypeAnnotationsReader getReaderForAnnotationAtMethodInfo(TypeAnnotationsReader.AnnotationType type,
 ClassReader.AttrIterator iter,
 ExceptionsReader exceptionReader,
 SignatureReader signatureReader)

getReaderForAnnotationAtFieldInfo

public static TypeAnnotationsReader getReaderForAnnotationAtFieldInfo(TypeAnnotationsReader.AnnotationType type,
 ClassReader.AttrIterator iter)

getReaderForAnnotationAtCode

public static TypeAnnotationsReader getReaderForAnnotationAtCode(TypeAnnotationsReader.AnnotationType type,
 ClassReader.AttrIterator iter,
 CodeReader codereader)