com.oracle.graal.nodeinfo.processor

Class GraphNodeVerifier

java.lang.Object

com.oracle.graal.nodeinfo.processor.GraphNodeVerifier

public class GraphNodeVerifier
extends Object

Verifies static constraints on nodes.

Field Summary

Fields

Modifier and Type	Field and Description
private Elements	elements
private GraphNodeProcessor	env
private TypeElement	Input
(package private) TypeElement	Node
private TypeElement	NodeInputList
private TypeElement	NodeSuccessorList
private TypeElement	object
private TypeElement	OptionalInput
private TypeElement	Successor
private Types	types

Constructor Summary

Constructors

Constructor and Description
GraphNodeVerifier(GraphNodeProcessor processor)

Method Summary

Modifier and Type	Method and Description
private AnnotationMirror	findAnnotationMirror(List<? extends AnnotationMirror> mirrors, TypeElement expectedAnnotationType)
ProcessingEnvironment	getProcessingEnv()
private TypeElement	getSuperType(TypeElement element)
TypeMirror	getType(String name)
TypeElement	getTypeElement(Class<?> cls)
TypeElement	getTypeElement(String name) Returns a type element given a canonical name.
boolean	isAssignableWithErasure(Element from, Element to)
private boolean	isObject(TypeMirror type)
private boolean	sameType(TypeMirror type1, TypeMirror type2)
private void	scanFields(TypeElement node)
(package private) void	verify(TypeElement node)

Methods inherited from class java.lang.Object

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

Field Detail

env

private final GraphNodeProcessor env

types

private final Types types

elements

private final Elements elements

Input

private final TypeElement Input

OptionalInput

private final TypeElement OptionalInput

Successor

private final TypeElement Successor

Node

final TypeElement Node

NodeInputList

private final TypeElement NodeInputList

NodeSuccessorList

private final TypeElement NodeSuccessorList

object

private final TypeElement object

Constructor Detail

GraphNodeVerifier

public GraphNodeVerifier(GraphNodeProcessor processor)

Method Detail

getTypeElement

public TypeElement getTypeElement(String name)

Returns a type element given a canonical name.

getTypeElement

public TypeElement getTypeElement(Class<?> cls)

getType

public TypeMirror getType(String name)

getProcessingEnv

public ProcessingEnvironment getProcessingEnv()

isAssignableWithErasure

public boolean isAssignableWithErasure(Element from,
                                       Element to)

scanFields

private void scanFields(TypeElement node)

findAnnotationMirror

private AnnotationMirror findAnnotationMirror(List<? extends AnnotationMirror> mirrors,
                                              TypeElement expectedAnnotationType)

isObject

private boolean isObject(TypeMirror type)

sameType

private boolean sameType(TypeMirror type1,
                         TypeMirror type2)

getSuperType

private TypeElement getSuperType(TypeElement element)

verify

void verify(TypeElement node)