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 @ 8592:a80bf36c6a1e

Refactor to shared template method signature comparison.

author	Christian Humer <christian.humer@gmail.com>
date	Mon, 01 Apr 2013 11:52:38 +0200
parents	c210577168e7
children	8a1115c92271

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.*;
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	31 import javax.tools.Diagnostic.Kind;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	32
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.codegen.*;
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.Child;
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.api.nodes.Node.Children;
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.*;
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
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	44 public static final List<Class<? extends Annotation>> ANNOTATIONS = Arrays.asList(Generic.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class, SpecializationListener.class,
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	45 ExecuteChildren.class, NodeClass.class, NodeId.class);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	46
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 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	48
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 public NodeParser(ProcessorContext c) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 super(c);
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 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	55 assert element instanceof TypeElement;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	56 NodeData node = null;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 try {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 parsedNodes = new HashMap<>();
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	59 node = resolveNode((TypeElement) element);
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	60 if (Log.DEBUG) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	61 NodeData parsed = parsedNodes.get(Utils.getQualifiedName((TypeElement) element));
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	62 if (node != null) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	63 String dump = parsed.dump();
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	64 log.message(Kind.ERROR, null, null, null, dump);
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	65 System.out.println(dump);
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	66 }
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	67 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 } finally {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 parsedNodes = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	71
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	72 return node;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 @Override
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	76 protected NodeData filterErrorElements(NodeData model) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	77 for (Iterator<NodeData> iterator = model.getDeclaredChildren().iterator(); iterator.hasNext();) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	78 NodeData node = filterErrorElements(iterator.next());
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	79 if (node == null) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	80 iterator.remove();
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	81 }
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	82 }
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	83 if (model.hasErrors()) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	84 return null;
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	85 }
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	86 return model;
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	87 }
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	88
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	89 @Override
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 public boolean isDelegateToRootDeclaredType() {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	94 private NodeData resolveNode(TypeElement rootType) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	95 String typeName = Utils.getQualifiedName(rootType);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	96 if (parsedNodes.containsKey(typeName)) {
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	97 return parsedNodes.get(typeName);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	98 }
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	99
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 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	101
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 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	103 for (TypeElement childElement : types) {
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	104 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	105 if (childNode != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 children.add(childNode);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	109
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	110 NodeData rootNode = parseNode(rootType);
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	111 boolean hasErrors = rootNode != null ? rootNode.hasErrors() : false;
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	112 if ((rootNode == null \|\| hasErrors) && children.size() > 0) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	113 rootNode = new NodeData(rootType, rootType.getSimpleName().toString());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 }
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	115
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	116 parsedNodes.put(typeName, rootNode);
c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	117
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 if (rootNode != null) {
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	119 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	120 rootNode.setDeclaredChildren(children);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 }
7859 3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7856 diff changeset	122
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	123 return rootNode;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	125
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	126 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	127 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	128 // 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	129 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 }
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	131
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	132 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	133
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	134 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	135 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	136 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	138 if (type.getModifiers().contains(Modifier.PRIVATE)) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	139 // TODO error message here!?
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	140 return null; // not visible, not a node
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	141 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	142
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	143 TypeElement nodeType;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	144 boolean needsSplit;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	145 if (methodNodes != null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	146 needsSplit = methodNodes != null;
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	147 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	148 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	149 needsSplit = false;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	150 nodeType = type;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	151 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	152
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	153 NodeData nodeData = parseNodeData(type, nodeType);
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	154
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	155 if (Utils.typeEquals(nodeType.asType(), type.asType())) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	156 // filter fields if they were not split. (field are accessible anyway)
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	157 for (ListIterator<NodeFieldData> iterator = nodeData.getFields().listIterator(); iterator.hasNext();) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	158 NodeFieldData field = iterator.next();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	159 if (field.getKind() == FieldKind.FIELD) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	160 iterator.remove();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	161 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	162 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	163 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	164
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	165 if (nodeData.hasErrors()) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	166 return nodeData; // error sync point
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	167 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	168
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	169 List<Element> elements = new ArrayList<>(context.getEnvironment().getElementUtils().getAllMembers(type));
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	170 nodeData.setExtensionElements(getExtensionParser().parseAll(nodeData, elements));
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	171 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	172 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	173 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	174 parseMethods(nodeData, elements);
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	175
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	176 if (nodeData.hasErrors()) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	177 return nodeData;
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	178 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	179
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	180 List<NodeData> nodes;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	181 if (needsSplit) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	182 nodes = splitNodeData(nodeData);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	183 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	184 nodes = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	185 nodes.add(nodeData);
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
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	188 for (NodeData splittedNode : nodes) {
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	189 finalizeSpecializations(elements, splittedNode);
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	190 verifyNode(splittedNode);
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	191 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	192
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	193 if (needsSplit) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	194 nodeData.setDeclaredChildren(nodes);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	195 nodeData.setSpecializationListeners(new ArrayList<SpecializationListenerData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	196 nodeData.setSpecializations(new ArrayList<SpecializationData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	197 return nodeData;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	198 } else {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	199 return nodeData;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	200 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	201 }
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 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	204 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	205 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	206
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	207 Set<String> ids = new TreeSet<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	208 ids.addAll(groupedSpecializations.keySet());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	209 ids.addAll(groupedListeners.keySet());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	210
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	211 List<NodeData> splitted = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	212 for (String id : ids) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	213 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	214 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	215
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	216 if (specializations == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	217 specializations = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	218 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	219
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	220 if (listeners == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	221 listeners = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	222 }
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 String nodeId = node.getNodeId();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	225 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	226 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	227 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	228 String newNodeId = nodeId + Utils.firstLetterUpperCase(id);
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	229 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	230
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	231 copy.setSpecializations(specializations);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	232 copy.setSpecializationListeners(listeners);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	233
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	234 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	235 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	236
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	237 node.setSpecializations(new ArrayList<SpecializationData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	238 node.setSpecializationListeners(new ArrayList<SpecializationListenerData>());
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	239
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	240 return splitted;
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	241 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	242
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	243 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	244 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	245 for (M m : methods) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	246 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	247 if (list == null) {
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	248 list = new ArrayList<>();
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	249 grouped.put(m.getId(), list);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	250 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	251 list.add(m);
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	252 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	253 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	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
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	256 private void parseMethods(final NodeData node, List<Element> elements) {
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	257 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	258 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	259 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	260 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	261
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 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	263 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	264 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	265
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	266 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	267 }
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
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	269 private void finalizeSpecializations(List<Element> elements, final NodeData node) {
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	270 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	271
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	272 if (specializations.isEmpty()) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	273 return;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	274 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	275
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	276 for (SpecializationData specialization : specializations) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	277 matchGuards(elements, specialization);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	278 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 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 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	281 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	282 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	283 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	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 }
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
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	287 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	288 for (SpecializationData generic : generics) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	289 generic.addError("@%s defined but no @%s.", Generic.class.getSimpleName(), Specialization.class.getSimpleName());
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	290 }
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
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	293 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	294 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	295 for (SpecializationData generic : generics) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	296 generic.addError("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	297 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	298 return;
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	299 } 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	300 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	301 } 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	302 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	303 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	304 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	305
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	306 ExecutableTypeData anyGenericReturnType = node.findAnyGenericExecutableType(context);
8256 4dc7034317ec Cleanup. Christian Humer <christian.humer@gmail.com> parents: 8252 diff changeset	307 assert anyGenericReturnType != 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	308
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	309 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	310 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	311 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	312 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	313 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	314 TypeMirror actualType;
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	315 if (field == null \|\| field.getKind() == FieldKind.FIELD) {
8251 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 = 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	317 } else {
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	318 ExecutableTypeData paramType = field.getNodeData().findAnyGenericExecutableType(context);
8256 4dc7034317ec Cleanup. Christian Humer <christian.humer@gmail.com> parents: 8252 diff changeset	319 assert paramType != null;
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	320 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	321 }
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	322 parameters.add(new ActualParameter(parameterSpec, actualType, specializationParameter.getIndex(), specializationParameter.isImplicit()));
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	323 }
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	324 TemplateMethod genericMethod = new TemplateMethod("Generic", node, specification, null, null, returnType, parameters);
8256 4dc7034317ec Cleanup. Christian Humer <christian.humer@gmail.com> parents: 8252 diff changeset	325 genericSpecialization = new SpecializationData(genericMethod, true, false);
8251 cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	326
cb70ed101b5f Added automatic generation of generic specialization which throws unsupported operation if reached. Christian Humer <christian.humer@gmail.com> parents: 8248 diff changeset	327 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	328 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	329
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	330 if (genericSpecialization != null) {
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	331 TemplateMethod uninializedMethod = new TemplateMethod("Uninitialized", node, genericSpecialization.getSpecification(), null, null, genericSpecialization.getReturnType(),
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	332 genericSpecialization.getParameters());
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	333 // should not use messages from generic specialization
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	334 uninializedMethod.getMessages().clear();
8256 4dc7034317ec Cleanup. Christian Humer <christian.humer@gmail.com> parents: 8252 diff changeset	335 specializations.add(new SpecializationData(uninializedMethod, false, 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	336 }
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
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 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	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 @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	341 public int compare(SpecializationData o1, SpecializationData o2) {
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	342 return compareSpecialization(o1, o2);
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	343 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	344 });
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	345
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	346 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	347
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	348 List<SpecializationData> needsId = new ArrayList<>();
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	349 for (SpecializationData specialization : specializations) {
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	350 if (specialization.isGeneric()) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	351 specialization.setId("Generic");
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	352 } else if (specialization.isUninitialized()) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	353 specialization.setId("Uninitialized");
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	354 } else {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	355 needsId.add(specialization);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	356 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	357 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	358 List<String> ids = calculateSpecializationIds(needsId);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	359 for (int i = 0; i < ids.size(); i++) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	360 needsId.get(i).setId(ids.get(i));
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	361 }
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	362 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	363
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	364 private void matchGuards(List<Element> elements, SpecializationData specialization) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	365 if (specialization.getGuardDefinitions().isEmpty()) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	366 specialization.setGuards(Collections.<GuardData> emptyList());
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	367 return;
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	368 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	369
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	370 List<GuardData> foundGuards = new ArrayList<>();
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	371 List<ExecutableElement> methods = ElementFilter.methodsIn(elements);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	372 for (String guardDefinition : specialization.getGuardDefinitions()) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	373 GuardParser parser = new GuardParser(context, specialization, guardDefinition);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	374 List<GuardData> guards = parser.parse(methods);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	375 Collections.sort(guards, new Comparator<GuardData>() {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	376
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	377 @Override
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	378 public int compare(GuardData o1, GuardData o2) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	379 int compare = o1.compareBySignature(o2);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	380 if (compare == 0) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	381 compare = o1.getId().compareTo(o2.getId());
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	382 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	383 if (compare == 0) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	384 TypeElement enclosingType1 = Utils.findNearestEnclosingType(o1.getMethod());
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	385 TypeElement enclosingType2 = Utils.findNearestEnclosingType(o2.getMethod());
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	386 compare = enclosingType1.getQualifiedName().toString().compareTo(enclosingType2.getQualifiedName().toString());
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	387 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	388 return compare;
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	389 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	390 });
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	391 if (!guards.isEmpty()) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	392 foundGuards.add(guards.get(0));
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	393 } else {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	394 // error no guard found
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	395 specialization.addError("No guard found with with name '%s'.", guardDefinition);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	396 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	397 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	398
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	399 specialization.setGuards(foundGuards);
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	400
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	401 }
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	402
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	403 private static List<String> calculateSpecializationIds(List<SpecializationData> specializations) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	404 int lastSize = -1;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	405 List<List<String>> signatureChunks = new ArrayList<>();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	406 for (SpecializationData other : specializations) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	407 if (other.isUninitialized() \|\| other.isGeneric()) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	408 continue;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	409 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	410 List<String> paramIds = new LinkedList<>();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	411 paramIds.add(Utils.getTypeId(other.getReturnType().getActualType()));
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	412 for (ActualParameter param : other.getParameters()) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	413 if (other.getNode().findField(param.getSpecification().getName()) == null) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	414 continue;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	415 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	416 paramIds.add(Utils.getTypeId(param.getActualType()));
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	417 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	418 assert lastSize == -1 \|\| lastSize == paramIds.size();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	419 if (lastSize != -1 && lastSize != paramIds.size()) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	420 throw new AssertionError();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	421 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	422 signatureChunks.add(paramIds);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	423 lastSize = paramIds.size();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	424 }
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	425
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	426 // reduce id vertically
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	427 for (int i = 0; i < lastSize; i++) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	428 String prev = null;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	429 boolean allSame = true;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	430 for (List<String> signature : signatureChunks) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	431 String arg = signature.get(i);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	432 if (prev == null) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	433 prev = arg;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	434 continue;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	435 } else if (!prev.equals(arg)) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	436 allSame = false;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	437 break;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	438 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	439 prev = arg;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	440 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	441
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	442 if (allSame) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	443 for (List<String> signature : signatureChunks) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	444 signature.remove(i);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	445 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	446 lastSize--;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	447 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	448 }
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	449
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	450 // reduce id horizontally
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	451 for (List<String> signature : signatureChunks) {
8316 c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	452 if (signature.isEmpty()) {
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	453 continue;
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	454 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	455 String prev = null;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	456 boolean allSame = true;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	457 for (String arg : signature) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	458 if (prev == null) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	459 prev = arg;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	460 continue;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	461 } else if (!prev.equals(arg)) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	462 allSame = false;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	463 break;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	464 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	465 prev = arg;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	466 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	467
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	468 if (allSame) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	469 signature.clear();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	470 signature.add(prev);
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	471 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	472 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	473
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	474 // create signatures
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	475 List<String> signatures = new ArrayList<>();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	476 for (List<String> signatureChunk : signatureChunks) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	477 StringBuilder b = new StringBuilder();
8316 c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	478 if (signatureChunk.isEmpty()) {
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	479 b.append("Default");
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	480 } else {
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	481 for (String s : signatureChunk) {
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	482 b.append(s);
c210577168e7 Fixed not specializing nodes were named Null instead of Default. Christian Humer <christian.humer@gmail.com> parents: 8312 diff changeset	483 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	484 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	485 signatures.add(b.toString());
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	486 }
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	487
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	488 Map<String, Integer> counts = new HashMap<>();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	489 for (String s1 : signatures) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	490 Integer count = counts.get(s1);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	491 if (count == null) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	492 count = 0;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	493 }
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	494 count++;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	495 counts.put(s1, count);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	496 }
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	497
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	498 for (String s : counts.keySet()) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	499 int count = counts.get(s);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	500 if (count > 1) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	501 int number = 0;
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	502 for (ListIterator<String> iterator = signatures.listIterator(); iterator.hasNext();) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	503 String s2 = iterator.next();
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	504 if (s.equals(s2)) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	505 iterator.set(s2 + number);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	506 number++;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	507 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	508 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	509 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	510 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	511
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	512 return signatures;
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	513 }
703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	514
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	515 private void verifyNode(NodeData nodeData) {
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 // verify specialization parameter length
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	517 verifySpecializationParameters(nodeData);
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	518
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 // verify order is not ambiguous
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	520 verifySpecializationOrder(nodeData);
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	521
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	522 verifyMissingAbstractMethods(nodeData);
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	523
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	524 assignShortCircuitsToSpecializations(nodeData);
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	525
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	526 verifyConstructors(nodeData);
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	527
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	528 // 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	529 // 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	530 // }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	531 //
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	532 // 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	533 // 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	534 // }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	535
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	536 verifyNamingConvention(nodeData.getShortCircuits(), "needs");
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	537
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	538 verifySpecializationThrows(nodeData);
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	539 }
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
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	541 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	542 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	543 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	544 Collections.reverse(typeHierarchy);
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	545 NodeData nodeData = new NodeData(templateType, templateType.getSimpleName().toString());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	546
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	547 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	548 if (typeSystemMirror == null) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	549 nodeData.addError("No @%s annotation found in type hierarchy of %s.", TypeSystemReference.class.getSimpleName(), nodeType.getQualifiedName().toString());
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	550 return nodeData;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	551 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	552
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	553 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	554 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	555 if (typeSystem == null) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	556 nodeData.addError("The used type system '%s' is invalid.", Utils.getQualifiedName(typeSytemType));
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	557 return nodeData;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	558 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	559
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	560 nodeData.setNodeType(nodeType.asType());
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	561 nodeData.setTypeSystem(typeSystem);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	562
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	563 List<ExecutableTypeData> executableTypes = filterExecutableTypes(new ExecutableTypeMethodParser(context, nodeData).parse(elements));
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	564 nodeData.setExecutableTypes(executableTypes);
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	565 parsedNodes.put(Utils.getQualifiedName(templateType), nodeData);
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	566
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	567 nodeData.setFields(parseFields(elements, typeHierarchy));
8245 703c09f8640c Implemented support for @NodeClass annotation to support builtins. Christian Humer <christian.humer@gmail.com> parents: 8243 diff changeset	568
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	569 return nodeData;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	570 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	571
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	572 private static void verifySpecializationParameters(NodeData nodeData) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	573 boolean valid = true;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	574 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	575 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	576 int specializationArgs = 0;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	577 for (ActualParameter param : specializationData.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	578 if (!param.getSpecification().isOptional()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	579 specializationArgs++;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	580 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	581 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	582 if (args != -1 && args != specializationArgs) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	583 valid = false;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	584 break;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	585 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	586 args = specializationArgs;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	587 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	588 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	589 for (SpecializationData specialization : nodeData.getSpecializations()) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	590 specialization.addError("All specializations must have the same number of arguments.");
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	591 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	592 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	593 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	594
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	595 private void verifyMissingAbstractMethods(NodeData nodeData) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	596 if (!nodeData.needsFactory()) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	597 // 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	598 // if we need go generate factory for it.
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	599 return;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	600 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	601
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	602 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	603
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	604 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	605 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	606 unusedElements.remove(method.getMethod());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	607 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	608 if (nodeData.getExtensionElements() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	609 unusedElements.removeAll(nodeData.getExtensionElements());
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 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	613 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	614 nodeData.addError("The type %s must implement the inherited abstract method %s.", Utils.getSimpleName(nodeData.getTemplateType()), Utils.getReadableSignature(unusedMethod));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	615 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	616 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	617 }
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	618
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	619 private void verifyConstructors(NodeData nodeData) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	620 if (!nodeData.needsRewrites(context)) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	621 // no specialization constructor is needed if the node never rewrites.
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	622 return;
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	623 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	624
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	625 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	626
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	627 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	628 for (ExecutableElement e : constructors) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	629 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	630 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	631 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	632 if (e.getModifiers().contains(Modifier.PRIVATE)) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	633 nodeData.addError("The specialization constructor must not be private.");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	634 } else if (constructors.size() <= 1) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	635 nodeData.addError("The specialization constructor must not be the only constructor. The definition of an alternative constructor is required.");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	636 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	637 return;
7502 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 }
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	642 // not found
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	643 nodeData.addError("Specialization constructor '%s(%s previousNode) { this(...); }' is required.", Utils.getSimpleName(type), Utils.getSimpleName(type));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	644 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	645
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	646 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	647 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	648 for (ExecutableTypeData t1 : executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	649 boolean add = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	650 for (ExecutableTypeData t2 : executableTypes) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	651 if (t1 == t2) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	652 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	653 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	654 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	655 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	656 add = false;
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 if (add) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	661 filteredExecutableTypes.add(t1);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	662 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	663 }
7679 5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	664
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	665 Collections.sort(filteredExecutableTypes, new Comparator<ExecutableTypeData>() {
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	666
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	667 @Override
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	668 public int compare(ExecutableTypeData o1, ExecutableTypeData o2) {
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	669 int index1 = o1.getTypeSystem().findType(o1.getType());
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	670 int index2 = o2.getTypeSystem().findType(o2.getType());
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	671 if (index1 == -1 \|\| index2 == -1) {
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	672 return 0;
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	673 }
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	674 return index1 - index2;
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	675 }
5f3cba05c2fa Cleanup and improved error messages. Christian Humer <christian.humer@gmail.com> parents: 7530 diff changeset	676 });
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	677 return filteredExecutableTypes;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	678 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	679
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	680 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	681 for (Element element : elements) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	682 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	683 if (mirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	684 return mirror;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	685 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	686 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	687 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	688 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	689
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	690 private List<NodeFieldData> parseFields(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	691 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	692 List<String> executionDefinition = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	693 if (executionOrderMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	694 executionDefinition = new ArrayList<>();
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	695 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	696 executionDefinition.add(object);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	697 }
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	700 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	701 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	702 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	703 if (mirror != null) {
8248 c4c3f50fa9c2 Fixes for codegen builtins support. Christian Humer <christian.humer@gmail.com> parents: 8245 diff changeset	704 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	705 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	706 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	707
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	708 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	709 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	710 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	711 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	712 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	713
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	714 if (executionDefinition != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	715 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	716 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	717 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	718 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	719
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	720 NodeFieldData field = parseField(var, shortCircuits);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	721 if (field != null) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	722 fields.add(field);
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	723 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	724 }
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	725 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	726 return fields;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	727 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	728
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	729 private NodeFieldData parseField(VariableElement var, Set<String> foundShortCircuits) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	730 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	731 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	732
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	733 FieldKind kind;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	734
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	735 ExecutionKind execution;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	736 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	737 execution = ExecutionKind.SHORT_CIRCUIT;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	738 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	739 execution = ExecutionKind.DEFAULT;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	740 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	741
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	742 AnnotationMirror mirror;
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	743 TypeMirror type;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	744
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	745 if (childMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	746 mirror = childMirror;
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	747 type = var.asType();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	748 kind = FieldKind.CHILD;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	749 } else if (childrenMirror != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	750 mirror = childrenMirror;
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	751 type = getComponentType(var.asType());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	752 kind = FieldKind.CHILDREN;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	753 } else {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	754 execution = ExecutionKind.IGNORE;
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	755 type = var.asType();
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	756 mirror = null;
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	757 kind = FieldKind.FIELD;
7502 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
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	760 NodeFieldData fieldData = new NodeFieldData(var, findAccessElement(var), mirror, kind, execution);
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	761 if (type != null && mirror != null) {
89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	762 NodeData fieldNodeData = resolveNode(Utils.fromTypeMirror(type));
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	763 fieldData.setNode(fieldNodeData);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	764
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	765 if (fieldNodeData == null) {
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	766 fieldData.addError("Node type '%s' is invalid.", Utils.getQualifiedName(type));
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	767 } else if (fieldNodeData.findGenericExecutableTypes(context).isEmpty()) {
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	768 fieldData.addError("No executable generic types found for node '%s'.", Utils.getQualifiedName(type));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	769 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	770 }
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	771
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	772 if (fieldData.getAccessElement().getModifiers().contains(Modifier.PRIVATE)) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	773 return null;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	774 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	775
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	776 return fieldData;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	777 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	778
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	779 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	780 Element enclosed = variableElement.getEnclosingElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	781 if (!enclosed.getKind().isClass()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	782 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	783 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	784
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	785 String methodName;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	786 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	787 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	788 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	789 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	790 }
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 ExecutableElement getter = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	793 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	794 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	795 getter = method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	796 break;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	797 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	798 }
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	799 if (getter != null && !getter.getModifiers().contains(Modifier.PRIVATE)) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	800 return getter;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	801 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	802 return variableElement;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	803 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	804 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	805
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	806 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	807 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	808
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	809 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	810 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	811 // sort by execution order
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	812 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	813 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	814 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	815 // sort by type hierarchy
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	816 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	817 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	818
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	819 // 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	820 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	821 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	822 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	823 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	824 return index1 - index2;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	825 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	826 });
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
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	829 private void assignShortCircuitsToSpecializations(NodeData node) {
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	830 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	831
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	832 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	833 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	834 String valueName = field.getName();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	835 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	836
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	837 if (availableCircuits == null \|\| availableCircuits.isEmpty()) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	838 node.addError("@%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	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 boolean sameMethodName = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	844 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	845 for (ShortCircuitData circuit : availableCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	846 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	847 sameMethodName = false;
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	851 if (!sameMethodName) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	852 for (ShortCircuitData circuit : availableCircuits) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	853 circuit.addError("All short circuits for short cut value '%s' must have the same method name.", valueName);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	854 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	855 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	856 continue;
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	859 ShortCircuitData genericCircuit = null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	860 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	861 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	862 genericCircuit = circuit;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	863 break;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	864 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	865 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	866
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	867 if (genericCircuit == null) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	868 node.addError("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	869 valid = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	870 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	871 }
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 for (ShortCircuitData circuit : availableCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	874 if (circuit != genericCircuit) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	875 circuit.setGenericShortCircuitMethod(genericCircuit);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	876 }
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	880 if (!valid) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	881 return;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	882 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	883
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	884 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	885 for (SpecializationData specialization : node.getSpecializations()) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	886 List<ShortCircuitData> assignedShortCuts = new ArrayList<>(fields.length);
7502 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 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	889 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	890
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	891 ShortCircuitData genericShortCircuit = null;
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	892 ShortCircuitData compatibleShortCircuit = null;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	893 for (ShortCircuitData circuit : availableShortCuts) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	894 if (circuit.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	895 genericShortCircuit = circuit;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	896 } else if (circuit.isCompatibleTo(specialization)) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	897 compatibleShortCircuit = circuit;
7502 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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	900
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	901 if (compatibleShortCircuit == null) {
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	902 compatibleShortCircuit = genericShortCircuit;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	903 }
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	904 assignedShortCuts.add(compatibleShortCircuit);
7502 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 specialization.setShortCircuits(assignedShortCuts);
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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	909
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	910 private static void verifyNamingConvention(List<? extends TemplateMethod> methods, String prefix) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	911 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	912 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	913 if (m1.getMethodName().length() < 3 \|\| !m1.getMethodName().startsWith(prefix)) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	914 m1.addError("Naming convention: method name must start with '%s'.", prefix);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	915 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	916 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	917 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	918
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	919 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	920 for (ActualParameter parameter : method.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	921 NodeFieldData field = node.findField(parameter.getSpecification().getName());
8310 89006c76f737 Final fields of base node can be optionally passed to builtin specialization method. And a few fixes. Christian Humer <christian.humer@gmail.com> parents: 8256 diff changeset	922 if (field == null \|\| field.getKind() == FieldKind.FIELD) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	923 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	924 }
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	925 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	926 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	927 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	928 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	929 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	930 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	931 }
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	932 }
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	933 if (found == null) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	934 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	935 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	936 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	937 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	938 }
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 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	941 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	942 for (ShortCircuitData shortCircuit : shortCircuits) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	943 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	944 if (circuits == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	945 circuits = new ArrayList<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	946 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	947 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	948 circuits.add(shortCircuit);
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 return group;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	951 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	952
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	953 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	954 if (type instanceof ArrayType) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	955 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	956 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	957 return type;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	958 }
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 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	961 if (element.getSuperclass() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	962 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	963 if (superElement != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	964 findSuperClasses(collection, superElement);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	965 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	966 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	967 collection.add(element);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	968 return collection;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	969 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	970
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	971 private static void verifySpecializationOrder(NodeData node) {
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	972 List<SpecializationData> specializations = node.getSpecializations();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	973 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	974 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	975 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	976 SpecializationData m2 = specializations.get(j);
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	977 int inferredOrder = compareSpecialization(m1, m2);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	978
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	979 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	980 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	981 if (specOrder == 0) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	982 m1.addError("Order value %d used multiple times", m1.getOrder());
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	983 m2.addError("Order value %d used multiple times", m1.getOrder());
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	984 return;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	985 } else if ((specOrder < 0 && inferredOrder > 0) \|\| (specOrder > 0 && inferredOrder < 0)) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	986 m1.addError("Explicit order values %d and %d are inconsistent with type lattice ordering.", m1.getOrder(), m2.getOrder());
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	987 m2.addError("Explicit order values %d and %d are inconsistent with type lattice ordering.", m1.getOrder(), m2.getOrder());
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	988 return;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	989 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	990 } else if (inferredOrder == 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	991 SpecializationData m = (m1.getOrder() == Specialization.DEFAULT_ORDER ? m1 : m2);
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	992 m.addError("Cannot calculate a consistent order for this specialization. Define the order attribute to resolve this.");
0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	993 return;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	994 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	995 }
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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	998
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	999 private static void verifySpecializationThrows(NodeData node) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1000 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	1001 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	1002 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	1003 }
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	1004 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	1005 if (sourceSpecialization.getExceptions() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1006 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	1007 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	1008 if (otherThrowsData != throwsData && Utils.typeEquals(otherThrowsData.getJavaClass(), throwsData.getJavaClass())) {
8252 0905d796944a Refactored codegen error model to make error redirection a lot easier. Christian Humer <christian.humer@gmail.com> parents: 8251 diff changeset	1009 throwsData.addError("Duplicate exception type.");
7502 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 }
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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1015 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1016
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	1017 private static int compareSpecialization(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	1018 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	1019 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	1020 }
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8240 diff changeset	1021
8312 b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	1022 if (m1.getOrder() != Specialization.DEFAULT_ORDER && m2.getOrder() != Specialization.DEFAULT_ORDER) {
b1dff27a1da6 Fixed specialization id generation. Christian Humer <christian.humer@gmail.com> parents: 8310 diff changeset	1023 return m1.getOrder() - m2.getOrder();
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	1024 } else if (m1.isUninitialized() ^ m2.isUninitialized()) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	1025 return m1.isUninitialized() ? -1 : 1;
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	1026 } else if (m1.isGeneric() ^ m2.isGeneric()) {
a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	1027 return m1.isGeneric() ? 1 : -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	1028 }
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
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 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	1031 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	1032 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1033
8592 a80bf36c6a1e Refactor to shared template method signature comparison. Christian Humer <christian.humer@gmail.com> parents: 8316 diff changeset	1034 return m1.compareBySignature(m2);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1035 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1036
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1037 @Override
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	1038 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	1039 return null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1040 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1041
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1042 @Override
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7506 diff changeset	1043 public List<Class<? extends Annotation>> getTypeDelegatedAnnotationTypes() {
7506 40133ce026c6 Project dependency fixes. Christian Humer <christian.humer@gmail.com> parents: 7504 diff changeset	1044 return ANNOTATIONS;
7502 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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1047 }

Mercurial > hg > graal-jvmci-8

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeParser.java @ 8592:a80bf36c6a1e