truffle: graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/node/NodeParser.java annotate

annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/node/NodeParser.java @ 11466:4830676526e3

Truffle-DSL: added infrastructure to assert for DSL error messages.

author	Christian Humer <christian.humer@gmail.com>
date	Thu, 29 Aug 2013 17:39:55 +0200
parents	6879565ee10b
children	43eab069ca9b

rev	line source
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	23 package com.oracle.truffle.dsl.processor.node;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import java.lang.annotation.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	26 import java.util.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	27
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	28 import javax.lang.model.element.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	29 import javax.lang.model.type.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	30 import javax.lang.model.util.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	31 import javax.tools.Diagnostic.Kind;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	32
11466 4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	33 import org.omg.CORBA.*;
4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	34
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	35 import com.oracle.truffle.api.dsl.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	36 import com.oracle.truffle.api.nodes.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	37 import com.oracle.truffle.dsl.processor.*;
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	38 import com.oracle.truffle.dsl.processor.node.NodeChildData.Cardinality;
e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	39 import com.oracle.truffle.dsl.processor.node.NodeChildData.ExecutionKind;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	40 import com.oracle.truffle.dsl.processor.template.*;
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	41 import com.oracle.truffle.dsl.processor.template.TemplateMethod.Signature;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	42 import com.oracle.truffle.dsl.processor.typesystem.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	43
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	44 public class NodeParser extends TemplateParser<NodeData> {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	45
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	46 public static final List<Class<? extends Annotation>> ANNOTATIONS = Arrays.asList(Generic.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class, SpecializationListener.class,
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 NodeContainer.class, NodeChild.class, NodeChildren.class, NodeId.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 private Map<String, NodeData> parsedNodes;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 public NodeParser(ProcessorContext c) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 super(c);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 protected NodeData parse(Element element, AnnotationMirror mirror) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 assert element instanceof TypeElement;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 NodeData node = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 try {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	60 parsedNodes = new HashMap<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 node = resolveNode((TypeElement) element);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	62 if (Log.DEBUG) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	63 NodeData parsed = parsedNodes.get(Utils.getQualifiedName((TypeElement) element));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 if (node != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 String dump = parsed.dump();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 log.message(Kind.ERROR, null, null, null, dump);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 } finally {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 parsedNodes = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 return node;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 protected NodeData filterErrorElements(NodeData model) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 for (Iterator<NodeData> iterator = model.getDeclaredNodes().iterator(); iterator.hasNext();) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 NodeData node = filterErrorElements(iterator.next());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80 if (node == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 iterator.remove();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 if (model.hasErrors()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	87 return model;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	89
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 public boolean isDelegateToRootDeclaredType() {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 return true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 public Class<? extends Annotation> getAnnotationType() {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	99
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 public List<Class<? extends Annotation>> getTypeDelegatedAnnotationTypes() {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 return ANNOTATIONS;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	104
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 private NodeData resolveNode(TypeElement rootType) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 String typeName = Utils.getQualifiedName(rootType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 if (parsedNodes.containsKey(typeName)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 return parsedNodes.get(typeName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 List<? extends TypeElement> types = ElementFilter.typesIn(rootType.getEnclosedElements());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113 List<NodeData> children = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 for (TypeElement childElement : types) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 NodeData childNode = resolveNode(childElement);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 if (childNode != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 children.add(childNode);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 NodeData rootNode = parseNode(rootType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122 if (rootNode == null && children.size() > 0) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	123 rootNode = new NodeData(rootType, rootType.getSimpleName().toString());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	125
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	126 parsedNodes.put(typeName, rootNode);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	127
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	128 if (rootNode != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 children.addAll(rootNode.getDeclaredNodes());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 rootNode.setDeclaredNodes(children);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	132
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	133 return rootNode;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	135
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 private NodeData parseNode(TypeElement originalTemplateType) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137 // reloading the type elements is needed for ecj
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 TypeElement templateType = Utils.fromTypeMirror(context.reloadTypeElement(originalTemplateType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	139
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	140 if (Utils.findAnnotationMirror(processingEnv, originalTemplateType, GeneratedBy.class) != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	141 // generated nodes should not get called again.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	142 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	143 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	144
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 List<TypeElement> lookupTypes = findSuperClasses(new ArrayList<TypeElement>(), templateType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 Collections.reverse(lookupTypes);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 AnnotationMirror nodeClass = findFirstAnnotation(lookupTypes, NodeContainer.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 TypeMirror nodeType = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 if (Utils.isAssignable(context, templateType.asType(), context.getTruffleTypes().getNode())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	151 nodeType = templateType.asType();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	153 if (nodeClass != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 nodeType = inheritType(nodeClass, "value", nodeType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157 if (nodeType == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	159 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	160
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 Elements elementUtil = context.getEnvironment().getElementUtils();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 Set<Element> elementSet = new HashSet<>(elementUtil.getAllMembers(templateType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	163 if (!Utils.typeEquals(templateType.asType(), nodeType)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	164 elementSet.addAll(elementUtil.getAllMembers(Utils.fromTypeMirror(nodeType)));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	165
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	166 List<TypeElement> nodeLookupTypes = findSuperClasses(new ArrayList<TypeElement>(), Utils.fromTypeMirror(nodeType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 Collections.reverse(nodeLookupTypes);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 lookupTypes.addAll(nodeLookupTypes);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	169
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 Set<TypeElement> types = new HashSet<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	171 for (ListIterator<TypeElement> iterator = lookupTypes.listIterator(); iterator.hasNext();) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 TypeElement typeElement = iterator.next();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	173 if (types.contains(typeElement)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	174 iterator.remove();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 types.add(typeElement);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	178 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	179 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 List<Element> elements = new ArrayList<>(elementSet);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	181
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 NodeData node = parseNodeData(templateType, nodeType, elements, lookupTypes);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 if (node.hasErrors()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 return node; // error sync point
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	186 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	187
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 parseMethods(node, elements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	189
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	190 if (node.hasErrors()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 return node;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	193
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 List<NodeData> nodes;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 if (node.isNodeContainer()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 nodes = splitNodeData(node);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 nodes = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	200 nodes.add(node);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	201 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 for (NodeData splittedNode : nodes) {
11466 4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	204 if (templateType.getModifiers().contains(Modifier.PRIVATE) && splittedNode.getSpecializations().size() > 0) {
4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	205 splittedNode.addError("Nodes containing the @%s annotation cannot be private.", Specialization.class.getSimpleName());
4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	206 }
4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	207
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208 finalizeSpecializations(elements, splittedNode);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 verifyNode(splittedNode, elements);
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	210 createPolymorphicSpecializations(splittedNode);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	211 assignShortCircuitsToSpecializations(splittedNode);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	213
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	214 if (node.isNodeContainer()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	215 node.setDeclaredNodes(nodes);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	216 node.setSpecializationListeners(new ArrayList<SpecializationListenerData>());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 node.setSpecializations(new ArrayList<SpecializationData>());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	219 return node;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	220 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	221
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	222 private void createPolymorphicSpecializations(NodeData node) {
11180 a9cb98ff8fd9 Truffle-DSL: Fixed compile error for nodes with no children and empty constructor. Christian Humer <christian.humer@gmail.com> parents: 10695 diff changeset	223 if (!node.needsRewrites(context) \|\| !node.isPolymorphic()) {
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	224 node.setPolymorphicSpecializations(Collections.<SpecializationData> emptyList());
e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	225 return;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	226 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	227
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 Signature genericSignature = node.getGenericSpecialization().getSignature();
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	229 Set<Signature> signatures = new TreeSet<>();
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	230
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 for (SpecializationData specialization1 : node.getSpecializations()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	232 Signature signature = specialization1.getSignature();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	234 for (SpecializationData specialization2 : node.getSpecializations()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 if (specialization1 == specialization2) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	236 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	237 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	238 signatures.add(signature.combine(genericSignature, specialization2.getSignature()));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	240 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	241
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 while (true) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	243 List<Signature> newSignatures = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	244 for (Signature signature1 : signatures) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 for (Signature signature2 : signatures) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 if (signature1 == signature2) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	248 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	249 newSignatures.add(signature1.combine(genericSignature, signature2));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	250 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252 if (!signatures.addAll(newSignatures)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	253 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	254 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	255 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	256
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	257 List<Signature> sortedSignatures = new ArrayList<>(signatures);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	258
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	259 SpecializationData polymorphicGeneric = null;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	260 List<SpecializationData> specializations = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	261 SpecializationData generic = node.getGenericSpecialization();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 for (Signature signature : sortedSignatures) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	263 SpecializationData specialization = new SpecializationData(generic, false, false, true);
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	264
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	265 for (Iterator<ActualParameter> iterator = specialization.getParameters().iterator(); iterator.hasNext();) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	266 ActualParameter param = iterator.next();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	267 if (param.getSpecification().isLocal()) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	268 iterator.remove();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	269 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	270 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	271
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 specialization.forceFrame(context.getTruffleTypes().getFrame());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 specialization.setNode(node);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	274 specialization.updateSignature(signature);
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	275 specializations.add(specialization);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	276
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	277 if (genericSignature.equals(signature)) {
e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	278 polymorphicGeneric = specialization;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	280 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	281
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	282 node.setGenericPolymorphicSpecialization(polymorphicGeneric);
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	283 node.setPolymorphicSpecializations(specializations);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	284 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	286 private NodeData parseNodeData(TypeElement templateType, TypeMirror nodeType, List<? extends Element> elements, List<TypeElement> typeHierarchy) {
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 NodeData nodeData = new NodeData(templateType, templateType.getSimpleName().toString());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	288
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	289 AnnotationMirror typeSystemMirror = findFirstAnnotation(typeHierarchy, TypeSystemReference.class);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	290 if (typeSystemMirror == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 nodeData.addError("No @%s annotation found in type hierarchy of %s.", TypeSystemReference.class.getSimpleName(), Utils.getQualifiedName(nodeType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 return nodeData;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	294
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 TypeMirror typeSytemType = Utils.getAnnotationValue(TypeMirror.class, typeSystemMirror, "value");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 final TypeSystemData typeSystem = (TypeSystemData) context.getTemplate(typeSytemType, true);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 if (typeSystem == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298 nodeData.addError("The used type system '%s' is invalid or not a Node.", Utils.getQualifiedName(typeSytemType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 return nodeData;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	301
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	302 AnnotationMirror polymorphicMirror = findFirstAnnotation(typeHierarchy, PolymorphicLimit.class);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	303 if (polymorphicMirror != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	304 AnnotationValue limitValue = Utils.getAnnotationValue(polymorphicMirror, "value");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	305 int polymorphicLimit = Utils.getAnnotationValue(Integer.class, polymorphicMirror, "value");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 if (polymorphicLimit < 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307 nodeData.addError(limitValue, "Invalid polymorphic limit %s.", polymorphicLimit);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 nodeData.setPolymorphicDepth(polymorphicLimit);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	311
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 List<String> assumptionsList = new ArrayList<>();
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	313 for (int i = typeHierarchy.size() - 1; i >= 0; i--) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	314 TypeElement type = typeHierarchy.get(i);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 AnnotationMirror assumptions = Utils.findAnnotationMirror(context.getEnvironment(), type, NodeAssumptions.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	316 if (assumptions != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	317 List<String> assumptionStrings = Utils.getAnnotationValueList(String.class, assumptions, "value");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 for (String string : assumptionStrings) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 if (assumptionsList.contains(string)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	320 assumptionsList.remove(string);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 assumptionsList.add(string);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	323 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 }
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	326 AnnotationMirror nodeInfoMirror = findFirstAnnotation(typeHierarchy, NodeInfo.class);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 if (nodeInfoMirror != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 nodeData.setShortName(Utils.getAnnotationValue(String.class, nodeInfoMirror, "shortName"));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	329 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	330
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 nodeData.setAssumptions(new ArrayList<>(assumptionsList));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 nodeData.setNodeType(nodeType);
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	333 AnnotationMirror nodeContainer = findFirstAnnotation(typeHierarchy, NodeContainer.class);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	334 nodeData.setNodeContainer(nodeContainer != null);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 nodeData.setTypeSystem(typeSystem);
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	336 nodeData.setFields(parseFields(typeHierarchy, elements));
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 parsedNodes.put(Utils.getQualifiedName(templateType), nodeData);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	338 // parseChildren invokes cyclic parsing.
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	339 nodeData.setChildren(parseChildren(elements, typeHierarchy));
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 nodeData.setExecutableTypes(groupExecutableTypes(new ExecutableTypeMethodParser(context, nodeData).parse(elements)));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	342 return nodeData;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	343 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	344
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	345 private List<NodeFieldData> parseFields(List<TypeElement> typeHierarchy, List<? extends Element> elements) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	346 Set<String> names = new HashSet<>();
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	347
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 List<NodeFieldData> fields = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 for (VariableElement field : ElementFilter.fieldsIn(elements)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	350 if (field.getModifiers().contains(Modifier.STATIC)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	352 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	353 if (field.getModifiers().contains(Modifier.PUBLIC) \|\| field.getModifiers().contains(Modifier.PROTECTED)) {
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	354 String name = field.getSimpleName().toString();
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	355 fields.add(new NodeFieldData(field, null, field.asType(), name, false));
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	356 names.add(name);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	357 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 }
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	359
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	360 List<TypeElement> reversedTypeHierarchy = new ArrayList<>(typeHierarchy);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	361 Collections.reverse(reversedTypeHierarchy);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	362 for (TypeElement typeElement : reversedTypeHierarchy) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	363 AnnotationMirror nodeChildrenMirror = Utils.findAnnotationMirror(processingEnv, typeElement, NodeFields.class);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	364 List<AnnotationMirror> children = Utils.collectAnnotations(context, nodeChildrenMirror, "value", typeElement, NodeField.class);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	365
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	366 for (AnnotationMirror mirror : children) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	367 String name = Utils.firstLetterLowerCase(Utils.getAnnotationValue(String.class, mirror, "name"));
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	368 TypeMirror type = Utils.getAnnotationValue(TypeMirror.class, mirror, "type");
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	369
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	370 NodeFieldData field = new NodeFieldData(typeElement, mirror, type, name, true);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	371 if (name.isEmpty()) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	372 field.addError(Utils.getAnnotationValue(mirror, "name"), "Field name cannot be empty.");
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	373 } else if (names.contains(name)) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	374 field.addError(Utils.getAnnotationValue(mirror, "name"), "Duplicate field name '%s'.", name);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	375 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	376 names.add(name);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	377
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	378 fields.add(field);
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	379 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	380 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	381
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	382 for (NodeFieldData nodeFieldData : fields) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	383 nodeFieldData.setGetter(findGetter(elements, nodeFieldData.getName(), nodeFieldData.getType()));
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	384 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	385
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 return fields;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	387 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 private List<NodeChildData> parseChildren(List<? extends Element> elements, final List<TypeElement> typeHierarchy) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 Set<String> shortCircuits = new HashSet<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, method, ShortCircuit.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	393 if (mirror != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	394 shortCircuits.add(Utils.getAnnotationValue(String.class, mirror, "value"));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 Map<String, TypeMirror> castNodeTypes = new HashMap<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	398 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, method, CreateCast.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 if (mirror != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	401 List<String> children = (Utils.getAnnotationValueList(String.class, mirror, "value"));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 if (children != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 for (String child : children) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 castNodeTypes.put(child, method.getReturnType());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	405 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 List<NodeChildData> parsedChildren = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 List<TypeElement> typeHierarchyReversed = new ArrayList<>(typeHierarchy);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412 Collections.reverse(typeHierarchyReversed);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	413 for (TypeElement type : typeHierarchyReversed) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 AnnotationMirror nodeClassMirror = Utils.findAnnotationMirror(processingEnv, type, NodeContainer.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	415 AnnotationMirror nodeChildrenMirror = Utils.findAnnotationMirror(processingEnv, type, NodeChildren.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	416
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	417 TypeMirror nodeClassType = type.getSuperclass();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 if (!Utils.isAssignable(context, nodeClassType, context.getTruffleTypes().getNode())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 nodeClassType = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 if (nodeClassMirror != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 nodeClassType = inheritType(nodeClassMirror, "value", nodeClassType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	425
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 List<AnnotationMirror> children = Utils.collectAnnotations(context, nodeChildrenMirror, "value", type, NodeChild.class);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 int index = 0;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 for (AnnotationMirror childMirror : children) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 String name = Utils.getAnnotationValue(String.class, childMirror, "value");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430 if (name.equals("")) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 name = "child" + index;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 Cardinality cardinality = Cardinality.ONE;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	435
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	436 TypeMirror childType = inheritType(childMirror, "type", nodeClassType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 if (childType.getKind() == TypeKind.ARRAY) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 cardinality = Cardinality.MANY;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	441 TypeMirror originalChildType = childType;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 TypeMirror castNodeType = castNodeTypes.get(name);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 if (castNodeType != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 childType = castNodeType;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	446
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	447 Element getter = findGetter(elements, name, childType);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 ExecutionKind kind = ExecutionKind.DEFAULT;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	450 if (shortCircuits.contains(name)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	451 kind = ExecutionKind.SHORT_CIRCUIT;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 NodeChildData nodeChild = new NodeChildData(type, childMirror, name, childType, originalChildType, getter, cardinality, kind);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	455
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	456 parsedChildren.add(nodeChild);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	457
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	458 verifyNodeChild(nodeChild);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 if (nodeChild.hasErrors()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	461 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	462
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463 NodeData fieldNodeData = resolveNode(Utils.fromTypeMirror(childType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 nodeChild.setNode(fieldNodeData);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	465 if (fieldNodeData == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	466 nodeChild.addError("Node type '%s' is invalid or not a valid Node.", Utils.getQualifiedName(childType));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	467 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	468
11183 0f5ff66a949d Truffle-DSL: Fixed a bug with anonymous children (GRAAL-321 #resolve) Christian Humer <christian.humer@gmail.com> parents: 11180 diff changeset	469 index++;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	470 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	471 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	472
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	473 List<NodeChildData> filteredChildren = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	474 Set<String> encounteredNames = new HashSet<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 for (int i = parsedChildren.size() - 1; i >= 0; i--) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 NodeChildData child = parsedChildren.get(i);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	477 if (!encounteredNames.contains(child.getName())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	478 filteredChildren.add(0, child);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	479 encounteredNames.add(child.getName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	480 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	482
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 for (NodeChildData child : filteredChildren) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 List<String> executeWithStrings = Utils.getAnnotationValueList(String.class, child.getMessageAnnotation(), "executeWith");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 AnnotationValue executeWithValue = Utils.getAnnotationValue(child.getMessageAnnotation(), "executeWith");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	486 List<NodeChildData> executeWith = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 for (String executeWithString : executeWithStrings) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	488
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	489 if (child.getName().equals(executeWithString)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	490 child.addError(executeWithValue, "The child node '%s' cannot be executed with itself.", executeWithString);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	491 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	493
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 NodeChildData found = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	495 boolean before = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 for (NodeChildData resolveChild : filteredChildren) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	497 if (resolveChild == child) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	498 before = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	499 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	500 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	501 if (resolveChild.getName().equals(executeWithString)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	502 found = resolveChild;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	503 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	504 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	505 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	506
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	507 if (found == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	508 child.addError(executeWithValue, "The child node '%s' cannot be executed with '%s'. The child node was not found.", child.getName(), executeWithString);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	509 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	510 } else if (!before) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	511 child.addError(executeWithValue, "The child node '%s' cannot be executed with '%s'. The node %s is executed after the current node.", child.getName(), executeWithString,
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	512 executeWithString);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	513 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	514 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	515 executeWith.add(found);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	516 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	517 child.setExecuteWith(executeWith);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	518 if (child.getNodeData() == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	519 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	520 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	521
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	522 List<ExecutableTypeData> types = child.findGenericExecutableTypes(context);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	523 if (types.isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	524 child.addError(executeWithValue, "No generic execute method found with %s evaluated arguments for node type %s.", executeWith.size(), Utils.getSimpleName(child.getNodeType()));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	525 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	526 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	527 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	528
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	529 return filteredChildren;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	530 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	531
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	532 private void parseMethods(final NodeData node, List<Element> elements) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	533 node.setShortCircuits(new ShortCircuitParser(context, node).parse(elements));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	534 node.setSpecializationListeners(new SpecializationListenerParser(context, node).parse(elements));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	535 List<SpecializationData> generics = new GenericParser(context, node).parse(elements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	536 List<SpecializationData> specializations = new SpecializationMethodParser(context, node).parse(elements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	537 node.setCasts(new CreateCastParser(context, node).parse(elements));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	538
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	539 List<SpecializationData> allSpecializations = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	540 allSpecializations.addAll(generics);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	541 allSpecializations.addAll(specializations);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	542
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	543 node.setSpecializations(allSpecializations);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	544 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	545
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	546 private static List<NodeData> splitNodeData(NodeData node) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	547 SortedMap<String, List<SpecializationData>> groupedSpecializations = groupByNodeId(node.getSpecializations());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	548 SortedMap<String, List<SpecializationListenerData>> groupedListeners = groupByNodeId(node.getSpecializationListeners());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	549 SortedMap<String, List<CreateCastData>> groupedCasts = groupByNodeId(node.getCasts());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	550
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	551 Set<String> ids = new TreeSet<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	552 ids.addAll(groupedSpecializations.keySet());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	553 ids.addAll(groupedListeners.keySet());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	554
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	555 List<NodeData> splitted = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	556 for (String id : ids) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	557 List<SpecializationData> specializations = groupedSpecializations.get(id);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	558 List<SpecializationListenerData> listeners = groupedListeners.get(id);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	559 List<CreateCastData> casts = groupedCasts.get(id);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	560
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	561 if (specializations == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	562 specializations = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	563 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	564
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	565 if (listeners == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	566 listeners = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	567 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	568
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	569 String nodeId = node.getNodeId();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	570 if (nodeId.endsWith("Node") && !nodeId.equals("Node")) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	571 nodeId = nodeId.substring(0, nodeId.length() - 4);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	572 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	573 String newNodeId = nodeId + Utils.firstLetterUpperCase(id);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	574 NodeData copy = new NodeData(node, id, newNodeId);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	575
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	576 copy.setSpecializations(specializations);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	577 copy.setSpecializationListeners(listeners);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	578 copy.setCasts(casts);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	579
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	580 splitted.add(copy);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	581 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	582
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	583 node.setSpecializations(new ArrayList<SpecializationData>());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	584 node.setSpecializationListeners(new ArrayList<SpecializationListenerData>());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	585 node.setCasts(new ArrayList<CreateCastData>());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	586
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	587 return splitted;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	588 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	589
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	590 private void finalizeSpecializations(List<Element> elements, final NodeData node) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	591 List<SpecializationData> specializations = new ArrayList<>(node.getSpecializations());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	592
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	593 if (specializations.isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	594 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	595 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	596
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	597 for (SpecializationData specialization : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	598 matchGuards(elements, specialization);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	599 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	600
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	601 List<SpecializationData> generics = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	602 for (SpecializationData spec : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	603 if (spec.isGeneric()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	604 generics.add(spec);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	605 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	606 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	607
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	608 if (generics.size() == 1 && specializations.size() == 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	609 for (SpecializationData generic : generics) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	610 generic.addError("@%s defined but no @%s.", Generic.class.getSimpleName(), Specialization.class.getSimpleName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	611 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	612 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	613
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	614 SpecializationData genericSpecialization = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	615 if (generics.size() > 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	616 for (SpecializationData generic : generics) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	617 generic.addError("Only @%s is allowed per operation.", Generic.class.getSimpleName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	618 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	619 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	620 } else if (generics.size() == 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	621 genericSpecialization = generics.get(0);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	622 } else if (node.needsRewrites(context)) {
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	623 genericSpecialization = createGenericSpecialization(node, specializations);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	624 specializations.add(genericSpecialization);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	625 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	626
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	627 if (genericSpecialization != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	628 for (ActualParameter parameter : genericSpecialization.getReturnTypeAndParameters()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	629 if (Utils.isObject(parameter.getType())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	630 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	631 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	632 Set<String> types = new HashSet<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	633 for (SpecializationData specialization : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	634 ActualParameter actualParameter = specialization.findParameter(parameter.getLocalName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	635 if (actualParameter != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	636 types.add(Utils.getQualifiedName(actualParameter.getType()));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	637 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	638 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	639 if (types.size() > 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	640 genericSpecialization.replaceParameter(parameter.getLocalName(), new ActualParameter(parameter, node.getTypeSystem().getGenericTypeData()));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	641 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	642 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	643 TemplateMethod uninializedMethod = new TemplateMethod("Uninitialized", node, genericSpecialization.getSpecification(), null, null, genericSpecialization.getReturnType(),
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	644 genericSpecialization.getParameters());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	645 // should not use messages from generic specialization
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	646 uninializedMethod.getMessages().clear();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	647 specializations.add(new SpecializationData(uninializedMethod, false, true, false));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	648 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	649
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	650 Collections.sort(specializations);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	651
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	652 node.setSpecializations(specializations);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	653
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	654 List<SpecializationData> needsId = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	655 for (SpecializationData specialization : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	656 if (specialization.isGeneric()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	657 specialization.setId("Generic");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	658 } else if (specialization.isUninitialized()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	659 specialization.setId("Uninitialized");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	660 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	661 needsId.add(specialization);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	662 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	663 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	664
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	665 // verify specialization parameter length
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	666 if (verifySpecializationParameters(node)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	667 List<String> ids = calculateSpecializationIds(needsId);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	668 for (int i = 0; i < ids.size(); i++) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	669 needsId.get(i).setId(ids.get(i));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	670 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	671 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	672
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	673 // calculate reachability
11193 6879565ee10b Truffle-DSL: Fixed the second specialization is unreachable if two specializations have the exactly same signature (also guards) and are ordered next to each other. Christian Humer <christian.humer@gmail.com> parents: 11187 diff changeset	674 SpecializationData prev = null;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	675 int specializationCount = 0;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	676 boolean reachable = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	677 for (SpecializationData specialization : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	678 if (specialization.isUninitialized()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	679 specialization.setReachable(true);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	680 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	681 }
11193 6879565ee10b Truffle-DSL: Fixed the second specialization is unreachable if two specializations have the exactly same signature (also guards) and are ordered next to each other. Christian Humer <christian.humer@gmail.com> parents: 11187 diff changeset	682 if (prev != null && prev.equalsGuards(specialization) && prev.getExceptions().isEmpty()) {
6879565ee10b Truffle-DSL: Fixed the second specialization is unreachable if two specializations have the exactly same signature (also guards) and are ordered next to each other. Christian Humer <christian.humer@gmail.com> parents: 11187 diff changeset	683 specialization.addError("%s is not reachable.", specialization.isGeneric() ? "Generic" : "Specialization");
6879565ee10b Truffle-DSL: Fixed the second specialization is unreachable if two specializations have the exactly same signature (also guards) and are ordered next to each other. Christian Humer <christian.humer@gmail.com> parents: 11187 diff changeset	684 } else if (!reachable && specialization.getMethod() != null) {
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	685 specialization.addError("%s is not reachable.", specialization.isGeneric() ? "Generic" : "Specialization");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	686 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	687 specialization.setReachable(reachable);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	688 if (!specialization.hasRewrite(context)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	689 reachable = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	690 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	691 if (!specialization.isGeneric()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	692 specializationCount++;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	693 }
11193 6879565ee10b Truffle-DSL: Fixed the second specialization is unreachable if two specializations have the exactly same signature (also guards) and are ordered next to each other. Christian Humer <christian.humer@gmail.com> parents: 11187 diff changeset	694 prev = specialization;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	695 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	696
11180 a9cb98ff8fd9 Truffle-DSL: Fixed compile error for nodes with no children and empty constructor. Christian Humer <christian.humer@gmail.com> parents: 10695 diff changeset	697 // initialize polymorphic depth
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	698 if (node.getPolymorphicDepth() < 0) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	699 node.setPolymorphicDepth(specializationCount - 1);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	700 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	701
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	702 // reduce polymorphicness if generic is not reachable
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	703 if (node.getGenericSpecialization() != null && !node.getGenericSpecialization().isReachable()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	704 node.setPolymorphicDepth(1);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	705 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	706 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	707
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	708 private SpecializationData createGenericSpecialization(final NodeData node, List<SpecializationData> specializations) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	709 SpecializationData genericSpecialization;
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	710 SpecializationData specialization = specializations.get(0);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	711 GenericParser parser = new GenericParser(context, node);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	712 MethodSpec specification = parser.createDefaultMethodSpec(specialization.getMethod(), null, true, null);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	713
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	714 List<ActualParameter> parameters = new ArrayList<>();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	715 for (ActualParameter parameter : specialization.getReturnTypeAndParameters()) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	716 if (!parameter.getSpecification().isSignature()) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	717 parameters.add(new ActualParameter(parameter));
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	718 continue;
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	719 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	720 NodeData childNode = node;
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	721 NodeChildData child = node.findChild(parameter.getSpecification().getName());
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	722 if (child != null) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	723 childNode = child.getNodeData();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	724 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	725
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	726 TypeData genericType = null;
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	727
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	728 Set<TypeData> types = new HashSet<>();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	729 for (SpecializationData otherSpecialization : specializations) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	730 ActualParameter otherParameter = otherSpecialization.findParameter(parameter.getLocalName());
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	731 if (otherParameter != null) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	732 types.add(otherParameter.getTypeSystemType());
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	733 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	734 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	735
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	736 assert !types.isEmpty();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	737
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	738 if (types.size() == 1) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	739 ExecutableTypeData executable = childNode.findExecutableType(types.iterator().next(), 0);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	740 if (executable != null && !executable.hasUnexpectedValue(context)) {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	741 genericType = types.iterator().next();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	742 } else {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	743 genericType = childNode.findAnyGenericExecutableType(context, 0).getType();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	744 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	745 } else {
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	746 genericType = childNode.findAnyGenericExecutableType(context, 0).getType();
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	747 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	748
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	749 parameters.add(new ActualParameter(parameter, genericType));
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	750 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	751 ActualParameter returnType = parameters.get(0);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	752 parameters = parameters.subList(1, parameters.size());
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	753
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	754 TemplateMethod genericMethod = new TemplateMethod("Generic", node, specification, null, null, returnType, parameters);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	755 genericSpecialization = new SpecializationData(genericMethod, true, false, false);
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	756 return genericSpecialization;
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	757 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	758
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	759 private void assignShortCircuitsToSpecializations(NodeData node) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	760 Map<String, List<ShortCircuitData>> groupedShortCircuits = groupShortCircuits(node.getShortCircuits());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	761
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	762 boolean valid = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	763 for (NodeChildData field : node.filterFields(ExecutionKind.SHORT_CIRCUIT)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	764 String valueName = field.getName();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	765 List<ShortCircuitData> availableCircuits = groupedShortCircuits.get(valueName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	766
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	767 if (availableCircuits == null \|\| availableCircuits.isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	768 node.addError("@%s method for short cut value '%s' required.", ShortCircuit.class.getSimpleName(), valueName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	769 valid = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	770 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	771 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	772
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	773 boolean sameMethodName = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	774 String methodName = availableCircuits.get(0).getMethodName();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	775 for (ShortCircuitData circuit : availableCircuits) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	776 if (!circuit.getMethodName().equals(methodName)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	777 sameMethodName = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	778 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	779 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	780
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	781 if (!sameMethodName) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	782 for (ShortCircuitData circuit : availableCircuits) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	783 circuit.addError("All short circuits for short cut value '%s' must have the same method name.", valueName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	784 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	785 valid = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	786 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	787 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	788
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	789 ShortCircuitData genericCircuit = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	790 for (ShortCircuitData circuit : availableCircuits) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	791 if (isGenericShortCutMethod(node, circuit)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	792 genericCircuit = circuit;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	793 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	794 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	795 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	796
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	797 if (genericCircuit == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	798 node.addError("No generic @%s method available for short cut value '%s'.", ShortCircuit.class.getSimpleName(), valueName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	799 valid = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	800 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	801 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	802
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	803 for (ShortCircuitData circuit : availableCircuits) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	804 if (circuit != genericCircuit) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	805 circuit.setGenericShortCircuitMethod(genericCircuit);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	806 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	807 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	808 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	809
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	810 if (!valid) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	811 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	812 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	813
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	814 NodeChildData[] fields = node.filterFields(ExecutionKind.SHORT_CIRCUIT);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	815 List<SpecializationData> specializations = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	816 specializations.addAll(node.getSpecializations());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	817 specializations.addAll(node.getPolymorphicSpecializations());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	818
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	819 for (SpecializationData specialization : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	820 List<ShortCircuitData> assignedShortCuts = new ArrayList<>(fields.length);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	821
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	822 for (int i = 0; i < fields.length; i++) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	823 List<ShortCircuitData> availableShortCuts = groupedShortCircuits.get(fields[i].getName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	824
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	825 ShortCircuitData genericShortCircuit = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	826 ShortCircuitData compatibleShortCircuit = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	827 for (ShortCircuitData circuit : availableShortCuts) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	828 if (circuit.isGeneric()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	829 genericShortCircuit = circuit;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	830 } else if (circuit.isCompatibleTo(specialization)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	831 compatibleShortCircuit = circuit;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	832 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	833 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	834
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	835 if (compatibleShortCircuit == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	836 compatibleShortCircuit = genericShortCircuit;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	837 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	838 assignedShortCuts.add(compatibleShortCircuit);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	839 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	840 specialization.setShortCircuits(assignedShortCuts);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	841 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	842 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	843
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	844 private void matchGuards(List<Element> elements, SpecializationData specialization) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	845 if (specialization.getGuardDefinitions().isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	846 specialization.setGuards(Collections.<GuardData> emptyList());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	847 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	848 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	849
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	850 List<GuardData> foundGuards = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	851 List<ExecutableElement> methods = ElementFilter.methodsIn(elements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	852 for (String guardDefinition : specialization.getGuardDefinitions()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	853 GuardParser parser = new GuardParser(context, specialization, guardDefinition);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	854 List<GuardData> guards = parser.parse(methods);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	855 if (!guards.isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	856 foundGuards.add(guards.get(0));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	857 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	858 // error no guard found
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	859 MethodSpec spec = parser.createSpecification(specialization.getMethod(), null);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	860 spec.applyTypeDefinitions("types");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	861 specialization.addError("Guard with method name '%s' not found. Expected signature: %n%s", guardDefinition, spec.toSignatureString("guard"));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	862 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	863 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	864
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	865 specialization.setGuards(foundGuards);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	866
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	867 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	868
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	869 private static List<String> calculateSpecializationIds(List<SpecializationData> specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	870 int lastSize = -1;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	871 List<List<String>> signatureChunks = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	872 for (SpecializationData other : specializations) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	873 if (other.isUninitialized() \|\| other.isGeneric()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	874 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	875 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	876 List<String> paramIds = new LinkedList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	877 paramIds.add(Utils.getTypeId(other.getReturnType().getType()));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	878 for (ActualParameter param : other.getParameters()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	879 if (other.getNode().findChild(param.getSpecification().getName()) == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	880 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	881 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	882 paramIds.add(Utils.getTypeId(param.getType()));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	883 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	884 assert lastSize == -1 \|\| lastSize == paramIds.size();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	885 if (lastSize != -1 && lastSize != paramIds.size()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	886 throw new AssertionError();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	887 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	888 signatureChunks.add(paramIds);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	889 lastSize = paramIds.size();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	890 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	891
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	892 // reduce id vertically
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	893 for (int i = 0; i < lastSize; i++) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	894 String prev = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	895 boolean allSame = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	896 for (List<String> signature : signatureChunks) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	897 String arg = signature.get(i);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	898 if (prev == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	899 prev = arg;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	900 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	901 } else if (!prev.equals(arg)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	902 allSame = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	903 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	904 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	905 prev = arg;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	906 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	907
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	908 if (allSame) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	909 for (List<String> signature : signatureChunks) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	910 signature.remove(i);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	911 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	912 lastSize--;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	913 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	914 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	915
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	916 // reduce id horizontally
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	917 for (List<String> signature : signatureChunks) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	918 if (signature.isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	919 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	920 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	921 String prev = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	922 boolean allSame = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	923 for (String arg : signature) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	924 if (prev == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	925 prev = arg;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	926 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	927 } else if (!prev.equals(arg)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	928 allSame = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	929 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	930 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	931 prev = arg;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	932 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	933
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	934 if (allSame) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	935 signature.clear();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	936 signature.add(prev);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	937 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	938 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	939
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	940 // create signatures
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	941 List<String> signatures = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	942 for (List<String> signatureChunk : signatureChunks) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	943 StringBuilder b = new StringBuilder();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	944 if (signatureChunk.isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	945 b.append("Default");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	946 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	947 for (String s : signatureChunk) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	948 b.append(s);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	949 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	950 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	951 signatures.add(b.toString());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	952 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	953
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	954 Map<String, Integer> counts = new HashMap<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	955 for (String s1 : signatures) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	956 Integer count = counts.get(s1);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	957 if (count == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	958 count = 0;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	959 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	960 count++;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	961 counts.put(s1, count);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	962 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	963
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	964 for (String s : counts.keySet()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	965 int count = counts.get(s);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	966 if (count > 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	967 int number = 0;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	968 for (ListIterator<String> iterator = signatures.listIterator(); iterator.hasNext();) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	969 String s2 = iterator.next();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	970 if (s.equals(s2)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	971 iterator.set(s2 + number);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	972 number++;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	973 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	974 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	975 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	976 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	977
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	978 return signatures;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	979 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	980
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	981 private void verifyNode(NodeData nodeData, List<? extends Element> elements) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	982 // verify order is not ambiguous
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	983 verifySpecializationOrder(nodeData);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	984
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	985 verifyMissingAbstractMethods(nodeData, elements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	986
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	987 verifyConstructors(nodeData);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	988
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	989 verifyNamingConvention(nodeData.getShortCircuits(), "needs");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	990
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	991 verifySpecializationThrows(nodeData);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	992 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	993
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	994 private static void verifyNodeChild(NodeChildData nodeChild) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	995 if (nodeChild.getNodeType() == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	996 nodeChild.addError("No valid node type could be resoleved.");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	997 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	998 // FIXME verify node child
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	999 // FIXME verify node type set
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1000 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1001
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1002 private static void verifyMissingAbstractMethods(NodeData nodeData, List<? extends Element> originalElements) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1003 if (!nodeData.needsFactory()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1004 // missing abstract methods only needs to be implemented
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1005 // if we need go generate factory for it.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1006 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1007 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1008
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1009 List<Element> elements = new ArrayList<>(originalElements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1010
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1011 Set<Element> unusedElements = new HashSet<>(elements);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1012 for (TemplateMethod method : nodeData.getAllTemplateMethods()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1013 unusedElements.remove(method.getMethod());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1014 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1015 if (nodeData.getExtensionElements() != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1016 unusedElements.removeAll(nodeData.getExtensionElements());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1017 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1018
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1019 for (NodeFieldData field : nodeData.getFields()) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1020 if (field.getGetter() != null) {
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1021 unusedElements.remove(field.getGetter());
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1022 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1023 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1024
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1025 for (NodeChildData child : nodeData.getChildren()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1026 if (child.getAccessElement() != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1027 unusedElements.remove(child.getAccessElement());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1028 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1029 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1030
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1031 for (ExecutableElement unusedMethod : ElementFilter.methodsIn(unusedElements)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1032 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1033 nodeData.addError("The type %s must implement the inherited abstract method %s.", Utils.getSimpleName(nodeData.getTemplateType()), Utils.getReadableSignature(unusedMethod));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1034 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1035 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1036 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1037
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1038 private void verifyConstructors(NodeData nodeData) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1039 if (!nodeData.needsRewrites(context)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1040 // no specialization constructor is needed if the node never rewrites.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1041 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1042 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1043
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1044 TypeElement type = Utils.fromTypeMirror(nodeData.getNodeType());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1045 List<ExecutableElement> constructors = ElementFilter.constructorsIn(type.getEnclosedElements());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1046
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1047 boolean parametersFound = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1048 for (ExecutableElement constructor : constructors) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1049 if (!constructor.getParameters().isEmpty()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1050 parametersFound = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1051 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1052 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1053 if (!parametersFound) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1054 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1055 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1056 for (ExecutableElement e : constructors) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1057 if (e.getParameters().size() == 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1058 TypeMirror firstArg = e.getParameters().get(0).asType();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1059 if (Utils.typeEquals(firstArg, nodeData.getNodeType())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1060 if (e.getModifiers().contains(Modifier.PRIVATE)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1061 nodeData.addError("The specialization constructor must not be private.");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1062 } else if (constructors.size() <= 1) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1063 nodeData.addError("The specialization constructor must not be the only constructor. The definition of an alternative constructor is required.");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1064 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1065 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1066 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1067 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1068 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1069
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1070 // not found
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1071 nodeData.addError("Specialization constructor '%s(%s previousNode) { this(...); }' is required.", Utils.getSimpleName(type), Utils.getSimpleName(type));
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1072 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1073
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1074 private static boolean verifySpecializationParameters(NodeData nodeData) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1075 boolean valid = true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1076 int args = -1;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1077 for (SpecializationData specializationData : nodeData.getSpecializations()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1078 int signatureArgs = 0;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1079 for (ActualParameter param : specializationData.getParameters()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1080 if (param.getSpecification().isSignature()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1081 signatureArgs++;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1082 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1083 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1084 if (args != -1 && args != signatureArgs) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1085 valid = false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1086 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1087 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1088 args = signatureArgs;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1089 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1090 if (!valid) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1091 for (SpecializationData specialization : nodeData.getSpecializations()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1092 specialization.addError("All specializations must have the same number of arguments.");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1093 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1094 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1095 return valid;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1096 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1097
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1098 private static void verifySpecializationOrder(NodeData node) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1099 List<SpecializationData> specializations = node.getSpecializations();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1100 for (int i = 0; i < specializations.size(); i++) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1101 SpecializationData m1 = specializations.get(i);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1102 for (int j = i + 1; j < specializations.size(); j++) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1103 SpecializationData m2 = specializations.get(j);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1104 int inferredOrder = m1.compareBySignature(m2);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1105
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1106 if (m1.getOrder() != Specialization.DEFAULT_ORDER && m2.getOrder() != Specialization.DEFAULT_ORDER) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1107 int specOrder = m1.getOrder() - m2.getOrder();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1108 if (specOrder == 0) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1109 m1.addError("Order value %d used multiple times", m1.getOrder());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1110 m2.addError("Order value %d used multiple times", m1.getOrder());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1111 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1112 } else if ((specOrder < 0 && inferredOrder > 0) \|\| (specOrder > 0 && inferredOrder < 0)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1113 m1.addError("Explicit order values %d and %d are inconsistent with type lattice ordering.", m1.getOrder(), m2.getOrder());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1114 m2.addError("Explicit order values %d and %d are inconsistent with type lattice ordering.", m1.getOrder(), m2.getOrder());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1115 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1116 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1117 } else if (inferredOrder == 0) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1118 SpecializationData m = (m1.getOrder() == Specialization.DEFAULT_ORDER ? m1 : m2);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1119 m.addError("Cannot calculate a consistent order for this specialization. Define the order attribute to resolve this.");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1120 return;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1121 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1122 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1123 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1124 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1125
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1126 private static void verifySpecializationThrows(NodeData node) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1127 Map<String, SpecializationData> specializationMap = new HashMap<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1128 for (SpecializationData spec : node.getSpecializations()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1129 specializationMap.put(spec.getMethodName(), spec);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1130 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1131 for (SpecializationData sourceSpecialization : node.getSpecializations()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1132 if (sourceSpecialization.getExceptions() != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1133 for (SpecializationThrowsData throwsData : sourceSpecialization.getExceptions()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1134 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1135 if (otherThrowsData != throwsData && Utils.typeEquals(otherThrowsData.getJavaClass(), throwsData.getJavaClass())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1136 throwsData.addError("Duplicate exception type.");
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1137 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1138 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1139 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1140 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1141 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1142 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1143
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1144 private static void verifyNamingConvention(List<? extends TemplateMethod> methods, String prefix) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1145 for (int i = 0; i < methods.size(); i++) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1146 TemplateMethod m1 = methods.get(i);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1147 if (m1.getMethodName().length() < 3 \|\| !m1.getMethodName().startsWith(prefix)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1148 m1.addError("Naming convention: method name must start with '%s'.", prefix);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1149 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1150 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1151 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1152
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1153 private static Map<Integer, List<ExecutableTypeData>> groupExecutableTypes(List<ExecutableTypeData> executableTypes) {
10600 e93efe3ba5f4 Truffle-DSL: rewritten polymorphic optimization for simpler generated code. Christian Humer <christian.humer@gmail.com> parents: 10597 diff changeset	1154 Map<Integer, List<ExecutableTypeData>> groupedTypes = new TreeMap<>();
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1155 for (ExecutableTypeData type : executableTypes) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1156 int evaluatedCount = type.getEvaluatedCount();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1157
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1158 List<ExecutableTypeData> types = groupedTypes.get(evaluatedCount);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1159 if (types == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1160 types = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1161 groupedTypes.put(evaluatedCount, types);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1162 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1163 types.add(type);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1164 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1165
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1166 for (List<ExecutableTypeData> types : groupedTypes.values()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1167 Collections.sort(types);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1168 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1169 return groupedTypes;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1170 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1171
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1172 private AnnotationMirror findFirstAnnotation(List<? extends Element> elements, Class<? extends Annotation> annotation) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1173 for (Element element : elements) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1174 AnnotationMirror mirror = Utils.findAnnotationMirror(processingEnv, element, annotation);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1175 if (mirror != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1176 return mirror;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1177 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1178 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1179 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1180 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1181
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1182 private TypeMirror inheritType(AnnotationMirror annotation, String valueName, TypeMirror parentType) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1183 TypeMirror inhertNodeType = context.getTruffleTypes().getNode();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1184 TypeMirror value = Utils.getAnnotationValue(TypeMirror.class, annotation, valueName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1185 if (Utils.typeEquals(inhertNodeType, value)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1186 return parentType;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1187 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1188 return value;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1189 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1190 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1191
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	1192 private ExecutableElement findGetter(List<? extends Element> elements, String variableName, TypeMirror type) {
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1193 if (type == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1194 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1195 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1196 String methodName;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1197 if (Utils.typeEquals(type, context.getType(boolean.class))) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1198 methodName = "is" + Utils.firstLetterUpperCase(variableName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1199 } else {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1200 methodName = "get" + Utils.firstLetterUpperCase(variableName);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1201 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1202
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1203 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1204 if (method.getSimpleName().toString().equals(methodName) && method.getParameters().size() == 0 && Utils.isAssignable(context, type, method.getReturnType())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1205 return method;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1206 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1207 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1208 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1209 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1210
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1211 private boolean isGenericShortCutMethod(NodeData node, TemplateMethod method) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1212 for (ActualParameter parameter : method.getParameters()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1213 NodeChildData field = node.findChild(parameter.getSpecification().getName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1214 if (field == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1215 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1216 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1217 ExecutableTypeData found = null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1218 List<ExecutableTypeData> executableElements = field.findGenericExecutableTypes(context);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1219 for (ExecutableTypeData executable : executableElements) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1220 if (executable.getType().equalsType(parameter.getTypeSystemType())) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1221 found = executable;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1222 break;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1223 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1224 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1225 if (found == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1226 return false;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1227 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1228 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1229 return true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1230 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1231
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1232 private static Map<String, List<ShortCircuitData>> groupShortCircuits(List<ShortCircuitData> shortCircuits) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1233 Map<String, List<ShortCircuitData>> group = new HashMap<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1234 for (ShortCircuitData shortCircuit : shortCircuits) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1235 List<ShortCircuitData> circuits = group.get(shortCircuit.getValueName());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1236 if (circuits == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1237 circuits = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1238 group.put(shortCircuit.getValueName(), circuits);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1239 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1240 circuits.add(shortCircuit);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1241 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1242 return group;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1243 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1244
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1245 private static <M extends TemplateMethod> SortedMap<String, List<M>> groupByNodeId(List<M> methods) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1246 SortedMap<String, List<M>> grouped = new TreeMap<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1247 for (M m : methods) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1248 List<M> list = grouped.get(m.getId());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1249 if (list == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1250 list = new ArrayList<>();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1251 grouped.put(m.getId(), list);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1252 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1253 list.add(m);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1254 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1255 return grouped;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1256 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1257
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1258 private static List<TypeElement> findSuperClasses(List<TypeElement> collection, TypeElement element) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1259 if (element.getSuperclass() != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1260 TypeElement superElement = Utils.fromTypeMirror(element.getSuperclass());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1261 if (superElement != null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1262 findSuperClasses(collection, superElement);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1263 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1264 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1265 collection.add(element);
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1266 return collection;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1267 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1268
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1269 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/node/NodeParser.java @ 11466:4830676526e3