graal-compiler: graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeParser.java annotate

author	Christian Humer <christian.humer@gmail.com>
date	Fri, 18 Jan 2013 13:28:12 +0100
parents
children	d295ab2902fb

rev	line source
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	23 package com.oracle.truffle.codegen.processor.node;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import java.lang.annotation.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	26 import java.util.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	27
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	28 import javax.lang.model.element.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	29 import javax.lang.model.type.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	30 import javax.lang.model.util.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	31
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	32 import com.oracle.truffle.api.codegen.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	33 import com.oracle.truffle.api.nodes.Node.Child;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	34 import com.oracle.truffle.api.nodes.Node.Children;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	35 import com.oracle.truffle.codegen.processor.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	36 import com.oracle.truffle.codegen.processor.ast.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	37 import com.oracle.truffle.codegen.processor.node.NodeFieldData.ExecutionKind;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	38 import com.oracle.truffle.codegen.processor.node.NodeFieldData.FieldKind;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	39 import com.oracle.truffle.codegen.processor.template.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	40 import com.oracle.truffle.codegen.processor.typesystem.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	41
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	42 public class NodeParser extends TemplateParser<NodeData>{
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	43
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	44 private static final List<Class<? extends Annotation>> annotations = Arrays.asList(
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	45 Generic.class, GuardCheck.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class,
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	46 SpecializationGuard.class, SpecializationListener.class, SpecializationThrows.class);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48 private static final boolean DEBUG = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 private Map<String, NodeData> parsedNodes;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 private TypeElement originalType;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 public NodeParser(ProcessorContext c) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 super(c);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 protected NodeData parse(Element element, AnnotationMirror mirror) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 assert element instanceof TypeElement;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	60 try {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 parsedNodes = new HashMap<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	62 originalType = (TypeElement) element;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	63
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 return parseInnerClassHierarchy((TypeElement) element);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 } finally {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 if (DEBUG) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 NodeData parsed = parsedNodes.get(Utils.getQualifiedName(originalType));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 if (parsed != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 String dump = parsed.dump();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 log.error("Node parsed: %s", dump);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 System.out.println("Parsed: " + dump);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74 parsedNodes = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 originalType = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80 public boolean isDelegateToRootDeclaredType() {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 private NodeData parseInnerClassHierarchy(TypeElement rootType) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 List<? extends TypeElement> types = ElementFilter.typesIn(rootType.getEnclosedElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 List<NodeData> children = new ArrayList<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	87 for (TypeElement childElement : types) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 NodeData childNode = parseInnerClassHierarchy(childElement);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	89 if (childNode != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 children.add(childNode);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 NodeData rootNode = resolveNode(rootType);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 if (rootNode == null && children.size() > 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 rootNode = new NodeData(rootType, null);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 if (rootNode != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 rootNode.setDeclaredChildren(children);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	99 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 return rootNode;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 private NodeData resolveNode(TypeElement currentType) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	104 String typeName = Utils.getQualifiedName(currentType);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 if (!parsedNodes.containsKey(typeName)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 NodeData node = parseNode(currentType);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 if (node != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 parsedNodes.put(typeName, node);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 return node;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 return parsedNodes.get(typeName);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 private NodeData parseNode(TypeElement type) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 if (Utils.findAnnotationMirror(processingEnv, type, GeneratedBy.class) != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 // generated nodes get called again.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 if (!Utils.isAssignable(type.asType(), context.getTruffleTypes().getNode())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 return null; // not a node
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	123
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 List<Element> elements = new ArrayList<>(context.getEnvironment().getElementUtils().getAllMembers(type));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	125 List<TypeElement> typeHierarchy = findSuperClasses(new ArrayList<TypeElement>(), type);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	126 Collections.reverse(typeHierarchy);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	127
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	128 AnnotationMirror typeSystemMirror = findFirstAnnotation(typeHierarchy, TypeSystemReference.class);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 if (typeSystemMirror == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 log.error(originalType, "No @%s annotation found in type hierarchy.", TypeSystemReference.class.getSimpleName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	133
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 TypeMirror typeSytemType = Utils.getAnnotationValueType(typeSystemMirror, "value");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	135 final TypeSystemData typeSystem = (TypeSystemData) context.getTemplate(typeSytemType, true);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 if (typeSystem == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137 log.error(originalType, "The used type system '%s' is invalid.", Utils.getQualifiedName(typeSytemType));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	140
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	141 NodeData nodeData = new NodeData(type, typeSystem);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	142
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	143 nodeData.setExtensionElements(getExtensionParser().parseAll(type, elements));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 if (nodeData.getExtensionElements() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 elements.addAll(nodeData.getExtensionElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 List<ExecutableTypeData> executableTypes = filterExecutableTypes(new ExecutableTypeMethodParser(context, nodeData).parse(elements));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 nodeData.setExecutableTypes(executableTypes.toArray(new ExecutableTypeData[executableTypes.size()]));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	151
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 parsedNodes.put(Utils.getQualifiedName(type), nodeData); // node fields will resolve node types, to avoid endless loops
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	153
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 NodeFieldData[] fields = parseFields(nodeData, elements, typeHierarchy);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 if (fields == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 nodeData.setFields(fields);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	159
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	160
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 List<SpecializationData> genericSpecializations = new GenericParser(context, nodeData).parse(elements);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 List<GuardData> guards = new GuardParser(context, nodeData, nodeData.getTypeSystem()).parse(elements);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	163 nodeData.setGuards(guards.toArray(new GuardData[guards.size()]));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	164
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	165 SpecializationMethodParser specializationParser = new SpecializationMethodParser(context, nodeData);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	166 List<SpecializationData> specializations = specializationParser.parse(elements);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 List<ShortCircuitData> shortCircuits = new ShortCircuitParser(context, nodeData).parse(elements);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 List<TemplateMethod> listeners = new SpecializationListenerParser(context, nodeData).parse(elements);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	169
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 if (specializations == null \|\| genericSpecializations == null \|\| shortCircuits == null \|\| listeners == null \|\| guards == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	171 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	173
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	174 SpecializationData genericSpecialization = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 if (genericSpecializations.size() > 1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 for (SpecializationData generic : genericSpecializations) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 log.error(generic.getMethod(), "Only one method with @%s is allowed per operation.", Generic.class.getSimpleName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	178 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	179 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 } else if (genericSpecializations.size() == 1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	181 genericSpecialization = genericSpecializations.get(0);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 if (specializations.size() > 1 && genericSpecialization == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 log.error(originalType, "Need a @%s method.", Generic.class.getSimpleName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	186 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	187 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	189 Collections.sort(specializations, new Comparator<SpecializationData>() {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	190 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 public int compare(SpecializationData o1, SpecializationData o2) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 return compareSpecialization(typeSystem, o1, o2);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	193 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 });
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 List<SpecializationData> allSpecializations = new ArrayList<>(specializations);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 if (genericSpecialization != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 allSpecializations.add(genericSpecialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 CodeExecutableElement uninitializedMethod = new CodeExecutableElement(Utils.modifiers(Modifier.PUBLIC), context.getType(void.class), "doUninitialized");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	200 TemplateMethod uninializedMethod = new TemplateMethod(nodeData, genericSpecialization.getSpecification(), uninitializedMethod,
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	201 genericSpecialization.getMarkerAnnotation(), genericSpecialization.getReturnType(), genericSpecialization.getParameters());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 allSpecializations.add(0, new SpecializationData(uninializedMethod, false, true));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	204
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	205 for (SpecializationData specialization : allSpecializations) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 specialization.setNode(nodeData);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	207 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 // verify order is not ambiguous
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	210 if (!verifySpecializationOrder(typeSystem, specializations)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	211 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	213
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	214 nodeData.setSpecializations(allSpecializations.toArray(new SpecializationData[allSpecializations.size()]));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	215 nodeData.setSpecializationListeners(listeners.toArray(new TemplateMethod[listeners.size()]));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	216
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 if (!verifyMissingAbstractMethods(nodeData, elements)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	219 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	220
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	221 if (!assignShortCircuitsToSpecializations(nodeData, allSpecializations, shortCircuits)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	223 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	224
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	225 if (!verifyConstructors(nodeData)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	226 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	228
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	229 if (!verifyNamingConvention(specializations, "do")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	230 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	232
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233 if (!verifyNamesUnique(specializations)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	234 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	236
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	237 if (!verifyNamingConvention(shortCircuits, "needs")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	238 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	240
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	241 if (!verifySpecializationThrows(typeSystem, specializations)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	243 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	244
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 return nodeData;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	248 private boolean verifyMissingAbstractMethods(NodeData nodeData, List<Element> elements) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	249 if (nodeData.needsFactory()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	250 // missing abstract methods only needs to be implemented
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 // if we need go generate factory for it.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	253 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	254
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	255 Set<Element> unusedElements = new HashSet<>(elements);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	256 for (TemplateMethod method : nodeData.getAllTemplateMethods()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	257 unusedElements.remove(method.getMethod());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	258 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	259 if (nodeData.getExtensionElements() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	260 unusedElements.removeAll(nodeData.getExtensionElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	261 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	262
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	263 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	264 for (ExecutableElement unusedMethod : ElementFilter.methodsIn(unusedElements)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	265 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	266 context.getLog().error(nodeData.getTemplateType(), "The type %s must implement the inherited abstract method %s.", Utils.getSimpleName(nodeData.getTemplateType()), Utils.getReadableSignature(unusedMethod));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	268 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	270
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	271 return valid;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	274 private boolean verifyConstructors(NodeData nodeData) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	275 TypeElement type = Utils.fromTypeMirror(nodeData.getNodeType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	276 if (!nodeData.needsRewrites(context)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 // no specialization constructor is needed if the node never rewrites.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	278 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	280
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	281 List<ExecutableElement> constructors = ElementFilter.constructorsIn(type.getEnclosedElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	282 for (ExecutableElement e : constructors) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	283 if (e.getParameters().size() == 1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	284 TypeMirror firstArg = e.getParameters().get(0).asType();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 if (Utils.typeEquals(firstArg, nodeData.getNodeType())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	286 if (e.getModifiers().contains(Modifier.PRIVATE)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 context.getLog().error(e, "The specialization constructor must not be private.");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	288 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 } else if (constructors.size() <= 1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	290 context.getLog().error(e, "The specialization constructor must not be the only constructor. The definition of an alternative constructor is required.");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298 // not found
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 context.getLog().error(type, "Specialization constructor '%s(%s previousNode) { this(...); }' is required.", Utils.getSimpleName(type), Utils.getSimpleName(type));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	301 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	302
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	303 private static List<ExecutableTypeData> filterExecutableTypes(List<ExecutableTypeData> executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	304 List<ExecutableTypeData> filteredExecutableTypes = new ArrayList<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	305 for (ExecutableTypeData t1 : executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 boolean add = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307 for (ExecutableTypeData t2 : executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 if (t1 == t2) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	311 if (Utils.typeEquals(t1.getType().getPrimitiveType(), t2.getType().getPrimitiveType())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 if (t1.isFinal() && !t2.isFinal()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	313 add = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	316 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	317 if (add) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 filteredExecutableTypes.add(t1);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	320 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 return filteredExecutableTypes;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	323
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 private AnnotationMirror findFirstAnnotation(List<? extends Element> elements, Class<? extends Annotation> annotation) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 for (Element element : elements) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, element, annotation);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 if (mirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 return mirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	329 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	330 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	333
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	334 private NodeFieldData[] parseFields(NodeData nodeData, List<? extends Element> elements, final List<TypeElement> typeHierarchy) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 AnnotationMirror executionOrderMirror = findFirstAnnotation(typeHierarchy, ExecuteChildren.class);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	336 List<String> executionDefinition = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 if (executionOrderMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	338 executionDefinition = new ArrayList<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 for (Object object : Utils.getAnnotationValueList(executionOrderMirror, "value")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 executionDefinition.add((String) object);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	342 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	343
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	344 Set<String> shortCircuits = new HashSet<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	345 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	346 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, method, ShortCircuit.class);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 if (mirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 shortCircuits.add(Utils.getAnnotationValueString(mirror, "value"));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	350 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	352 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	353
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 List<NodeFieldData> fields = new ArrayList<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 for (VariableElement var : ElementFilter.fieldsIn(elements)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 if (var.getModifiers().contains(Modifier.STATIC)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	357 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 if (executionDefinition != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	361 if (!executionDefinition.contains(var.getSimpleName().toString())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	362 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	363 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	364 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	365
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 NodeFieldData field = parseField(nodeData, var, shortCircuits);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 if (field != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 if (field.getExecutionKind() != ExecutionKind.IGNORE) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369 fields.add(field);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	372 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	373 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	374 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	375
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	376 //TODO parse getters
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 if (!valid) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	378 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	380
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 NodeFieldData[] fieldArray = fields.toArray(new NodeFieldData[fields.size()]);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	382 sortByExecutionOrder(fieldArray, executionDefinition == null ? Collections.<String>emptyList() : executionDefinition, typeHierarchy);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 return fieldArray;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	384 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	385
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 private NodeFieldData parseField(NodeData parentNodeData, VariableElement var, Set<String> foundShortCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	387 AnnotationMirror childMirror = Utils.findAnnotationMirror(processingEnv, var, Child.class);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 AnnotationMirror childrenMirror = Utils.findAnnotationMirror(processingEnv, var, Children.class);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 FieldKind kind;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 ExecutionKind execution;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	393 if (foundShortCircuits.contains(var.getSimpleName().toString())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	394 execution = ExecutionKind.SHORT_CIRCUIT;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 execution = ExecutionKind.DEFAULT;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	398
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 AnnotationMirror mirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 TypeMirror nodeType;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	401
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 if (childMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 mirror = childMirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 nodeType = var.asType();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	405 kind = FieldKind.CHILD;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 } else if (childrenMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 mirror = childrenMirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 nodeType = getComponentType(var.asType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409 kind = FieldKind.CHILDREN;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 mirror = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412 nodeType = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	413 kind = FieldKind.FIELD;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 execution = ExecutionKind.IGNORE;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	415 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	416
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	417 NodeData fieldNodeData = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 if (nodeType != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 fieldNodeData = resolveNode(Utils.fromTypeMirror(nodeType));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 Element errorElement = Utils.typeEquals(parentNodeData.getTemplateType().asType(), var.getEnclosingElement().asType()) ? var : parentNodeData.getTemplateType();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 if (fieldNodeData == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 //TODO redirect errors from resolve.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 context.getLog().error(errorElement, "Node type '%s' is invalid.", Utils.getQualifiedName(nodeType));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	425 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 } else if (fieldNodeData.findGenericExecutableType(context) == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 context.getLog().error(errorElement, "No executable generic type found for node '%s'.", Utils.getQualifiedName(nodeType));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 //TODO correct handling of access elements
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433 if (var.getModifiers().contains(Modifier.PRIVATE) && Utils.typeEquals(var.getEnclosingElement().asType(), parentNodeData.getTemplateType().asType())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 execution = ExecutionKind.IGNORE;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	435 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	436
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 return new NodeFieldData(fieldNodeData, var, findAccessElement(var), mirror, kind, execution);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 private Element findAccessElement(VariableElement variableElement) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	441 Element enclosed = variableElement.getEnclosingElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 if (!enclosed.getKind().isClass()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 throw new IllegalArgumentException("Field must be enclosed in a class.");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	446 String methodName;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	447 if (Utils.typeEquals(variableElement.asType(), context.getType(boolean.class))) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 methodName = "is" + Utils.firstLetterUpperCase(variableElement.getSimpleName().toString());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	450 methodName = "get" + Utils.firstLetterUpperCase(variableElement.getSimpleName().toString());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	451 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453 ExecutableElement getter = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 for (ExecutableElement method : ElementFilter.methodsIn(enclosed.getEnclosedElements())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	455 if (method.getSimpleName().toString().equals(methodName)
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	456 && method.getParameters().size() == 0
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	457 && !Utils.typeEquals(method.getReturnType(), context.getType(void.class))) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	458 getter = method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 break;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	461 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	462
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463 if (getter != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 return getter;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	465 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	466 return variableElement;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	467 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	468 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	469
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	470 private static void sortByExecutionOrder(NodeFieldData[] fields, final List<String> executionOrder, final List<TypeElement> typeHierarchy) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	471 Arrays.sort(fields, new Comparator<NodeFieldData>() {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	472 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	473 public int compare(NodeFieldData o1, NodeFieldData o2) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	474 // sort by execution order
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 int index1 = executionOrder.indexOf(o1.getName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 int index2 = executionOrder.indexOf(o2.getName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	477 if (index1 == -1 \|\| index2 == -1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	478 // sort by type hierarchy
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	479 index1 = typeHierarchy.indexOf(o1.getFieldElement().getEnclosingElement());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	480 index2 = typeHierarchy.indexOf(o2.getFieldElement().getEnclosingElement());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	481
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	482 // finally sort by name (will emit warning)
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 if (index1 == -1 \|\| index2 == -1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 return o1.getName().compareTo(o2.getName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	486 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 return index1 - index2;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	488 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	489 });
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	490 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	491
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 private boolean assignShortCircuitsToSpecializations(NodeData nodeData,
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	493 List<SpecializationData> specializations,
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 List<ShortCircuitData> shortCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	495
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 Map<String, List<ShortCircuitData>> groupedShortCircuits = groupShortCircuits(shortCircuits);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	497
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	498 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	499
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	500 for (NodeFieldData field : nodeData.filterFields(null, ExecutionKind.SHORT_CIRCUIT)) {

7502

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

1 /*

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

4 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

5 * This code is free software; you can redistribute it and/or modify it

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

6 * under the terms of the GNU General Public License version 2 only, as

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

7 * published by the Free Software Foundation.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

8 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

9 * This code is distributed in the hope that it will be useful, but WITHOUT

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

12 * version 2 for more details (a copy is included in the LICENSE file that

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

13 * accompanied this code).

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

14 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

15 * You should have received a copy of the GNU General Public License version

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

16 * 2 along with this work; if not, write to the Free Software Foundation,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

18 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

20 * or visit www.oracle.com if you need additional information or have any

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

21 * questions.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

22 */

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

23 package com.oracle.truffle.codegen.processor.node;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

24

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

25 import java.lang.annotation.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

26 import java.util.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

27

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

28 import javax.lang.model.element.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

29 import javax.lang.model.type.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

30 import javax.lang.model.util.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

31

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

32 import com.oracle.truffle.api.codegen.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

33 import com.oracle.truffle.api.nodes.Node.Child;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

34 import com.oracle.truffle.api.nodes.Node.Children;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

35 import com.oracle.truffle.codegen.processor.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

36 import com.oracle.truffle.codegen.processor.ast.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

37 import com.oracle.truffle.codegen.processor.node.NodeFieldData.ExecutionKind;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

38 import com.oracle.truffle.codegen.processor.node.NodeFieldData.FieldKind;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

39 import com.oracle.truffle.codegen.processor.template.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

40 import com.oracle.truffle.codegen.processor.typesystem.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

41

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

42 public class NodeParser extends TemplateParser<NodeData>{

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

43

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

44 private static final List<Class<? extends Annotation>> annotations = Arrays.asList(

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

45 Generic.class, GuardCheck.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

46 SpecializationGuard.class, SpecializationListener.class, SpecializationThrows.class);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

47

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

48 private static final boolean DEBUG = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

49

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

50 private Map<String, NodeData> parsedNodes;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

51 private TypeElement originalType;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

52

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

53 public NodeParser(ProcessorContext c) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

54 super(c);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

55 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

56

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

57 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

58 protected NodeData parse(Element element, AnnotationMirror mirror) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

59 assert element instanceof TypeElement;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

60 try {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

61 parsedNodes = new HashMap<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

62 originalType = (TypeElement) element;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

63

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

64 return parseInnerClassHierarchy((TypeElement) element);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

65 } finally {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

66 if (DEBUG) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

67 NodeData parsed = parsedNodes.get(Utils.getQualifiedName(originalType));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

68 if (parsed != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

69 String dump = parsed.dump();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

70 log.error("Node parsed: %s", dump);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

71 System.out.println("Parsed: " + dump);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

72 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

73 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

74 parsedNodes = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

75 originalType = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

76 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

77 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

78

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

79 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

80 public boolean isDelegateToRootDeclaredType() {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

81 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

82 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

83

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

84 private NodeData parseInnerClassHierarchy(TypeElement rootType) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

85 List<? extends TypeElement> types = ElementFilter.typesIn(rootType.getEnclosedElements());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

86 List<NodeData> children = new ArrayList<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

87 for (TypeElement childElement : types) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

88 NodeData childNode = parseInnerClassHierarchy(childElement);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

89 if (childNode != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

90 children.add(childNode);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

91 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

92 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

93 NodeData rootNode = resolveNode(rootType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

94 if (rootNode == null && children.size() > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

95 rootNode = new NodeData(rootType, null);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

96 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

97 if (rootNode != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

98 rootNode.setDeclaredChildren(children);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

99 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

100 return rootNode;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

101 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

102

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

103 private NodeData resolveNode(TypeElement currentType) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

104 String typeName = Utils.getQualifiedName(currentType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

105 if (!parsedNodes.containsKey(typeName)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

106 NodeData node = parseNode(currentType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

107 if (node != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

108 parsedNodes.put(typeName, node);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

109 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

110 return node;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

111 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

112 return parsedNodes.get(typeName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

113 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

114

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

115 private NodeData parseNode(TypeElement type) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

116 if (Utils.findAnnotationMirror(processingEnv, type, GeneratedBy.class) != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

117 // generated nodes get called again.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

118 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

119 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

120 if (!Utils.isAssignable(type.asType(), context.getTruffleTypes().getNode())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

121 return null; // not a node

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

122 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

123

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

124 List<Element> elements = new ArrayList<>(context.getEnvironment().getElementUtils().getAllMembers(type));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

125 List<TypeElement> typeHierarchy = findSuperClasses(new ArrayList<TypeElement>(), type);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

126 Collections.reverse(typeHierarchy);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

127

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

128 AnnotationMirror typeSystemMirror = findFirstAnnotation(typeHierarchy, TypeSystemReference.class);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

129 if (typeSystemMirror == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

130 log.error(originalType, "No @%s annotation found in type hierarchy.", TypeSystemReference.class.getSimpleName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

131 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

132 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

133

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

134 TypeMirror typeSytemType = Utils.getAnnotationValueType(typeSystemMirror, "value");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

135 final TypeSystemData typeSystem = (TypeSystemData) context.getTemplate(typeSytemType, true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

136 if (typeSystem == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

137 log.error(originalType, "The used type system '%s' is invalid.", Utils.getQualifiedName(typeSytemType));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

138 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

139 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

140

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

141 NodeData nodeData = new NodeData(type, typeSystem);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

142

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

143 nodeData.setExtensionElements(getExtensionParser().parseAll(type, elements));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

144 if (nodeData.getExtensionElements() != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

145 elements.addAll(nodeData.getExtensionElements());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

146 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

147

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

148 List<ExecutableTypeData> executableTypes = filterExecutableTypes(new ExecutableTypeMethodParser(context, nodeData).parse(elements));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

149

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

150 nodeData.setExecutableTypes(executableTypes.toArray(new ExecutableTypeData[executableTypes.size()]));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

151

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

152 parsedNodes.put(Utils.getQualifiedName(type), nodeData); // node fields will resolve node types, to avoid endless loops

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

153

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

154 NodeFieldData[] fields = parseFields(nodeData, elements, typeHierarchy);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

155 if (fields == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

156 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

157 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

158 nodeData.setFields(fields);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

159

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

160

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

161 List<SpecializationData> genericSpecializations = new GenericParser(context, nodeData).parse(elements);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

162 List<GuardData> guards = new GuardParser(context, nodeData, nodeData.getTypeSystem()).parse(elements);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

163 nodeData.setGuards(guards.toArray(new GuardData[guards.size()]));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

164

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

165 SpecializationMethodParser specializationParser = new SpecializationMethodParser(context, nodeData);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

166 List<SpecializationData> specializations = specializationParser.parse(elements);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

167 List<ShortCircuitData> shortCircuits = new ShortCircuitParser(context, nodeData).parse(elements);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

168 List<TemplateMethod> listeners = new SpecializationListenerParser(context, nodeData).parse(elements);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

169

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

170 if (specializations == null || genericSpecializations == null || shortCircuits == null || listeners == null || guards == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

171 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

172 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

173

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

174 SpecializationData genericSpecialization = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

175 if (genericSpecializations.size() > 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

176 for (SpecializationData generic : genericSpecializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

177 log.error(generic.getMethod(), "Only one method with @%s is allowed per operation.", Generic.class.getSimpleName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

178 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

179 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

180 } else if (genericSpecializations.size() == 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

181 genericSpecialization = genericSpecializations.get(0);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

182 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

183

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

184 if (specializations.size() > 1 && genericSpecialization == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

185 log.error(originalType, "Need a @%s method.", Generic.class.getSimpleName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

186 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

187 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

188

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

189 Collections.sort(specializations, new Comparator<SpecializationData>() {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

190 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

191 public int compare(SpecializationData o1, SpecializationData o2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

192 return compareSpecialization(typeSystem, o1, o2);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

193 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

194 });

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

195

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

196 List<SpecializationData> allSpecializations = new ArrayList<>(specializations);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

197 if (genericSpecialization != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

198 allSpecializations.add(genericSpecialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

199 CodeExecutableElement uninitializedMethod = new CodeExecutableElement(Utils.modifiers(Modifier.PUBLIC), context.getType(void.class), "doUninitialized");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

200 TemplateMethod uninializedMethod = new TemplateMethod(nodeData, genericSpecialization.getSpecification(), uninitializedMethod,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

201 genericSpecialization.getMarkerAnnotation(), genericSpecialization.getReturnType(), genericSpecialization.getParameters());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

202 allSpecializations.add(0, new SpecializationData(uninializedMethod, false, true));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

203 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

204

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

205 for (SpecializationData specialization : allSpecializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

206 specialization.setNode(nodeData);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

207 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

208

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

209 // verify order is not ambiguous

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

210 if (!verifySpecializationOrder(typeSystem, specializations)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

211 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

212 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

213

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

214 nodeData.setSpecializations(allSpecializations.toArray(new SpecializationData[allSpecializations.size()]));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

215 nodeData.setSpecializationListeners(listeners.toArray(new TemplateMethod[listeners.size()]));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

216

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

217 if (!verifyMissingAbstractMethods(nodeData, elements)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

218 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

219 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

220

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

221 if (!assignShortCircuitsToSpecializations(nodeData, allSpecializations, shortCircuits)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

222 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

223 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

224

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

225 if (!verifyConstructors(nodeData)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

226 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

227 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

228

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

229 if (!verifyNamingConvention(specializations, "do")) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

230 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

231 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

232

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

233 if (!verifyNamesUnique(specializations)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

234 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

235 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

236

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

237 if (!verifyNamingConvention(shortCircuits, "needs")) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

238 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

239 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

240

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

241 if (!verifySpecializationThrows(typeSystem, specializations)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

242 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

243 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

244

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

245 return nodeData;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

246 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

247

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

248 private boolean verifyMissingAbstractMethods(NodeData nodeData, List<Element> elements) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

249 if (nodeData.needsFactory()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

250 // missing abstract methods only needs to be implemented

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

251 // if we need go generate factory for it.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

252 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

253 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

254

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

255 Set<Element> unusedElements = new HashSet<>(elements);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

256 for (TemplateMethod method : nodeData.getAllTemplateMethods()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

257 unusedElements.remove(method.getMethod());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

258 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

259 if (nodeData.getExtensionElements() != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

260 unusedElements.removeAll(nodeData.getExtensionElements());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

261 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

262

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

263 boolean valid = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

264 for (ExecutableElement unusedMethod : ElementFilter.methodsIn(unusedElements)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

265 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

266 context.getLog().error(nodeData.getTemplateType(), "The type %s must implement the inherited abstract method %s.", Utils.getSimpleName(nodeData.getTemplateType()), Utils.getReadableSignature(unusedMethod));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

267 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

268 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

269 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

270

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

271 return valid;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

272 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

273

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

274 private boolean verifyConstructors(NodeData nodeData) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

275 TypeElement type = Utils.fromTypeMirror(nodeData.getNodeType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

276 if (!nodeData.needsRewrites(context)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

277 // no specialization constructor is needed if the node never rewrites.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

278 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

279 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

280

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

281 List<ExecutableElement> constructors = ElementFilter.constructorsIn(type.getEnclosedElements());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

282 for (ExecutableElement e : constructors) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

283 if (e.getParameters().size() == 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

284 TypeMirror firstArg = e.getParameters().get(0).asType();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

285 if (Utils.typeEquals(firstArg, nodeData.getNodeType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

286 if (e.getModifiers().contains(Modifier.PRIVATE)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

287 context.getLog().error(e, "The specialization constructor must not be private.");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

288 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

289 } else if (constructors.size() <= 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

290 context.getLog().error(e, "The specialization constructor must not be the only constructor. The definition of an alternative constructor is required.");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

291 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

292 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

293 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

294 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

295 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

296 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

297

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

298 // not found

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

299 context.getLog().error(type, "Specialization constructor '%s(%s previousNode) { this(...); }' is required.", Utils.getSimpleName(type), Utils.getSimpleName(type));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

300 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

301 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

302

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

303 private static List<ExecutableTypeData> filterExecutableTypes(List<ExecutableTypeData> executableTypes) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

304 List<ExecutableTypeData> filteredExecutableTypes = new ArrayList<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

305 for (ExecutableTypeData t1 : executableTypes) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

306 boolean add = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

307 for (ExecutableTypeData t2 : executableTypes) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

308 if (t1 == t2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

309 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

310 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

311 if (Utils.typeEquals(t1.getType().getPrimitiveType(), t2.getType().getPrimitiveType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

312 if (t1.isFinal() && !t2.isFinal()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

313 add = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

314 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

315 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

316 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

317 if (add) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

318 filteredExecutableTypes.add(t1);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

319 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

320 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

321 return filteredExecutableTypes;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

322 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

323

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

324 private AnnotationMirror findFirstAnnotation(List<? extends Element> elements, Class<? extends Annotation> annotation) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

325 for (Element element : elements) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

326 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, element, annotation);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

327 if (mirror != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

328 return mirror;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

329 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

330 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

331 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

332 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

333

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

334 private NodeFieldData[] parseFields(NodeData nodeData, List<? extends Element> elements, final List<TypeElement> typeHierarchy) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

335 AnnotationMirror executionOrderMirror = findFirstAnnotation(typeHierarchy, ExecuteChildren.class);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

336 List<String> executionDefinition = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

337 if (executionOrderMirror != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

338 executionDefinition = new ArrayList<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

339 for (Object object : Utils.getAnnotationValueList(executionOrderMirror, "value")) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

340 executionDefinition.add((String) object);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

341 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

342 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

343

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

344 Set<String> shortCircuits = new HashSet<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

345 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

346 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, method, ShortCircuit.class);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

347 if (mirror != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

348 shortCircuits.add(Utils.getAnnotationValueString(mirror, "value"));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

349 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

350 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

351

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

352 boolean valid = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

353

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

354 List<NodeFieldData> fields = new ArrayList<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

355 for (VariableElement var : ElementFilter.fieldsIn(elements)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

356 if (var.getModifiers().contains(Modifier.STATIC)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

357 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

358 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

359

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

360 if (executionDefinition != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

361 if (!executionDefinition.contains(var.getSimpleName().toString())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

362 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

363 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

364 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

365

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

366 NodeFieldData field = parseField(nodeData, var, shortCircuits);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

367 if (field != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

368 if (field.getExecutionKind() != ExecutionKind.IGNORE) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

369 fields.add(field);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

370 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

371 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

372 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

373 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

374 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

375

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

376 //TODO parse getters

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

377 if (!valid) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

378 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

379 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

380

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

381 NodeFieldData[] fieldArray = fields.toArray(new NodeFieldData[fields.size()]);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

382 sortByExecutionOrder(fieldArray, executionDefinition == null ? Collections.<String>emptyList() : executionDefinition, typeHierarchy);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

383 return fieldArray;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

384 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

385

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

386 private NodeFieldData parseField(NodeData parentNodeData, VariableElement var, Set<String> foundShortCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

387 AnnotationMirror childMirror = Utils.findAnnotationMirror(processingEnv, var, Child.class);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

388 AnnotationMirror childrenMirror = Utils.findAnnotationMirror(processingEnv, var, Children.class);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

389

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

390 FieldKind kind;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

391

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

392 ExecutionKind execution;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

393 if (foundShortCircuits.contains(var.getSimpleName().toString())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

394 execution = ExecutionKind.SHORT_CIRCUIT;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

395 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

396 execution = ExecutionKind.DEFAULT;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

397 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

398

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

399 AnnotationMirror mirror;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

400 TypeMirror nodeType;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

401

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

402 if (childMirror != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

403 mirror = childMirror;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

404 nodeType = var.asType();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

405 kind = FieldKind.CHILD;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

406 } else if (childrenMirror != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

407 mirror = childrenMirror;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

408 nodeType = getComponentType(var.asType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

409 kind = FieldKind.CHILDREN;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

410 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

411 mirror = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

412 nodeType = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

413 kind = FieldKind.FIELD;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

414 execution = ExecutionKind.IGNORE;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

415 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

416

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

417 NodeData fieldNodeData = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

418 if (nodeType != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

419 fieldNodeData = resolveNode(Utils.fromTypeMirror(nodeType));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

420 Element errorElement = Utils.typeEquals(parentNodeData.getTemplateType().asType(), var.getEnclosingElement().asType()) ? var : parentNodeData.getTemplateType();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

421

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

422 if (fieldNodeData == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

423 //TODO redirect errors from resolve.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

424 context.getLog().error(errorElement, "Node type '%s' is invalid.", Utils.getQualifiedName(nodeType));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

425 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

426 } else if (fieldNodeData.findGenericExecutableType(context) == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

427 context.getLog().error(errorElement, "No executable generic type found for node '%s'.", Utils.getQualifiedName(nodeType));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

428 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

429 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

430 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

431

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

432 //TODO correct handling of access elements

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

433 if (var.getModifiers().contains(Modifier.PRIVATE) && Utils.typeEquals(var.getEnclosingElement().asType(), parentNodeData.getTemplateType().asType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

434 execution = ExecutionKind.IGNORE;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

435 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

436

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

437 return new NodeFieldData(fieldNodeData, var, findAccessElement(var), mirror, kind, execution);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

438 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

439

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

440 private Element findAccessElement(VariableElement variableElement) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

441 Element enclosed = variableElement.getEnclosingElement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

442 if (!enclosed.getKind().isClass()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

443 throw new IllegalArgumentException("Field must be enclosed in a class.");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

444 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

445

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

446 String methodName;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

447 if (Utils.typeEquals(variableElement.asType(), context.getType(boolean.class))) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

448 methodName = "is" + Utils.firstLetterUpperCase(variableElement.getSimpleName().toString());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

449 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

450 methodName = "get" + Utils.firstLetterUpperCase(variableElement.getSimpleName().toString());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

451 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

452

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

453 ExecutableElement getter = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

454 for (ExecutableElement method : ElementFilter.methodsIn(enclosed.getEnclosedElements())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

455 if (method.getSimpleName().toString().equals(methodName)

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

456 && method.getParameters().size() == 0

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

457 && !Utils.typeEquals(method.getReturnType(), context.getType(void.class))) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

458 getter = method;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

459 break;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

460 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

461 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

462

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

463 if (getter != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

464 return getter;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

465 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

466 return variableElement;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

467 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

468 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

469

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

470 private static void sortByExecutionOrder(NodeFieldData[] fields, final List<String> executionOrder, final List<TypeElement> typeHierarchy) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

471 Arrays.sort(fields, new Comparator<NodeFieldData>() {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

472 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

473 public int compare(NodeFieldData o1, NodeFieldData o2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

474 // sort by execution order

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

475 int index1 = executionOrder.indexOf(o1.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

476 int index2 = executionOrder.indexOf(o2.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

477 if (index1 == -1 || index2 == -1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

478 // sort by type hierarchy

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

479 index1 = typeHierarchy.indexOf(o1.getFieldElement().getEnclosingElement());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

480 index2 = typeHierarchy.indexOf(o2.getFieldElement().getEnclosingElement());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

481

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

482 // finally sort by name (will emit warning)

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

483 if (index1 == -1 || index2 == -1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

484 return o1.getName().compareTo(o2.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

485 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

486 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

487 return index1 - index2;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

488 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

489 });

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

490 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

491

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

492 private boolean assignShortCircuitsToSpecializations(NodeData nodeData,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

493 List<SpecializationData> specializations,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

494 List<ShortCircuitData> shortCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

495

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

496 Map<String, List<ShortCircuitData>> groupedShortCircuits = groupShortCircuits(shortCircuits);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

497

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

498 boolean valid = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

499

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

500 for (NodeFieldData field : nodeData.filterFields(null, ExecutionKind.SHORT_CIRCUIT)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

501 String valueName = field.getName();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

502 List<ShortCircuitData> availableCircuits = groupedShortCircuits.get(valueName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

503

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

504 if (availableCircuits == null || availableCircuits.isEmpty()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

505 log.error(nodeData.getTemplateType(),

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

506 "@%s method for short cut value '%s' required.",

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

507 ShortCircuit.class.getSimpleName(), valueName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

508 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

509 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

510 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

511

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

512

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

513 boolean sameMethodName = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

514 String methodName = availableCircuits.get(0).getMethodName();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

515 for (ShortCircuitData circuit : availableCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

516 if (!circuit.getMethodName().equals(methodName)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

517 sameMethodName = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

518 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

519 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

520

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

521 if (!sameMethodName) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

522 for (ShortCircuitData circuit : availableCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

523 log.error(circuit.getMethod(), circuit.getMarkerAnnotation(), "All short circuits for short cut value '%s' must have the same method name.", valueName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

524 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

525 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

526 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

527 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

528

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

529 ShortCircuitData genericCircuit = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

530 for (ShortCircuitData circuit : availableCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

531 if (isGenericShortCutMethod(nodeData, circuit)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

532 genericCircuit = circuit;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

533 break;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

534 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

535 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

536

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

537 if (genericCircuit == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

538 log.error(nodeData.getTemplateType(),

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

539 "No generic @%s method available for short cut value '%s'.", ShortCircuit.class.getSimpleName(), valueName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

540 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

541 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

542 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

543

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

544 for (ShortCircuitData circuit : availableCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

545 if (circuit != genericCircuit) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

546 circuit.setGenericShortCircuitMethod(genericCircuit);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

547 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

548 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

549 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

550

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

551 if (!valid) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

552 return valid;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

553 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

554

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

555 NodeFieldData[] fields = nodeData.filterFields(null, ExecutionKind.SHORT_CIRCUIT);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

556 for (SpecializationData specialization : specializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

557 ShortCircuitData[] assignedShortCuts = new ShortCircuitData[fields.length];

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

558

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

559 for (int i = 0; i < fields.length; i++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

560 List<ShortCircuitData> availableShortCuts = groupedShortCircuits.get(fields[i].getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

561

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

562 ShortCircuitData genericShortCircuit = null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

563 for (ShortCircuitData circuit : availableShortCuts) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

564 if (circuit.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

565 genericShortCircuit = circuit;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

566 } else if (circuit.isCompatibleTo(specialization)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

567 assignedShortCuts[i] = circuit;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

568 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

569 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

570

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

571 if (assignedShortCuts[i] == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

572 assignedShortCuts[i] = genericShortCircuit;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

573 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

574 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

575 specialization.setShortCircuits(assignedShortCuts);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

576 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

577 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

578 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

579

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

580 private boolean verifyNamingConvention(List<? extends TemplateMethod> methods, String prefix) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

581 boolean valid = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

582 for (int i = 0; i < methods.size(); i++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

583 TemplateMethod m1 = methods.get(i);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

584 if (m1.getMethodName().length() < 3 || !m1.getMethodName().startsWith(prefix)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

585 log.error(m1.getMethod(), m1.getMarkerAnnotation(), "Naming convention: method name must start with '%s'.", prefix);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

586 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

587 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

588 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

589 return valid;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

590 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

591

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

592 private boolean verifyNamesUnique(List<? extends TemplateMethod> methods) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

593 boolean valid = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

594 for (int i = 0; i < methods.size(); i++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

595 TemplateMethod m1 = methods.get(i);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

596 for (int j = i + 1; j < methods.size(); j++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

597 TemplateMethod m2 = methods.get(j);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

598

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

599 if (m1.getMethodName().equalsIgnoreCase(m2.getMethodName())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

600 log.error(m1.getMethod(), m1.getMarkerAnnotation(), "Method name '%s' used multiple times", m1.getMethodName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

601 log.error(m2.getMethod(), m2.getMarkerAnnotation(), "Method name '%s' used multiple times", m1.getMethodName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

602 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

603 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

604 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

605 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

606 return valid;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

607 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

608

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

609

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

610 private static boolean isGenericShortCutMethod(NodeData node, TemplateMethod method) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

611 for (NodeFieldData field : node.getFields()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

612 ActualParameter parameter = method.findParameter(field.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

613 if (parameter == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

614 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

615 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

616 if (!Utils.typeEquals(node.getTypeSystem().getGenericType(), parameter.getActualType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

617 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

618 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

619 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

620 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

621 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

622

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

623 private static Map<String, List<ShortCircuitData>> groupShortCircuits(List<ShortCircuitData> shortCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

624 Map<String, List<ShortCircuitData>> group = new HashMap<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

625 for (ShortCircuitData shortCircuit : shortCircuits) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

626 List<ShortCircuitData> circuits = group.get(shortCircuit.getValueName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

627 if (circuits == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

628 circuits = new ArrayList<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

629 group.put(shortCircuit.getValueName(), circuits);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

630 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

631 circuits.add(shortCircuit);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

632 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

633 return group;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

634 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

635

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

636

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

637 private TypeMirror getComponentType(TypeMirror type) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

638 if (type instanceof ArrayType) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

639 return getComponentType(((ArrayType) type).getComponentType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

640 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

641 return type;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

642 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

643

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

644 private static List<TypeElement> findSuperClasses(List<TypeElement> collection, TypeElement element) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

645 if (element.getSuperclass() != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

646 TypeElement superElement = Utils.fromTypeMirror(element.getSuperclass());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

647 if (superElement != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

648 findSuperClasses(collection, superElement);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

649 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

650 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

651 collection.add(element);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

652 return collection;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

653 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

654

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

655

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

656 private boolean verifySpecializationOrder(TypeSystemData typeSystem, List<SpecializationData> specializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

657 for (int i = 0; i < specializations.size(); i++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

658 SpecializationData m1 = specializations.get(i);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

659 for (int j = i + 1; j < specializations.size(); j++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

660 SpecializationData m2 = specializations.get(j);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

661 int inferredOrder = compareSpecializationWithoutOrder(typeSystem, m1, m2);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

662

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

663 if (m1.getOrder() != Specialization.DEFAULT_ORDER && m2.getOrder() != Specialization.DEFAULT_ORDER) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

664 int specOrder = m1.getOrder() - m2.getOrder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

665 if (specOrder == 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

666 log.error(m1.getMethod(), m1.getMarkerAnnotation(), "Order value %d used multiple times", m1.getOrder());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

667 log.error(m2.getMethod(), m2.getMarkerAnnotation(), "Order value %d used multiple times", m1.getOrder());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

668 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

669 } else if ((specOrder < 0 && inferredOrder > 0) || (specOrder > 0 && inferredOrder < 0)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

670 log.error(m1.getMethod(), m1.getMarkerAnnotation(), "Explicit order values %d and %d are inconsistent with type lattice ordering.", m1.getOrder(), m2.getOrder());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

671 log.error(m2.getMethod(), m2.getMarkerAnnotation(), "Explicit order values %d and %d are inconsistent with type lattice ordering.", m1.getOrder(), m2.getOrder());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

672 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

673 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

674 } else if (inferredOrder == 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

675 SpecializationData m = (m1.getOrder() == Specialization.DEFAULT_ORDER ? m1 : m2);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

676 log.error(m.getMethod(), m.getMarkerAnnotation(), "Cannot calculate a consistent order for this specialization. Define the order attribute to resolve this.");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

677 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

678 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

679 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

680 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

681 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

682 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

683

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

684

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

685 private boolean verifySpecializationThrows(TypeSystemData typeSystem, List<SpecializationData> specializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

686 Map<String, SpecializationData> specializationMap = new HashMap<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

687 for (SpecializationData spec : specializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

688 specializationMap.put(spec.getMethodName(), spec);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

689 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

690 boolean valid = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

691 for (SpecializationData sourceSpecialization : specializations) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

692 if (sourceSpecialization.getExceptions() != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

693 for (SpecializationThrowsData throwsData : sourceSpecialization.getExceptions()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

694 SpecializationData targetSpecialization = specializationMap.get(throwsData.getTransitionToName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

695 AnnotationValue value = Utils.getAnnotationValue(throwsData.getAnnotationMirror(), "transitionTo");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

696

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

697 if (targetSpecialization != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

698 log.error("Specialization throws current %s target %s compare %s.", sourceSpecialization.getMethodName(), targetSpecialization.getMethodName(), compareSpecialization(typeSystem, sourceSpecialization, targetSpecialization));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

699 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

700

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

701 if (targetSpecialization == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

702 log.error(throwsData.getSpecialization().getMethod(), throwsData.getAnnotationMirror(), value,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

703 "Specialization with name '%s' not found.", throwsData.getTransitionToName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

704 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

705 } else if (compareSpecialization(typeSystem, sourceSpecialization, targetSpecialization) >= 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

706 log.error(throwsData.getSpecialization().getMethod(), throwsData.getAnnotationMirror(), value,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

707 "The order of the target specializalization must be higher than the source specialization.", throwsData.getTransitionToName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

708 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

709 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

710

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

711 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

712 if (otherThrowsData != throwsData

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

713 && Utils.typeEquals(otherThrowsData.getJavaClass(), throwsData.getJavaClass())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

714 AnnotationValue javaClassValue = Utils.getAnnotationValue(throwsData.getAnnotationMirror(), "javaClass");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

715 log.error(throwsData.getSpecialization().getMethod(), throwsData.getAnnotationMirror(), javaClassValue,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

716 "Duplicate exception type.", throwsData.getTransitionToName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

717 valid = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

718 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

719 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

720 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

721 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

722 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

723 return valid;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

724 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

725

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

726

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

727 private static int compareSpecialization(TypeSystemData typeSystem, SpecializationData m1, SpecializationData m2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

728 if (m1 == m2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

729 return 0;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

730 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

731 int result = compareSpecializationWithoutOrder(typeSystem, m1, m2);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

732 if (result == 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

733 if (m1.getOrder() != Specialization.DEFAULT_ORDER && m2.getOrder() != Specialization.DEFAULT_ORDER) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

734 return m1.getOrder() - m2.getOrder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

735 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

736 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

737 return result;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

738 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

739

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

740 private static int compareSpecializationWithoutOrder(TypeSystemData typeSystem, SpecializationData m1, SpecializationData m2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

741 if (m1.getSpecification() != m2.getSpecification()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

742 throw new UnsupportedOperationException("Cannot compare two specializations with different specifications.");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

743 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

744

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

745 int result = compareActualParameter(typeSystem, m1.getReturnType(), m2.getReturnType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

746

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

747 for (ParameterSpec spec : m1.getSpecification().getParameters()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

748 ActualParameter p1 = m1.findParameter(spec);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

749 ActualParameter p2 = m2.findParameter(spec);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

750

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

751 if (p1 != null && p2 != null && !Utils.typeEquals(p1.getActualType(), p2.getActualType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

752 int typeResult = compareActualParameter(typeSystem, p1, p2);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

753 if (result == 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

754 result = typeResult;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

755 } else if (Math.signum(result) != Math.signum(typeResult)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

756 // We cannot define an order.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

757 return 0;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

758 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

759 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

760 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

761 return result;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

762 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

763

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

764 private static int compareActualParameter(TypeSystemData typeSystem, ActualParameter p1, ActualParameter p2) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

765 int index1 = typeSystem.findType(p1.getActualType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

766 int index2 = typeSystem.findType(p2.getActualType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

767

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

768 assert index1 != index2;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

769 assert !(index1 == -1 ^ index2 == -1);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

770

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

771 return index1 - index2;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

772 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

773

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

774

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

775 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

776 public Class< ? extends Annotation> getAnnotationType() {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

777 return null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

778 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

779

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

780 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

781 public List<Class< ? extends Annotation>> getTypeDelegatedAnnotationTypes() {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

782 return annotations;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

783 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

784

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

785 }

Mercurial > hg > graal-compiler

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeParser.java @ 7502:6343a09b2ec1