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 AnnotationsReader

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

Modifier and Type	Class	Description
static class	AnnotationsReader.AnnotationAttribute	Representation of an annotation attribute.
static class	AnnotationsReader.ArrayElementValue	represents an annotation argument that itself is an array of arguments
static class	AnnotationsReader.ConstantElementValue	Represents a constant argument to an annotation.
static interface	AnnotationsReader.ElementValue	Marker interface for possible element values in an annotation attribute.
static class	AnnotationsReader.EnumElementValue	Represents enum constant annotation arguments.

Field Summary

Fields

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

Fields inherited from class AnnotationsReader

beginOffset

Modifier and Type	Field	Description
protected final int	beginOffset	offset in class file where this attribute begins

Fields inherited from class AttributeReader

attr, cr, length

Modifier and Type	Field	Description
protected final int	attr
protected final ClassReader	cr
protected final int	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 AnnotationsReader

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

Modifier and Type	Method	Description
AnnotationsReader.AnnotationAttribute[]	getAllAnnotations()	get all the annotations declared in this attribute.
AnnotationsReader.AnnotationAttribute[][]	getAllParameterAnnotations()	param_annotations { u2 attribute_name_index; u4 attribute_length; u1 num_parameters; { u2 num_annotations; annotation annotations[num_annotations]; } parameter_annotations[num_parameters];
int	getAnnotationCount()
protected Pair<AnnotationsReader.AnnotationAttribute, Integer>	getAttributeAndSize(int begin)	annotation { u2 type_index; u2 num_element_value_pairs; { u2 element_name_index; element_value value; } element_value_pairs[num_element_value_pairs]
int	getAttributeSize()
static AnnotationsReader	getReaderForAnnotation(AnnotationsReader.AnnotationType type, ClassReader.AttrIterator iter)
protected String	getUtf8ConstantPoolValue(int offset)	get the Utf8 constant pool value, where the constant pool offset is given in the class
protected Pair<AnnotationsReader.ElementValue, Integer>	readElementValueAndSize(int offset)	element_value { u1 tag; union { u2 const_value_index; { u2 type_name_index; u2 const_name_index; } enum_const_value; u2 class_info_index; annotation annotation_value; { u2 num_values; element_value values[num_values]; } array_value; } value;

Methods inherited from class AttributeReader

checkSize, checkSizeEquals, getClassReader, getRawOffset, getRawSize

Modifier and Type	Method	Description
protected final void	checkSize(int offset, int len)	Ensure that the len bytes starting at offset fall within the attribute data.
protected final void	checkSizeEquals(int offset, int len)	Ensure that the len bytes starting at offset end at the end of the attribute data.
final ClassReader	getClassReader()
final int	getRawOffset()
final int	getRawSize()

Methods inherited from class 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)