org.checkerframework.framework.type

Class SyntheticArrays

java.lang.Object

org.checkerframework.framework.type.SyntheticArrays

public class SyntheticArrays
extends Object

SyntheticArrays exists solely to fix AnnotatedTypeMirrors that need to be adapted from Array type to a specific kind of array. There are no classes for arrays. Instead, for each type of array (e.g. String[]) the compiler/JVM creates a synthetic type for them.

Constructor Summary

Constructors

Constructor and Description
SyntheticArrays()

Method Summary

Modifier and Type	Method and Description
static boolean	isArrayClone(AnnotatedTypeMirror type, Element elem) Returns true if this combination of type/elem represents an array.clone.
static AnnotatedTypeMirror.AnnotatedExecutableType	replaceReturnType(Element methodElem, AnnotatedTypeMirror.AnnotatedArrayType newReturnType) Returns the annotated type of methodElem with its return type replaced by newReturnType.

Methods inherited from class java.lang.Object

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

Constructor Detail

SyntheticArrays

public SyntheticArrays()

Method Detail

isArrayClone

public static boolean isArrayClone(AnnotatedTypeMirror type,
                                   Element elem)

Returns true if this combination of type/elem represents an array.clone.

Parameters:

type - a type with a method/field of elem

elem - an element which is a member of type

Returns:

true if this combination of type/elem represents an array.clone

replaceReturnType

public static AnnotatedTypeMirror.AnnotatedExecutableType replaceReturnType(Element methodElem,
                                                                            AnnotatedTypeMirror.AnnotatedArrayType newReturnType)

Returns the annotated type of methodElem with its return type replaced by newReturnType.

Parameters:

methodElem - identifies a method that should have an AnnotatedArrayType as its return type

newReturnType - identifies a type that should replace methodElem's return type

Returns:

the annotated type of methodElem with its return type replaced by newReturnType