com.oracle.graal.replacements.verifier

Class NodeIntrinsicVerifier

java.lang.Object

com.oracle.graal.replacements.verifier.AbstractVerifier

com.oracle.graal.replacements.verifier.NodeIntrinsicVerifier

public final class NodeIntrinsicVerifier
extends AbstractVerifier

Field Summary

Fields

Modifier and Type	Field and Description
private static String	NODE_CLASS_NAME

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

env

Constructor Summary

Constructors

Constructor and Description
NodeIntrinsicVerifier(ProcessingEnvironment env)

Method Summary

Modifier and Type	Method and Description
private void	checkInputType(TypeElement nodeClass, TypeMirror returnType, Element element, AnnotationMirror annotation)
private TypeMirror	classType()
private TypeMirror[]	constructorSignature(ExecutableElement method)
private void	findConstructor(TypeElement nodeClass, TypeMirror[] signature, ExecutableElement intrinsicMethod, AnnotationMirror intrinsicAnnotation)
Class<? extends Annotation>	getAnnotationClass()
private InputType	getInputType(TypeMirror type, Element element, AnnotationMirror annotation)
private boolean	isNodeType(TypeElement nodeClass)
private boolean	isTypeCompatible(TypeMirror originalType, TypeMirror substitutionType)
private static boolean	needsErasure(TypeMirror typeMirror)
private TypeMirror	nodeType()
private TypeMirror	resolvedJavaTypeType()
private TypeMirror	structuralInputType()
private TypeMirror	valueNodeType()
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

NODE_CLASS_NAME

private static final String NODE_CLASS_NAME

See Also:

Constant Field Values

Constructor Detail

NodeIntrinsicVerifier

public NodeIntrinsicVerifier(ProcessingEnvironment env)

Method Detail

nodeType

private TypeMirror nodeType()

valueNodeType

private TypeMirror valueNodeType()

classType

private TypeMirror classType()

resolvedJavaTypeType

private TypeMirror resolvedJavaTypeType()

structuralInputType

private TypeMirror structuralInputType()

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

checkInputType

private void checkInputType(TypeElement nodeClass,
                            TypeMirror returnType,
                            Element element,
                            AnnotationMirror annotation)

getInputType

private InputType getInputType(TypeMirror type,
                               Element element,
                               AnnotationMirror annotation)

isNodeType

private boolean isNodeType(TypeElement nodeClass)

constructorSignature

private TypeMirror[] constructorSignature(ExecutableElement method)

findConstructor

private void findConstructor(TypeElement nodeClass,
                             TypeMirror[] signature,
                             ExecutableElement intrinsicMethod,
                             AnnotationMirror intrinsicAnnotation)

isTypeCompatible

private boolean isTypeCompatible(TypeMirror originalType,
                                 TypeMirror substitutionType)

needsErasure

private static boolean needsErasure(TypeMirror typeMirror)