org.checkerframework.framework.type

Class SyntheticArrays

java.lang.Object

org.checkerframework.framework.type.SyntheticArrays

public class SyntheticArrays
extends java.lang.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, javax.lang.model.element.Element elem)
static AnnotatedTypeMirror.AnnotatedExecutableType	replaceReturnType(javax.lang.model.element.Element methodElem, AnnotatedTypeMirror.AnnotatedArrayType 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,
                                   javax.lang.model.element.Element elem)

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(javax.lang.model.element.Element methodElem,
                                                                            AnnotatedTypeMirror.AnnotatedArrayType 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