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

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeParser.java @ 8251:cb70ed101b5f

Added automatic generation of generic specialization which throws unsupported operation if reached.

author	Christian Humer <christian.humer@gmail.com>
date	Wed, 13 Mar 2013 11:32:43 +0100
parents	c4c3f50fa9c2
children	0905d796944a

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
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	42 public class NodeParser extends TemplateParser<NodeData> {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	43
8243 d81ff782fa1a Removed @SpecializationThrows from codegen API. Replaced it by a simplier version in @Specialization. Christian Humer <christian.humer@gmail.com> parents: 8242 diff changeset	44 public static final List<Class<? extends Annotation>> ANNOTATIONS = Arrays.asList(Generic.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class, SpecializationListener.class);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	45
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	46 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	47
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48 public NodeParser(ProcessorContext c) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 super(c);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 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	54 assert element instanceof TypeElement;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	55 NodeData node = null;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 try {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 parsedNodes = new HashMap<>();
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	58 node = resolveNode((TypeElement) element);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 } finally {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	60 parsedNodes = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 }
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	62 return node;
7502 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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 public boolean isDelegateToRootDeclaredType() {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	70 private NodeData resolveNode(TypeElement rootType) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	71 String typeName = Utils.getQualifiedName(rootType);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	72 if (parsedNodes.containsKey(typeName)) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	73 return parsedNodes.get(typeName);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	74 }
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	75
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 List<? extends TypeElement> types = ElementFilter.typesIn(rootType.getEnclosedElements());
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	77
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 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	79 for (TypeElement childElement : types) {
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	80 NodeData childNode = resolveNode(childElement);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 if (childNode != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 children.add(childNode);
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 }
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	85 NodeData rootNode = parseNode(rootType);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 if (rootNode == null && children.size() > 0) {
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	87 rootNode = new NodeData(rootType, null, rootType.getSimpleName().toString());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 }
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	89
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	90 parsedNodes.put(typeName, rootNode);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	91
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 if (rootNode != null) {
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	93 children.addAll(rootNode.getDeclaredChildren());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 rootNode.setDeclaredChildren(children);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 }
7859 3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7856 diff changeset	96
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	97 if (Log.DEBUG) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	98 NodeData parsed = parsedNodes.get(typeName);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	99 if (parsed != null) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	100 String dump = parsed.dump();
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	101 String valid = rootNode != null ? "" : " failed";
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	102 String msg = String.format("Node parsing %s : %s", valid, dump);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	103 log.error(msg);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	104 System.out.println(msg);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 }
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	106 }
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	107
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	108 return rootNode;
7502 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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 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	112 if (Utils.findAnnotationMirror(processingEnv, type, GeneratedBy.class) != null) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	113 // generated nodes should not get called again.
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 }
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	116
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	117 AnnotationMirror methodNodes = Utils.findAnnotationMirror(processingEnv, type, NodeClass.class);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	118
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	119 if (methodNodes == null && !Utils.isAssignable(type.asType(), context.getTruffleTypes().getNode())) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 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	121 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	123 if (type.getModifiers().contains(Modifier.PRIVATE)) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	124 return null; // not visible
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	125 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	126
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	127 TypeElement nodeType;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	128 boolean needsSplit;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	129 if (methodNodes != null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	130 needsSplit = methodNodes != null;
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	131 nodeType = Utils.fromTypeMirror(Utils.getAnnotationValue(TypeMirror.class, methodNodes, "value"));
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	132 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	133 needsSplit = false;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	134 nodeType = type;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	135 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	136
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	137 NodeData nodeData = parseNodeData(type, nodeType);
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	138 if (nodeData == null) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	139 return null;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	140 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	141
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	142 List<Element> elements = new ArrayList<>(context.getEnvironment().getElementUtils().getAllMembers(type));
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	143 nodeData.setExtensionElements(getExtensionParser().parseAll(type, elements));
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	144 if (nodeData.getExtensionElements() != null) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	145 elements.addAll(nodeData.getExtensionElements());
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	146 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	147
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	148 if (!parseMethods(nodeData, elements)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	149 return null;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	150 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	151
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	152 List<NodeData> nodes;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	153 if (needsSplit) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	154 nodes = splitNodeData(nodeData);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	155 if (nodes == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	156 return null;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	157 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	158 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	159 nodes = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	160 nodes.add(nodeData);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	161 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	162
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	163 boolean valid = true;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	164 for (NodeData splittedNode : nodes) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	165 if (!finalizeSpecializations(splittedNode)) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	166 valid = false;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	167 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	168 if (!verifyNode(splittedNode)) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	169 valid = false;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	170 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	171 }
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	172
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	173 if (!valid) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	174 return null;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	175 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	176
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	177 if (needsSplit) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	178 nodeData.setDeclaredChildren(nodes);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	179 nodeData.setSpecializationListeners(new ArrayList<SpecializationListenerData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	180 nodeData.setSpecializations(new ArrayList<SpecializationData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	181 return nodeData;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	182 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	183 return nodeData;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	184 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	185 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	186
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	187 private static List<NodeData> splitNodeData(NodeData node) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	188 SortedMap<String, List<SpecializationData>> groupedSpecializations = groupByNodeId(node.getSpecializations());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	189 SortedMap<String, List<SpecializationListenerData>> groupedListeners = groupByNodeId(node.getSpecializationListeners());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	190
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	191 Set<String> ids = new TreeSet<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	192 ids.addAll(groupedSpecializations.keySet());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	193 ids.addAll(groupedListeners.keySet());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	194
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	195 List<NodeData> splitted = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	196 for (String id : ids) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	197 List<SpecializationData> specializations = groupedSpecializations.get(id);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	198 List<SpecializationListenerData> listeners = groupedListeners.get(id);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	199
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	200 if (specializations == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	201 specializations = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	202 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	203
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	204 if (listeners == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	205 listeners = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	206 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	207
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	208 String nodeId = node.getNodeId();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	209 if (nodeId.endsWith("Node") && !nodeId.equals("Node")) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	210 nodeId = nodeId.substring(0, nodeId.length() - 4);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	211 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	212 String newNodeId = nodeId + Utils.firstLetterUpperCase(id);
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	213 NodeData copy = new NodeData(node, id, newNodeId);
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	214
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	215 copy.setSpecializations(specializations);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	216 copy.setSpecializationListeners(listeners);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	217
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	218 splitted.add(copy);
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	219 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	220
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	221 node.setSpecializations(new ArrayList<SpecializationData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	222 node.setSpecializationListeners(new ArrayList<SpecializationListenerData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	223
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	224 return splitted;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	225 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	226
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	227 private static <M extends TemplateMethod> SortedMap<String, List<M>> groupByNodeId(List<M> methods) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	228 SortedMap<String, List<M>> grouped = new TreeMap<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	229 for (M m : methods) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	230 List<M> list = grouped.get(m.getId());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	231 if (list == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	232 list = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	233 grouped.put(m.getId(), list);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	234 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	235 list.add(m);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	236 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	237 return grouped;
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	238 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	239
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	240 private boolean parseMethods(final NodeData node, List<Element> elements) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	241 node.setGuards(new GuardParser(context, node, node.getTypeSystem()).parse(elements));
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	242 node.setShortCircuits(new ShortCircuitParser(context, node).parse(elements));
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	243 node.setSpecializationListeners(new SpecializationListenerParser(context, node).parse(elements));
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	244 List<SpecializationData> generics = new GenericParser(context, node).parse(elements);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	245 List<SpecializationData> specializations = new SpecializationMethodParser(context, node).parse(elements);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	246
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	247 if (generics == null \|\| specializations == null \|\| node.getGuards() == null \|\| node.getShortCircuits() == null \|\| node.getSpecializationListeners() == null) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	248 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	249 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	250
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	251 List<SpecializationData> allSpecializations = new ArrayList<>();
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	252 allSpecializations.addAll(generics);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	253 allSpecializations.addAll(specializations);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	254
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	255 node.setSpecializations(allSpecializations);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	256
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	257 return true;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	258 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	259
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	260 private boolean finalizeSpecializations(final NodeData node) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	261 List<SpecializationData> specializations = new ArrayList<>(node.getSpecializations());
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	262
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	263 if (specializations.isEmpty()) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	264 return true;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	265 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	266
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	267 List<SpecializationData> generics = new ArrayList<>();
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	268 for (SpecializationData spec : specializations) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	269 if (spec.isGeneric()) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	270 generics.add(spec);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	271 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	272 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	273
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	274 if (generics.size() == 1 && specializations.size() == 1) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	275 for (SpecializationData generic : generics) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	276 log.error(generic.getMethod(), "@%s defined but no @%s.", Generic.class.getSimpleName(), Specialization.class.getSimpleName());
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	277 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	278 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	279
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	280 SpecializationData genericSpecialization = null;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	281 if (generics.size() > 1) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	282 for (SpecializationData generic : generics) {
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	283 log.error(generic.getMethod(), "Only @%s is allowed per operation.", Generic.class.getSimpleName());
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	284 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	285 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	286 } else if (generics.size() == 1) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	287 genericSpecialization = generics.get(0);
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	288 if (!node.needsRewrites(context)) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	289 log.error(genericSpecialization.getMethod(), "Generic specialization is not reachable.", Generic.class.getSimpleName());
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	290 return false;
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	291 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	292 } else if (node.needsRewrites(context)) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	293 SpecializationData specialization = specializations.get(0);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	294 GenericParser parser = new GenericParser(context, node);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	295 MethodSpec specification = parser.createDefaultMethodSpec(specialization.getMethod(), null, null);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	296
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	297 ExecutableTypeData anyGenericReturnType = node.findAnyGenericExecutableType(context);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	298 if (anyGenericReturnType == null) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	299 // TODO fail invalid executable type. should be validated by field. (assertion
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	300 // failure!?)
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	301 }
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	302
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	303 ActualParameter returnType = new ActualParameter(specification.getReturnType(), anyGenericReturnType.getType().getPrimitiveType(), 0, false);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	304 List<ActualParameter> parameters = new ArrayList<>();
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	305 for (ActualParameter specializationParameter : specialization.getParameters()) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	306 ParameterSpec parameterSpec = specification.findParameterSpec(specializationParameter.getSpecification().getName());
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	307 NodeFieldData field = node.findField(parameterSpec.getName());
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	308 TypeMirror actualType;
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	309 if (field == null) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	310 actualType = specializationParameter.getActualType();
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	311 } else {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	312 ExecutableTypeData paramType = field.getNodeData().findAnyGenericExecutableType(context);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	313 if (paramType == null) {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	314 // TODO fail
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	315 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	316 actualType = paramType.getType().getPrimitiveType();
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	317 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	318 parameters.add(new ActualParameter(parameterSpec, actualType, specializationParameter.getIndex(), specializationParameter.isHidden()));
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	319 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	320 TemplateMethod genericMethod = new TemplateMethod("Generic", node, specification, null, null, returnType, parameters);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	321 genericSpecialization = new SpecializationData(genericMethod, true, false, true);
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	322
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	323 specializations.add(genericSpecialization);
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	324 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	325
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	326 if (genericSpecialization != null) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	327 CodeExecutableElement uninitializedMethod = new CodeExecutableElement(Utils.modifiers(Modifier.PUBLIC), context.getType(void.class), "doUninitialized");
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	328 TemplateMethod uninializedMethod = new TemplateMethod("Uninitialized", node, genericSpecialization.getSpecification(), uninitializedMethod, genericSpecialization.getMarkerAnnotation(),
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	329 genericSpecialization.getReturnType(), genericSpecialization.getParameters());
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	330 specializations.add(new SpecializationData(uninializedMethod, false, true, true));
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	331 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	332
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	333 Collections.sort(specializations, new Comparator<SpecializationData>() {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	334
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	335 @Override
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	336 public int compare(SpecializationData o1, SpecializationData o2) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	337 return compareSpecialization(node.getTypeSystem(), o1, o2);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	338 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	339 });
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	340
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	341 node.setSpecializations(specializations);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	342
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	343 for (SpecializationData specialization : specializations) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	344 specialization.setId(findUniqueSpecializationId(specialization));
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	345 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	346
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	347 return true;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	348 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	349
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	350 private static String findUniqueSpecializationId(SpecializationData specialization) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	351
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	352 String name;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	353 if (specialization.isGeneric()) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	354 name = "Generic";
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	355 } else if (specialization.isUninitialized()) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	356 name = "Uninitialized";
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	357 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	358 List<SpecializationData> specializations = new ArrayList<>(specialization.getNode().getSpecializations());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	359 for (ListIterator<SpecializationData> iterator = specializations.listIterator(); iterator.hasNext();) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	360 SpecializationData data = iterator.next();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	361 if (data.isGeneric() \|\| data.isUninitialized()) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	362 iterator.remove();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	363 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	364 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	365
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	366 Map<ParameterSpec, Set<String>> usedIds = new HashMap<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	367 for (SpecializationData other : specializations) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	368 for (ActualParameter param : other.getReturnTypeAndParameters()) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	369 if (other.getNode().findField(param.getSpecification().getName()) == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	370 continue;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	371 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	372
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	373 Set<String> types = usedIds.get(param.getSpecification());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	374 if (types == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	375 types = new HashSet<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	376 usedIds.put(param.getSpecification(), types);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	377 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	378 types.add(Utils.getTypeId(param.getActualType()));
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	379 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	380 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	381
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	382 List<ParameterSpec> ambiguousSpecs = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	383 for (ActualParameter param : specialization.getReturnTypeAndParameters()) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	384 Set<String> ids = usedIds.get(param.getSpecification());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	385 if (ids != null && ids.size() > 1) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	386 ambiguousSpecs.add(param.getSpecification());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	387 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	388 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	389
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	390 String specializationId = findSpecializationId(specialization, ambiguousSpecs);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	391 int specializationIndex = 0;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	392 int totalIndex = 0;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	393
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	394 for (SpecializationData other : specializations) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	395 String id = findSpecializationId(other, ambiguousSpecs);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	396 if (id.equals(specializationId)) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	397 totalIndex++;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	398 if (specialization == other) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	399 specializationIndex = totalIndex;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	400 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	401 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	402 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	403
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	404 if (specializationIndex != totalIndex) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	405 name = specializationId + specializationIndex;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	406 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	407 name = specializationId;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	408 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	409 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	410 return name;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	411 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	412
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	413 private static String findSpecializationId(SpecializationData specialization, List<ParameterSpec> specs) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	414 boolean allSame = true;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	415 ActualParameter prevParam = specialization.getReturnType();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	416 for (ParameterSpec spec : specs) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	417 ActualParameter param = specialization.findParameter(spec);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	418 if (!Utils.typeEquals(prevParam.getActualType(), param.getActualType())) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	419 allSame = false;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	420 break;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	421 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	422 prevParam = param;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	423 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	424
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	425 if (allSame) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	426 return Utils.getTypeId(prevParam.getActualType());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	427 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	428 StringBuilder nameBuilder = new StringBuilder();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	429 nameBuilder.append(Utils.getTypeId(prevParam.getActualType()));
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	430 for (ParameterSpec spec : specs) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	431 ActualParameter param = specialization.findParameter(spec);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	432 nameBuilder.append(Utils.getTypeId(param.getActualType()));
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	433 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	434 return nameBuilder.toString();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	435 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	436 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	437
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	438 private boolean verifyNode(NodeData nodeData) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	439 // verify specialization parameter length
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	440 if (!verifySpecializationParameters(nodeData)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	441 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	442 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	443
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	444 // verify order is not ambiguous
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	445 if (!verifySpecializationOrder(nodeData)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	446 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	447 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	448
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	449 if (!verifyMissingAbstractMethods(nodeData)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	450 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	451 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	452
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	453 if (!assignShortCircuitsToSpecializations(nodeData)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	454 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	455 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	456
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	457 if (!verifyConstructors(nodeData)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	458 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	459 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	460
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	461 // if (!verifyNamingConvention(specializations, "do")) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	462 // return null;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	463 // }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	464 //
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	465 // if (!verifyNamesUnique(specializations)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	466 // return null;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	467 // }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	468
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	469 if (!verifyNamingConvention(nodeData.getShortCircuits(), "needs")) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	470 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	471 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	472
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	473 if (!verifySpecializationThrows(nodeData)) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	474 return false;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	475 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	476
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	477 return true;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	478 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	479
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	480 private NodeData parseNodeData(TypeElement templateType, TypeElement nodeType) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	481 List<Element> elements = new ArrayList<>(context.getEnvironment().getElementUtils().getAllMembers(nodeType));
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	482 List<TypeElement> typeHierarchy = findSuperClasses(new ArrayList<TypeElement>(), nodeType);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 Collections.reverse(typeHierarchy);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 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	486 if (typeSystemMirror == null) {
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	487 log.error(templateType, "No @%s annotation found in type hierarchy of %s.", TypeSystemReference.class.getSimpleName(), nodeType.getQualifiedName().toString());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	488 return null;
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
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	491 TypeMirror typeSytemType = Utils.getAnnotationValue(TypeMirror.class, typeSystemMirror, "value");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 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	493 if (typeSystem == null) {
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	494 log.error(templateType, "The used type system '%s' is invalid.", Utils.getQualifiedName(typeSytemType));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	495 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	497
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	498 NodeData nodeData = new NodeData(templateType, typeSystem, templateType.getSimpleName().toString());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	499 nodeData.setNodeType(nodeType.asType());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	500
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	501 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	502
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	503 nodeData.setExecutableTypes(executableTypes);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	504
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	505 parsedNodes.put(Utils.getQualifiedName(templateType), nodeData);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	506
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	507 List<NodeFieldData> fields = parseFields(nodeData, elements, typeHierarchy);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	508 if (fields == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	509 return null;
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 nodeData.setFields(fields);
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	512
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	513 return nodeData;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	514 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	515
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	516 private boolean verifySpecializationParameters(NodeData nodeData) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	517 boolean valid = true;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	518 int args = -1;
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	519 for (SpecializationData specializationData : nodeData.getSpecializations()) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	520 int specializationArgs = 0;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	521 for (ActualParameter param : specializationData.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	522 if (!param.getSpecification().isOptional()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	523 specializationArgs++;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	524 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	525 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	526 if (args != -1 && args != specializationArgs) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	527 valid = false;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	528 break;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	529 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	530 args = specializationArgs;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	531 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	532 if (!valid) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	533 for (SpecializationData specialization : nodeData.getSpecializations()) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	534 context.getLog().error(specialization.getMethod(), specialization.getMarkerAnnotation(), "All specializations must have the same number of arguments.");
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	535 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	536 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	537 return valid;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	538 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	539
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	540 private boolean verifyMissingAbstractMethods(NodeData nodeData) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	541 if (nodeData.needsFactory()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	542 // 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	543 // 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	544 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	545 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	546
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	547 List<Element> elements = new ArrayList<>(context.getEnvironment().getElementUtils().getAllMembers(nodeData.getTemplateType()));
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	548
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	549 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	550 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	551 unusedElements.remove(method.getMethod());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	552 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	553 if (nodeData.getExtensionElements() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	554 unusedElements.removeAll(nodeData.getExtensionElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	555 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	556
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	557 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	558 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	559 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	560 context.getLog().error(nodeData.getTemplateType(), "The type %s must implement the inherited abstract method %s.", Utils.getSimpleName(nodeData.getTemplateType()),
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	561 Utils.getReadableSignature(unusedMethod));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	562 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	563 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	564 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	565
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	566 return valid;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	567 }
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 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	570 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	571 if (!nodeData.needsRewrites(context)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	572 // 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	573 return true;
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	576 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	577 for (ExecutableElement e : constructors) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	578 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	579 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	580 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	581 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	582 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	583 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	584 } 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	585 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	586 return 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 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	589 }
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	593 // not found
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	594 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	595 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	596 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	597
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	598 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	599 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	600 for (ExecutableTypeData t1 : executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	601 boolean add = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	602 for (ExecutableTypeData t2 : executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	603 if (t1 == t2) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	604 continue;
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 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	607 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	608 add = false;
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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	611 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	612 if (add) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	613 filteredExecutableTypes.add(t1);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	614 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	615 }
7679 5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	616
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	617 Collections.sort(filteredExecutableTypes, new Comparator<ExecutableTypeData>() {
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	618
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	619 @Override
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	620 public int compare(ExecutableTypeData o1, ExecutableTypeData o2) {
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	621 int index1 = o1.getTypeSystem().findType(o1.getType());
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	622 int index2 = o2.getTypeSystem().findType(o2.getType());
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	623 if (index1 == -1 \|\| index2 == -1) {
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	624 return 0;
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	625 }
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	626 return index1 - index2;
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	627 }
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	628 });
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	629 return filteredExecutableTypes;
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	632 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	633 for (Element element : elements) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	634 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	635 if (mirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	636 return mirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	637 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	638 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	639 return null;
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
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	642 private List<NodeFieldData> parseFields(NodeData nodeData, List<? extends Element> elements, final List<TypeElement> typeHierarchy) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	643 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	644 List<String> executionDefinition = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	645 if (executionOrderMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	646 executionDefinition = new ArrayList<>();
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	647 for (String object : Utils.getAnnotationValueList(String.class, executionOrderMirror, "value")) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	648 executionDefinition.add(object);
7502 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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	652 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	653 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	654 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	655 if (mirror != null) {
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	656 shortCircuits.add(Utils.getAnnotationValue(String.class, mirror, "value"));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	657 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	658 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	659
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	660 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	661
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	662 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	663 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	664 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	665 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	666 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	667
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	668 if (executionDefinition != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	669 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	670 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	671 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	672 }
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 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	675 if (field != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	676 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	677 fields.add(field);
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 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	680 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	681 }
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
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	684 // TODO parse getters
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	685 if (!valid) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	686 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	687 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	688
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	689 sortByExecutionOrder(fields, executionDefinition == null ? Collections.<String> emptyList() : executionDefinition, typeHierarchy);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	690 return fields;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	691 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	692
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	693 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	694 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	695 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	696
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	697 FieldKind kind;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	698
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	699 ExecutionKind execution;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	700 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	701 execution = ExecutionKind.SHORT_CIRCUIT;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	702 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	703 execution = ExecutionKind.DEFAULT;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	704 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	705
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	706 AnnotationMirror mirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	707 TypeMirror nodeType;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	708
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	709 if (childMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	710 mirror = childMirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	711 nodeType = var.asType();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	712 kind = FieldKind.CHILD;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	713 } else if (childrenMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	714 mirror = childrenMirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	715 nodeType = getComponentType(var.asType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	716 kind = FieldKind.CHILDREN;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	717 } else {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	718 execution = ExecutionKind.IGNORE;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	719 nodeType = null;
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	720 mirror = null;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	721 kind = null;
7502 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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	724 NodeData fieldNodeData = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	725 if (nodeType != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	726 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	727 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	728
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	729 if (fieldNodeData == null) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	730 // TODO redirect errors from resolve.
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	731 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	732 return null;
7794 b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	733 } else if (fieldNodeData.findGenericExecutableTypes(context).isEmpty()) {
7679 5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	734 // TODO better error handling for (no or multiple?)
7794 b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	735 context.getLog().error(errorElement, "No executable generic types found for node '%s'.", Utils.getQualifiedName(nodeType));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	736 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	737 }
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	738
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	739 // TODO correct handling of access elements
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	740 if (var.getModifiers().contains(Modifier.PRIVATE) && Utils.typeEquals(var.getEnclosingElement().asType(), parentNodeData.getTemplateType().asType())) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	741 execution = ExecutionKind.IGNORE;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	742 }
7502 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 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	745 }
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 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	748 Element enclosed = variableElement.getEnclosingElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	749 if (!enclosed.getKind().isClass()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	750 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	751 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	752
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	753 String methodName;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	754 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	755 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	756 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	757 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	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 ExecutableElement getter = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	761 for (ExecutableElement method : ElementFilter.methodsIn(enclosed.getEnclosedElements())) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	762 if (method.getSimpleName().toString().equals(methodName) && method.getParameters().size() == 0 && !Utils.typeEquals(method.getReturnType(), context.getType(void.class))) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	763 getter = method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	764 break;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	765 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	766 }
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 if (getter != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	769 return getter;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	770 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	771 return variableElement;
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
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	775 private static void sortByExecutionOrder(List<NodeFieldData> fields, final List<String> executionOrder, final List<TypeElement> typeHierarchy) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	776 Collections.sort(fields, new Comparator<NodeFieldData>() {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	777
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	778 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	779 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	780 // sort by execution order
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	781 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	782 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	783 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	784 // sort by type hierarchy
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	785 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	786 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	787
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	788 // 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	789 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	790 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	791 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	792 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	793 return index1 - index2;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	794 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	795 });
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	796 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	797
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	798 private boolean assignShortCircuitsToSpecializations(NodeData node) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	799 Map<String, List<ShortCircuitData>> groupedShortCircuits = groupShortCircuits(node.getShortCircuits());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	800
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	801 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	802
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	803 for (NodeFieldData field : node.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	804 String valueName = field.getName();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	805 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	806
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	807 if (availableCircuits == null \|\| availableCircuits.isEmpty()) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	808 log.error(node.getTemplateType(), "@%s method for short cut value '%s' required.", ShortCircuit.class.getSimpleName(), valueName);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	809 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	810 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	811 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	812
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	813 boolean sameMethodName = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	814 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	815 for (ShortCircuitData circuit : availableCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	816 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	817 sameMethodName = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	818 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	819 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	820
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	821 if (!sameMethodName) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	822 for (ShortCircuitData circuit : availableCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	823 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	824 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	825 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	826 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	827 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	828
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	829 ShortCircuitData genericCircuit = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	830 for (ShortCircuitData circuit : availableCircuits) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	831 if (isGenericShortCutMethod(node, circuit)) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	832 genericCircuit = circuit;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	833 break;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	834 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	835 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	836
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	837 if (genericCircuit == null) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	838 log.error(node.getTemplateType(), "No generic @%s method available for short cut value '%s'.", ShortCircuit.class.getSimpleName(), valueName);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	839 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	840 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	841 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	842
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	843 for (ShortCircuitData circuit : availableCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	844 if (circuit != genericCircuit) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	845 circuit.setGenericShortCircuitMethod(genericCircuit);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	846 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	847 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	848 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	849
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	850 if (!valid) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	851 return valid;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	852 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	853
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	854 NodeFieldData[] fields = node.filterFields(null, ExecutionKind.SHORT_CIRCUIT);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	855 for (SpecializationData specialization : node.getSpecializations()) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	856 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	857
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	858 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	859 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	860
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	861 ShortCircuitData genericShortCircuit = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	862 for (ShortCircuitData circuit : availableShortCuts) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	863 if (circuit.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	864 genericShortCircuit = circuit;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	865 } 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	866 assignedShortCuts[i] = circuit;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	867 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	868 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	869
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	870 if (assignedShortCuts[i] == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	871 assignedShortCuts[i] = genericShortCircuit;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	872 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	873 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	874 specialization.setShortCircuits(assignedShortCuts);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	875 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	876 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	877 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	878
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	879 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	880 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	881 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	882 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	883 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	884 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	885 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	886 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	887 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	888 return valid;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	889 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	890
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	891 @SuppressWarnings("unused")
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	892 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	893 boolean valid = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	894 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	895 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	896 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	897 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	898
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	899 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	900 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	901 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	902 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	903 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	904 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	905 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	906 return valid;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	907 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	908
7794 b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	909 private boolean isGenericShortCutMethod(NodeData node, TemplateMethod method) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	910 for (ActualParameter parameter : method.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	911 NodeFieldData field = node.findField(parameter.getSpecification().getName());
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	912 if (field == null) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	913 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	914 }
7794 b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	915 ExecutableTypeData found = null;
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	916 List<ExecutableTypeData> executableElements = field.getNodeData().findGenericExecutableTypes(context);
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	917 for (ExecutableTypeData executable : executableElements) {
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	918 if (executable.getType().equalsType(parameter.getActualTypeData(node.getTypeSystem()))) {
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	919 found = executable;
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	920 break;
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	921 }
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	922 }
b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7681 diff changeset	923 if (found == null) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	924 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	925 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	926 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	927 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	928 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	929
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	930 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	931 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	932 for (ShortCircuitData shortCircuit : shortCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	933 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	934 if (circuits == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	935 circuits = new ArrayList<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	936 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	937 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	938 circuits.add(shortCircuit);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	939 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	940 return group;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	941 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	942
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	943 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	944 if (type instanceof ArrayType) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	945 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	946 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	947 return type;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	948 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	949
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	950 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	951 if (element.getSuperclass() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	952 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	953 if (superElement != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	954 findSuperClasses(collection, superElement);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	955 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	956 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	957 collection.add(element);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	958 return collection;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	959 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	960
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	961 private boolean verifySpecializationOrder(NodeData node) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	962 TypeSystemData typeSystem = node.getTypeSystem();
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	963 List<SpecializationData> specializations = node.getSpecializations();
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	964
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	965 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	966 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	967 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	968 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	969 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	970
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	971 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	972 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	973 if (specOrder == 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	974 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	975 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	976 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	977 } 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	978 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	979 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	980 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	981 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	982 } else if (inferredOrder == 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	983 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	984 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	985 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	986 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	987 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	988 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	989 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	990 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	991
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	992 private boolean verifySpecializationThrows(NodeData node) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	993 Map<String, SpecializationData> specializationMap = new HashMap<>();
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	994 for (SpecializationData spec : node.getSpecializations()) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	995 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	996 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	997 boolean valid = true;
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	998 for (SpecializationData sourceSpecialization : node.getSpecializations()) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	999 if (sourceSpecialization.getExceptions() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1000 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	1001 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	1002 if (otherThrowsData != throwsData && Utils.typeEquals(otherThrowsData.getJavaClass(), throwsData.getJavaClass())) {
8243 d81ff782fa1a Removed @SpecializationThrows from codegen API. Replaced it by a simplier version in @Specialization. Christian Humer <christian.humer@gmail.com> parents: 8242 diff changeset	1003 AnnotationValue javaClassValue = Utils.getAnnotationValue(throwsData.getAnnotationMirror(), "rewriteOn");
d81ff782fa1a Removed @SpecializationThrows from codegen API. Replaced it by a simplier version in @Specialization. Christian Humer <christian.humer@gmail.com> parents: 8242 diff changeset	1004 log.error(throwsData.getSpecialization().getMethod(), throwsData.getAnnotationMirror(), javaClassValue, "Duplicate exception type.");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1005 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1006 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1007 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1008 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1009 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1010 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1011 return valid;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1012 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1013
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1014 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	1015 if (m1 == m2) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1016 return 0;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1017 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1018 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	1019 if (result == 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1020 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	1021 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	1022 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1023 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1024 return result;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1025 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1026
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1027 private static int compareSpecializationWithoutOrder(TypeSystemData typeSystem, SpecializationData m1, SpecializationData m2) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1028 if (m1 == m2) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1029 return 0;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1030 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1031
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1032 if (m1.isUninitialized() && !m2.isUninitialized()) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1033 return -1;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1034 } else if (!m1.isUninitialized() && m2.isUninitialized()) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1035 return 1;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1036 } else if (m1.isGeneric() && !m2.isGeneric()) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1037 return 1;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1038 } else if (!m1.isGeneric() && m2.isGeneric()) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1039 return -1;
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1040 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1041
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1042 if (m1.getTemplate() != m2.getTemplate()) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1043 throw new UnsupportedOperationException("Cannot compare two specializations with different templates.");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1044 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1045
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1046 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	1047
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1048 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	1049 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	1050 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	1051
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1052 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	1053 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	1054 if (result == 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1055 result = typeResult;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1056 } 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	1057 // 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	1058 return 0;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1059 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1060 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1061 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1062 return result;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1063 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1064
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1065 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	1066 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	1067 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	1068
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1069 assert index1 != index2;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1070 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	1071
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1072 return index1 - index2;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1073 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1074
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1075 @Override
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	1076 public Class<? extends Annotation> getAnnotationType() {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1077 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1078 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1079
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1080 @Override
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	1081 public List<Class<? extends Annotation>> getTypeDelegatedAnnotationTypes() {
7506 40133ce026c6 Project dependency fixes. Christian Humer <christian.humer@gmail.com> parents: 7504 diff changeset	1082 return ANNOTATIONS;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1083 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1084
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1085 }

Mercurial > hg > graal-jvmci-8

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeParser.java @ 8251:cb70ed101b5f