com.oracle.graal.replacements.verifier

Class MethodSubstitutionVerifier

java.lang.Object

com.oracle.graal.replacements.verifier.AbstractVerifier

com.oracle.graal.replacements.verifier.MethodSubstitutionVerifier

public final class MethodSubstitutionVerifier
extends AbstractVerifier

Field Summary

Fields

Modifier and Type	Field and Description
private static boolean	DEBUG
private static String	ORIGINAL_IS_STATIC
private static String	ORIGINAL_METHOD_NAME
private static String	ORIGINAL_METHOD_NAME_DEFAULT
private static String	ORIGINAL_SIGNATURE
private static String	ORIGINAL_SIGNATURE_DEFAULT

Fields inherited from class com.oracle.graal.replacements.verifier.AbstractVerifier

env

Constructor Summary

Constructors

Constructor and Description
MethodSubstitutionVerifier(ProcessingEnvironment env)

Method Summary

Modifier and Type	Method and Description
private static TypeElement	findEnclosingClass(Element element)
Class<? extends Annotation>	getAnnotationClass()
private boolean	isSubtype(TypeMirror t1, TypeMirror t2) Tests whether one type is a subtype of another.
private boolean	isTypeCompatible(TypeMirror originalType, TypeMirror substitutionType)
private static boolean	needsErasure(TypeMirror typeMirror)
private ExecutableElement	originalMethod(ExecutableElement substitutionMethod, AnnotationMirror substitutionAnnotation, TypeElement originalType, String originalName, TypeMirror[] originalSignature, boolean isStatic)
private static String	originalName(ExecutableElement substituteMethod, AnnotationMirror substitution)
private TypeMirror[]	originalSignature(TypeElement originalType, ExecutableElement method, AnnotationMirror annotation, boolean isStatic)
void	verify(Element element, AnnotationMirror annotation)

Methods inherited from class com.oracle.graal.replacements.verifier.AbstractVerifier

findAnnotationValue, resolveAnnotationValue

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

private static final boolean DEBUG

See Also:

Constant Field Values

ORIGINAL_METHOD_NAME

private static final String ORIGINAL_METHOD_NAME

See Also:

Constant Field Values

ORIGINAL_IS_STATIC

private static final String ORIGINAL_IS_STATIC

See Also:

Constant Field Values

ORIGINAL_SIGNATURE

private static final String ORIGINAL_SIGNATURE

See Also:

Constant Field Values

ORIGINAL_METHOD_NAME_DEFAULT

private static final String ORIGINAL_METHOD_NAME_DEFAULT

See Also:

Constant Field Values

ORIGINAL_SIGNATURE_DEFAULT

private static final String ORIGINAL_SIGNATURE_DEFAULT

See Also:

Constant Field Values

Constructor Detail

MethodSubstitutionVerifier

public MethodSubstitutionVerifier(ProcessingEnvironment env)

Method Detail

getAnnotationClass

public Class<? extends Annotation> getAnnotationClass()

Specified by:

getAnnotationClass in class AbstractVerifier

verify

public void verify(Element element,
                   AnnotationMirror annotation)

Specified by:

verify in class AbstractVerifier

originalSignature

private TypeMirror[] originalSignature(TypeElement originalType,
                                       ExecutableElement method,
                                       AnnotationMirror annotation,
                                       boolean isStatic)

originalName

private static String originalName(ExecutableElement substituteMethod,
                                   AnnotationMirror substitution)

originalMethod

private ExecutableElement originalMethod(ExecutableElement substitutionMethod,
                                         AnnotationMirror substitutionAnnotation,
                                         TypeElement originalType,
                                         String originalName,
                                         TypeMirror[] originalSignature,
                                         boolean isStatic)

isTypeCompatible

private boolean isTypeCompatible(TypeMirror originalType,
                                 TypeMirror substitutionType)

isSubtype

private boolean isSubtype(TypeMirror t1,
                          TypeMirror t2)

Tests whether one type is a subtype of another. Any type is considered to be a subtype of itself.

Parameters:

t1 - the first type

t2 - the second type

Returns:

true if and only if the first type is a subtype of the second

needsErasure

private static boolean needsErasure(TypeMirror typeMirror)

findEnclosingClass

private static TypeElement findEnclosingClass(Element element)