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

annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/NodeParser.java @ 16834:21e0ab3c1395

Truffle-DSL: minor fix for import guards.

author	Christian Humer <christian.humer@gmail.com>
date	Thu, 14 Aug 2014 17:10:53 +0200
parents	13cf9b6b325c
children	2db61eddcb97

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 */
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	23 package com.oracle.truffle.dsl.processor.parser;
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	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
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	33 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	34 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	35 import com.oracle.truffle.dsl.processor.*;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	36 import com.oracle.truffle.dsl.processor.java.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	37 import com.oracle.truffle.dsl.processor.java.compiler.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	38 import com.oracle.truffle.dsl.processor.model.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	39 import com.oracle.truffle.dsl.processor.model.NodeChildData.Cardinality;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	40 import com.oracle.truffle.dsl.processor.model.SpecializationData.SpecializationKind;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	41 import com.oracle.truffle.dsl.processor.model.TemplateMethod.TypeSignature;
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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	43 public class NodeParser extends AbstractParser<NodeData> {
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	44
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	45 public static final List<Class<? extends Annotation>> ANNOTATIONS = Arrays.asList(Fallback.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class, NodeChild.class,
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	46 NodeChildren.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	47
79041ab43660 Truffle-DSL: 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 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	49
79041ab43660 Truffle-DSL: 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 @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	51 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	52 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	53 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	54 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	55 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	56 if (Log.DEBUG) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	57 NodeData parsed = parsedNodes.get(ElementUtils.getQualifiedName((TypeElement) element));
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	58 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	59 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	60 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	61 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 } 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	64 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	65 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	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
79041ab43660 Truffle-DSL: 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 @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	71 protected NodeData filterErrorElements(NodeData model) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	72 for (Iterator<NodeData> iterator = model.getEnclosingNodes().iterator(); iterator.hasNext();) {
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	73 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	74 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	75 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	76 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 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	79 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	80 }
79041ab43660 Truffle-DSL: 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 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	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 @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	85 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	86 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	87 }
79041ab43660 Truffle-DSL: 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 @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	90 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	91 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	92 }
79041ab43660 Truffle-DSL: 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 @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	95 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	96 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	97 }
79041ab43660 Truffle-DSL: 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 private NodeData resolveNode(TypeElement rootType) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	100 String typeName = ElementUtils.getQualifiedName(rootType);
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	101 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	102 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	105 List<NodeData> enclosedNodes = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	106 for (TypeElement enclosedType : ElementFilter.typesIn(rootType.getEnclosedElements())) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	107 NodeData enclosedChild = resolveNode(enclosedType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	108 if (enclosedChild != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	109 enclosedNodes.add(enclosedChild);
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	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 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	113 NodeData node = parseNode(rootType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	114 if (node == null && !enclosedNodes.isEmpty()) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	115 node = new NodeData(context, rootType);
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	116 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	118 if (node != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	119 for (NodeData enclosedNode : enclosedNodes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	120 node.addEnclosedNode(enclosedNode);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	121 }
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	122 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	124 parsedNodes.put(typeName, node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	125 return node;
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	126 }
79041ab43660 Truffle-DSL: 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 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	129 // reloading the type elements is needed for ecj
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	130 TypeElement templateType = ElementUtils.fromTypeMirror(context.reloadTypeElement(originalTemplateType));
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	131
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	132 if (ElementUtils.findAnnotationMirror(processingEnv, originalTemplateType, GeneratedBy.class) != 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	133 // 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	134 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	137 List<TypeElement> lookupTypes = collectSuperClasses(new ArrayList<TypeElement>(), templateType);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	138 if (!ElementUtils.isAssignable(templateType.asType(), context.getTruffleTypes().getNode())) {
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	139 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	140 }
16834 21e0ab3c1395 Truffle-DSL: minor fix for import guards. Christian Humer <christian.humer@gmail.com> parents: 16832 diff changeset	141 List<Element> elements = new ArrayList<>(CompilerFactory.getCompiler(templateType).getAllMembersInDeclarationOrder(context.getEnvironment(), templateType));
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	142
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	143 NodeData node = parseNodeData(templateType, elements, lookupTypes);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	144
16834 21e0ab3c1395 Truffle-DSL: minor fix for import guards. Christian Humer <christian.humer@gmail.com> parents: 16832 diff changeset	145 parseImportGuards(node, lookupTypes, elements);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	146
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	147 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	148 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	149 }
79041ab43660 Truffle-DSL: 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
16819 84f1c44b5e9b Truffle-DSL: fixed resolve of executeWith. Christian Humer <christian.humer@gmail.com> parents: 16817 diff changeset	151 node.setExecutableTypes(groupExecutableTypes(new ExecutableTypeMethodParser(context, node).parse(elements)));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	152 initializeChildren(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	153
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	154 node.getSpecializations().addAll(new SpecializationMethodParser(context, node).parse(elements));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	155 node.getSpecializations().addAll(new GenericParser(context, node).parse(elements));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	156 node.getCasts().addAll(new CreateCastParser(context, node).parse(elements));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	157 node.getShortCircuits().addAll(new ShortCircuitParser(context, node).parse(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	158
79041ab43660 Truffle-DSL: 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 if (node.hasErrors()) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	160 return node; // error sync point
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	161 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	163 verifySpecializationSameLength(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	164 initializeSpecializations(elements, node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	165 initializeShortCircuits(node); // requires specializations and polymorphic specializations
11466 4830676526e3 Truffle-DSL: added infrastructure to assert for DSL error messages. Christian Humer <christian.humer@gmail.com> parents: 11193 diff changeset	166
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	167 verifyVisibilities(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	168 verifyMissingAbstractMethods(node, elements);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	169 verifyConstructors(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	170 verifyNamingConvention(node.getShortCircuits(), "needs");
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	171 verifySpecializationThrows(node);
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	172 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	173 }
79041ab43660 Truffle-DSL: 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
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	175 private void parseImportGuards(NodeData node, List<TypeElement> lookupTypes, List<Element> elements) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	176 for (TypeElement lookupType : lookupTypes) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	177 AnnotationMirror importAnnotation = ElementUtils.findAnnotationMirror(processingEnv, lookupType, ImportGuards.class);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	178 if (importAnnotation == null) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	179 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	180 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	181 AnnotationValue importClassesValue = ElementUtils.getAnnotationValue(importAnnotation, "value");
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	182 List<TypeMirror> importClasses = ElementUtils.getAnnotationValueList(TypeMirror.class, importAnnotation, "value");
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	183 if (importClasses.isEmpty()) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	184 node.addError(importAnnotation, importClassesValue, "At least import guard classes must be specified.");
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	185 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	186 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	187 for (TypeMirror importGuardClass : importClasses) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	188 if (importGuardClass.getKind() != TypeKind.DECLARED) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	189 node.addError(importAnnotation, importClassesValue, "The specified import guard class '%s' is not a declared type.", ElementUtils.getQualifiedName(importGuardClass));
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	190 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	191 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	192 TypeElement typeElement = ElementUtils.fromTypeMirror(importGuardClass);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	193 if (!typeElement.getModifiers().contains(Modifier.PUBLIC)) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	194 node.addError(importAnnotation, importClassesValue, "The specified import guard class '%s' must be public.", ElementUtils.getQualifiedName(importGuardClass));
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	195 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	196 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	197
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	198 List<? extends ExecutableElement> importMethods = ElementFilter.methodsIn(processingEnv.getElementUtils().getAllMembers(typeElement));
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	199 for (ExecutableElement importMethod : importMethods) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	200 if (!importMethod.getModifiers().contains(Modifier.PUBLIC) \|\| !importMethod.getModifiers().contains(Modifier.STATIC)) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	201 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	202 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	203 elements.add(importMethod);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	204 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	205 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	206 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	207 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	208
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	209 private NodeData parseNodeData(TypeElement templateType, List<? extends Element> elements, List<TypeElement> typeHierarchy) {
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	210 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	211 if (typeSystemMirror == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	212 NodeData nodeData = new NodeData(context, templateType);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	213 nodeData.addError("No @%s annotation found in type hierarchy of %s.", TypeSystemReference.class.getSimpleName(), ElementUtils.getQualifiedName(templateType));
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	214 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	215 }
79041ab43660 Truffle-DSL: 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
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	217 TypeMirror typeSystemType = ElementUtils.getAnnotationValue(TypeMirror.class, typeSystemMirror, "value");
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	218 final TypeSystemData typeSystem = (TypeSystemData) context.getTemplate(typeSystemType, true);
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	219 if (typeSystem == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	220 NodeData nodeData = new NodeData(context, templateType);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	221 nodeData.addError("The used type system '%s' is invalid or not a Node.", ElementUtils.getQualifiedName(typeSystemType));
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	222 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	223 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	224
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	225 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	226 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	227 TypeElement type = typeHierarchy.get(i);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	228 AnnotationMirror assumptions = ElementUtils.findAnnotationMirror(context.getEnvironment(), type, NodeAssumptions.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	229 if (assumptions != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	230 List<String> assumptionStrings = ElementUtils.getAnnotationValueList(String.class, assumptions, "value");
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	231 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	232 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	233 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	234 }
79041ab43660 Truffle-DSL: 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 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	236 }
79041ab43660 Truffle-DSL: 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 }
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	239 AnnotationMirror nodeInfoMirror = findFirstAnnotation(typeHierarchy, NodeInfo.class);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	240 String shortName = 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	241 if (nodeInfoMirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	242 shortName = ElementUtils.getAnnotationValue(String.class, nodeInfoMirror, "shortName");
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	243 }
25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	244
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	245 List<NodeFieldData> fields = parseFields(typeHierarchy, elements);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	246 List<NodeChildData> children = parseChildren(typeHierarchy, elements);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	247 List<NodeExecutionData> executions = parseExecutions(children, elements);
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	248
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	249 NodeData nodeData = new NodeData(context, templateType, shortName, typeSystem, children, executions, fields, assumptionsList);
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	250
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	251 parsedNodes.put(ElementUtils.getQualifiedName(templateType), nodeData);
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	252
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	253 return nodeData;
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	254 }
25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	255
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	256 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	257 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	258
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	259 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	260 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	261 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	262 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	263 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	264 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	265 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	266 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	267 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	268 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 }
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	270
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	271 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	272 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	273 for (TypeElement typeElement : reversedTypeHierarchy) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	274 AnnotationMirror nodeChildrenMirror = ElementUtils.findAnnotationMirror(processingEnv, typeElement, NodeFields.class);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	275 List<AnnotationMirror> children = ElementUtils.collectAnnotations(context, nodeChildrenMirror, "value", typeElement, NodeField.class);
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	276
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	277 for (AnnotationMirror mirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	278 String name = ElementUtils.firstLetterLowerCase(ElementUtils.getAnnotationValue(String.class, mirror, "name"));
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	279 TypeMirror type = ElementUtils.getAnnotationValue(TypeMirror.class, mirror, "type");
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	280
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	281 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	282 if (name.isEmpty()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	283 field.addError(ElementUtils.getAnnotationValue(mirror, "name"), "Field name cannot be empty.");
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	284 } else if (names.contains(name)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	285 field.addError(ElementUtils.getAnnotationValue(mirror, "name"), "Duplicate field name '%s'.", name);
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 }
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	287 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	288
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 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	290 }
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	291 }
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	292
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	293 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	294 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	295 }
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	296
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	297 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	298 }
79041ab43660 Truffle-DSL: 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
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	300 private List<NodeChildData> parseChildren(final List<TypeElement> typeHierarchy, List<? extends Element> 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	301 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	302 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	303 AnnotationMirror mirror = ElementUtils.findAnnotationMirror(processingEnv, method, ShortCircuit.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	304 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	305 shortCircuits.add(ElementUtils.getAnnotationValue(String.class, mirror, "value"));
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	306 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 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	309 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	310 AnnotationMirror mirror = ElementUtils.findAnnotationMirror(processingEnv, method, CreateCast.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	311 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	312 List<String> children = (ElementUtils.getAnnotationValueList(String.class, mirror, "value"));
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	313 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	314 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	315 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	316 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	322 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	323 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	324 for (TypeElement type : typeHierarchyReversed) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	325 AnnotationMirror nodeChildrenMirror = ElementUtils.findAnnotationMirror(processingEnv, type, NodeChildren.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	326
79041ab43660 Truffle-DSL: 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 TypeMirror nodeClassType = type.getSuperclass();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	328 if (!ElementUtils.isAssignable(nodeClassType, context.getTruffleTypes().getNode())) {
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	329 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	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
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	332 List<AnnotationMirror> children = ElementUtils.collectAnnotations(context, nodeChildrenMirror, "value", type, NodeChild.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	333 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	334 for (AnnotationMirror childMirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	335 String name = ElementUtils.getAnnotationValue(String.class, childMirror, "value");
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	336 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	337 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	338 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339
79041ab43660 Truffle-DSL: 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 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	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 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	343 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	344 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	345 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	346
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 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	348 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	349 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	350 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	351 }
79041ab43660 Truffle-DSL: 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 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	354
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	355 NodeChildData nodeChild = new NodeChildData(type, childMirror, name, childType, originalChildType, getter, cardinality);
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	356
79041ab43660 Truffle-DSL: 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 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	358
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	359 if (nodeChild.getNodeType() == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	360 nodeChild.addError("No valid node type could be resoleved.");
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	361 }
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	362 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	363 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	364 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	365
11183 0f5ff66a949d Truffle-DSL: Fixed a bug with anonymous children (GRAAL-321 #resolve) Christian Humer <christian.humer@gmail.com> parents: 11180 diff changeset	366 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	367 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 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	371 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	372 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	373 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	374 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	375 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	376 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	377 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	378 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	379
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	380 for (NodeChildData child : filteredChildren) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	381 List<String> executeWithStrings = ElementUtils.getAnnotationValueList(String.class, child.getMessageAnnotation(), "executeWith");
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	382 AnnotationValue executeWithValue = ElementUtils.getAnnotationValue(child.getMessageAnnotation(), "executeWith");
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	383 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	384 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	385
79041ab43660 Truffle-DSL: 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 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	387 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	388 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	389 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	392 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	393 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	394 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	395 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	396 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	397 }
79041ab43660 Truffle-DSL: 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 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	399 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	400 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	401 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	405 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	406 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	407 } 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	408 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	409 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	410 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	411 }
79041ab43660 Truffle-DSL: 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 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	413 }
79041ab43660 Truffle-DSL: 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 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	415 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	416 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	417 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	423 private List<NodeExecutionData> parseExecutions(List<NodeChildData> children, List<? extends Element> elements) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	424 if (children == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	425 return null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	426 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	427
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	428 // pre-parse short circuits
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	429 Set<String> shortCircuits = new HashSet<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	430 List<ExecutableElement> methods = ElementFilter.methodsIn(elements);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	431 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	432 AnnotationMirror mirror = ElementUtils.findAnnotationMirror(processingEnv, method, ShortCircuit.class);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	433 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	434 shortCircuits.add(ElementUtils.getAnnotationValue(String.class, mirror, "value"));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	435 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	436 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	437
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	438 boolean hasVarArgs = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	439 int maxSignatureSize = 0;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	440 if (!children.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	441 int lastIndex = children.size() - 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	442 hasVarArgs = children.get(lastIndex).getCardinality() == Cardinality.MANY;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	443 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	444 maxSignatureSize = lastIndex;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	445 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	446 maxSignatureSize = children.size();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	447 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	448 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	449
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	450 // pre-parse specializations
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	451 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	452 AnnotationMirror mirror = ElementUtils.findAnnotationMirror(processingEnv, method, Specialization.class);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	453 if (mirror == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	454 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	455 }
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	456
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	457 int currentArgumentCount = 0;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	458 boolean skipShortCircuit = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	459 for (VariableElement var : method.getParameters()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	460 TypeMirror type = var.asType();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	461 if (currentArgumentCount == 0) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	462 // skip optionals
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	463 if (ElementUtils.typeEquals(type, context.getTruffleTypes().getFrame())) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	464 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	465 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	466 // TODO skip optional fields?
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	467 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	468 int childIndex = currentArgumentCount < children.size() ? currentArgumentCount : children.size() - 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	469 if (childIndex == -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	470 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	471 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	472 if (!skipShortCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	473 NodeChildData child = children.get(childIndex);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	474 if (shortCircuits.contains(NodeExecutionData.createShortCircuitId(child, currentArgumentCount - childIndex))) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	475 skipShortCircuit = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	476 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	477 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	478 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	479 skipShortCircuit = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	480 }
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	481
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	482 currentArgumentCount++;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	483 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	484 maxSignatureSize = Math.max(maxSignatureSize, currentArgumentCount);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	485 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	486
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	487 List<NodeExecutionData> executions = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	488 for (int i = 0; i < maxSignatureSize; i++) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	489 int childIndex = i;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	490 boolean varArg = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	491 if (childIndex >= children.size() - 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	492 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	493 childIndex = children.size() - 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	494 varArg = hasVarArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	495 } else if (childIndex >= children.size()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	496 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	497 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	498 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	499 int varArgsIndex = varArg ? Math.abs(childIndex - i) : -1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	500 NodeChildData child = children.get(childIndex);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	501 boolean shortCircuit = shortCircuits.contains(NodeExecutionData.createShortCircuitId(child, varArgsIndex));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	502 executions.add(new NodeExecutionData(child, varArgsIndex, shortCircuit));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	503 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	504 return executions;
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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	507 private static Map<Integer, List<ExecutableTypeData>> groupExecutableTypes(List<ExecutableTypeData> executableTypes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	508 Map<Integer, List<ExecutableTypeData>> groupedTypes = new TreeMap<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	509 for (ExecutableTypeData type : executableTypes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	510 int evaluatedCount = type.getEvaluatedCount();
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	511
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	512 List<ExecutableTypeData> types = groupedTypes.get(evaluatedCount);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	513 if (types == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	514 types = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	515 groupedTypes.put(evaluatedCount, types);
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	516 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	517 types.add(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	518 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	520 for (List<ExecutableTypeData> types : groupedTypes.values()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	521 Collections.sort(types);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	522 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	523 return groupedTypes;
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	524 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	526 private void initializeChildren(NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	527 for (NodeChildData nodeChild : node.getChildren()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	528 NodeData fieldNodeData = resolveNode(ElementUtils.fromTypeMirror(nodeChild.getNodeType()));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	529 nodeChild.setNode(fieldNodeData);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	530 if (fieldNodeData == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	531 nodeChild.addError("Node type '%s' is invalid or not a valid Node.", ElementUtils.getQualifiedName(nodeChild.getNodeType()));
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	532 } else if (!ElementUtils.typeEquals(fieldNodeData.getTypeSystem().getTemplateType().asType(), (node.getTypeSystem().getTemplateType().asType()))) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	533 nodeChild.addError("The @%s of the node and the @%s of the @%s does not match. %s != %s. ", TypeSystem.class.getSimpleName(), TypeSystem.class.getSimpleName(),
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	534 NodeChild.class.getSimpleName(), ElementUtils.getSimpleName(node.getTypeSystem().getTemplateType()),
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	535 ElementUtils.getSimpleName(fieldNodeData.getTypeSystem().getTemplateType()));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	536 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	537 if (fieldNodeData != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	538 List<ExecutableTypeData> types = nodeChild.findGenericExecutableTypes(context);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	539 if (types.isEmpty()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	540 AnnotationValue executeWithValue = ElementUtils.getAnnotationValue(nodeChild.getMessageAnnotation(), "executeWith");
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	541 nodeChild.addError(executeWithValue, "No generic execute method found with %s evaluated arguments for node type %s.", nodeChild.getExecuteWith().size(),
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	542 ElementUtils.getSimpleName(nodeChild.getNodeType()));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	543 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	544 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	545 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	546 }
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	547
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	548 private void initializeSpecializations(List<? extends Element> elements, final NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	549 if (node.getSpecializations().isEmpty()) {
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	550 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	551 }
79041ab43660 Truffle-DSL: 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
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	553 initializeGuards(elements, node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	554 initializeGeneric(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	555 initializeUninitialized(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	556 initializeOrder(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	557 initializePolymorphism(node); // requires specializations
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	558 initializeReachability(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	559 initializeContains(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	560
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	561 if (!node.hasErrors()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	562 initializeExceptions(node);
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	563 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	564 resolveContains(node);
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	565
79041ab43660 Truffle-DSL: 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 List<SpecializationData> needsId = new ArrayList<>();
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	567 for (SpecializationData specialization : node.getSpecializations()) {
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	568 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	569 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	570 } 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	571 specialization.setId("Uninitialized");
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	572 } else if (specialization.isPolymorphic()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	573 specialization.setId("Polymorphic");
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	574 } else if (specialization.isSpecialized()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	575 needsId.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	576 } else {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	577 throw new AssertionError();
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	578 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 // verify specialization parameter length
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	582 List<String> ids = initializeSpecializationIds(needsId);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	583 for (int i = 0; i < ids.size(); i++) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	584 needsId.get(i).setId(ids.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	585 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	587 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	588
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	589 private static void initializeOrder(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	590 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	591 Collections.sort(specializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	592
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	593 for (SpecializationData specialization : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	594 String searchName = specialization.getInsertBeforeName();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	595 if (searchName == null \|\| specialization.getMethod() == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	596 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	597 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	598 SpecializationData found = lookupSpecialization(node, searchName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	599 if (found == null \|\| found.getMethod() == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	600 AnnotationValue value = ElementUtils.getAnnotationValue(specialization.getMarkerAnnotation(), "insertBefore");
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	601 specialization.addError(value, "The referenced specialization '%s' could not be found.", searchName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	602 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	603 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	604
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	605 ExecutableElement currentMethod = specialization.getMethod();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	606 ExecutableElement insertBeforeMethod = found.getMethod();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	607
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	608 TypeMirror currentEnclosedType = currentMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	609 TypeMirror insertBeforeEnclosedType = insertBeforeMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	610
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	611 if (ElementUtils.typeEquals(currentEnclosedType, insertBeforeEnclosedType) \|\| !ElementUtils.isSubtype(currentEnclosedType, insertBeforeEnclosedType)) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	612 AnnotationValue value = ElementUtils.getAnnotationValue(specialization.getMarkerAnnotation(), "insertBefore");
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	613 specialization.addError(value, "Specializations can only be inserted before specializations in superclasses.", searchName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	614 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	615 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	616
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	617 specialization.setInsertBefore(found);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	618 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	619
16764 f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	620 for (int i = 0; i < specializations.size(); i++) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	621 SpecializationData specialization = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	622 SpecializationData insertBefore = specialization.getInsertBefore();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	623 if (insertBefore != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	624 int insertIndex = specializations.indexOf(insertBefore);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	625 if (insertIndex < i) {
16764 f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	626 specializations.remove(i);
f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	627 specializations.add(insertIndex, specialization);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	628 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	629 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	630 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	631
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	632 for (int i = 0; i < specializations.size(); i++) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	633 specializations.get(i).setIndex(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	634 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	635 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	636
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	637 private static void initializeExceptions(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	638 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	639 for (int i = 0; i < specializations.size(); i++) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	640 SpecializationData cur = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	641 if (cur.getExceptions().isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	642 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	643 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	644 SpecializationData next = i + 1 < specializations.size() ? specializations.get(i + 1) : null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	645
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	646 if (!cur.isContainedBy(next)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	647 next.addError("This specialiation is not a valid exceptional rewrite target for %s. To fix this make %s compatible to %s or remove the exceptional rewrite.",
16767 38d243eaad41 Truffle-DSL: fixed findbugs error. Christian Humer <christian.humer@gmail.com> parents: 16764 diff changeset	648 cur.createReferenceName(), next != null ? next.createReferenceName() : "-", cur.createReferenceName());
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	649 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	650 }
16767 38d243eaad41 Truffle-DSL: fixed findbugs error. Christian Humer <christian.humer@gmail.com> parents: 16764 diff changeset	651 Set<SpecializationData> nextContains = next != null ? next.getContains() : Collections.<SpecializationData> emptySet();
38d243eaad41 Truffle-DSL: fixed findbugs error. Christian Humer <christian.humer@gmail.com> parents: 16764 diff changeset	652 if (!nextContains.contains(cur)) {
38d243eaad41 Truffle-DSL: fixed findbugs error. Christian Humer <christian.humer@gmail.com> parents: 16764 diff changeset	653 nextContains.add(cur);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	654 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	655 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	656
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	657 for (SpecializationData cur : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	658 if (cur.getExceptions().isEmpty()) {
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	659 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	660 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	661 for (SpecializationData child : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	662 if (child != null && child != cur && child.getContains().contains(cur)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	663 cur.getExcludedBy().add(child);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	664 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	665 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	666 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	667 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	668
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	669 private static void initializeContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	670 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	671 Set<SpecializationData> resolvedSpecializations = specialization.getContains();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	672 resolvedSpecializations.clear();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	673 Set<String> includeNames = specialization.getContainsNames();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	674 for (String includeName : includeNames) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	675 // TODO reduce complexity of this lookup.
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	676 SpecializationData foundSpecialization = lookupSpecialization(node, includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	677
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	678 if (foundSpecialization == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	679 AnnotationValue value = ElementUtils.getAnnotationValue(specialization.getMarkerAnnotation(), "contains");
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	680 specialization.addError(value, "The referenced specialization '%s' could not be found.", includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	681 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	682 if (!foundSpecialization.isContainedBy(specialization)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	683 AnnotationValue value = ElementUtils.getAnnotationValue(specialization.getMarkerAnnotation(), "contains");
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	684 if (foundSpecialization.compareTo(specialization) > 0) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	685 specialization.addError(value, "The contained specialization '%s' must be declared before the containing specialization.", includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	686 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	687 specialization.addError(value,
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	688 "The contained specialization '%s' is not fully compatible. The contained specialization must be strictly more generic than the containing one.",
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	689 includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	690 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	691
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	692 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	693 resolvedSpecializations.add(foundSpecialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	694 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	695 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	696 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	697 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	698
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	699 private void resolveContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	700 // flatten transitive includes
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	701 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	702 if (specialization.getContains().isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	703 continue;
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	704 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	705 Set<SpecializationData> foundSpecializations = new HashSet<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	706 collectIncludes(specialization, foundSpecializations, new HashSet<SpecializationData>());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	707 specialization.getContains().addAll(foundSpecializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	708 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	709 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	710
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	711 private static SpecializationData lookupSpecialization(NodeData node, String includeName) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	712 SpecializationData foundSpecialization = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	713 for (SpecializationData searchSpecialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	714 if (searchSpecialization.getMethodName().equals(includeName)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	715 foundSpecialization = searchSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	716 break;
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	717 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	718 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	719 return foundSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	720 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	721
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	722 private void collectIncludes(SpecializationData specialization, Set<SpecializationData> found, Set<SpecializationData> visited) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	723 if (visited.contains(specialization)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	724 // circle found
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	725 specialization.addError("Circular contained specialization '%s' found.", specialization.createReferenceName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	726 return;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	727 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	728 visited.add(specialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	729
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	730 for (SpecializationData included : specialization.getContains()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	731 collectIncludes(included, found, new HashSet<>(visited));
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	732 found.add(included);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	733 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	734 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	735
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	736 private static void initializeReachability(final NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	737 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	738 for (int i = specializations.size() - 1; i >= 0; i--) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	739 SpecializationData current = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	740 if (current.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	741 current.setReachable(true);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	742 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	743 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	744
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	745 List<SpecializationData> shadowedBy = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	746 for (int j = i - 1; j >= 0; j--) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	747 SpecializationData prev = specializations.get(j);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	748 if (prev.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	749 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	750 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	751 if (!current.isReachableAfter(prev)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	752 if (shadowedBy == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	753 shadowedBy = new ArrayList<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	754 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	755 shadowedBy.add(prev);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	756 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	757 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	758
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	759 if (shadowedBy != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	760 StringBuilder name = new StringBuilder();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	761 String sep = "";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	762 for (SpecializationData shadowSpecialization : shadowedBy) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	763 name.append(sep);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	764 name.append(shadowSpecialization.createReferenceName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	765 sep = ", ";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	766 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	767 current.addError("%s is not reachable. It is shadowed by %s.", current.isGeneric() ? "Generic" : "Specialization", name);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	768 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	769 current.setReachable(shadowedBy == 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	770 }
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	771 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	772
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	773 private static List<String> initializeSpecializationIds(List<SpecializationData> 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	774 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	775 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	776 for (SpecializationData other : specializations) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	777 if (!other.isSpecialized()) {
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	778 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	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 List<String> paramIds = new LinkedList<>();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	781 paramIds.add(ElementUtils.getTypeId(other.getReturnType().getType()));
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	782 for (Parameter param : other.getParameters()) {
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	783 if (param.getSpecification().getExecution() == 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	784 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	785 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	786 paramIds.add(ElementUtils.getTypeId(param.getType()));
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	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 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	789 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	790 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	791 }
79041ab43660 Truffle-DSL: 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 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	793 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	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 // 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	797 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	798 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	799 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	800 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	801 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	802 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	803 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	804 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	805 } 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	806 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	807 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	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 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	810 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	813 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	814 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	815 }
79041ab43660 Truffle-DSL: 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 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	817 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 // 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	821 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	822 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	823 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	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 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	826 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	827 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	828 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	829 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	830 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	831 } 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	832 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	833 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	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 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	836 }
79041ab43660 Truffle-DSL: 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 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	839 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	840 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	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 // 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	845 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	846 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	847 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	848 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	849 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	850 } 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	851 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	852 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	853 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 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	856 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	859 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	860 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	861 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	862 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	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 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	865 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	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 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	869 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	870 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	871 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	872 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	873 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	874 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	875 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	876 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	877 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 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	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
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	885 private void initializeGuards(List<? extends Element> elements, NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	886 Map<String, List<GuardData>> guards = new HashMap<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	887 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	888 for (GuardExpression exp : specialization.getGuards()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	889 guards.put(exp.getGuardName(), null);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	890 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	891 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	892
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	893 GuardParser parser = new GuardParser(context, node, null, guards.keySet());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	894 List<GuardData> resolvedGuards = parser.parse(elements);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	895 for (GuardData guard : resolvedGuards) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	896 List<GuardData> groupedGuards = guards.get(guard.getMethodName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	897 if (groupedGuards == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	898 groupedGuards = new ArrayList<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	899 guards.put(guard.getMethodName(), groupedGuards);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	900 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	901 groupedGuards.add(guard);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	902 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	903
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	904 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	905 for (GuardExpression exp : specialization.getGuards()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	906 resolveGuardExpression(node, specialization, guards, exp);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	907 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	908 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	909 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	910
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	911 private void resolveGuardExpression(NodeData node, TemplateMethod source, Map<String, List<GuardData>> guards, GuardExpression expression) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	912 List<GuardData> availableGuards = guards.get(expression.getGuardName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	913 if (availableGuards == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	914 source.addError("No compatible guard with method name '%s' found. Please note that all signature types of the method guard must be declared in the type system.", expression.getGuardName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	915 return;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	916 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	917 List<ExecutableElement> guardMethods = new ArrayList<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	918 for (GuardData guard : availableGuards) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	919 guardMethods.add(guard.getMethod());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	920 }
16830 c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16819 diff changeset	921 GuardParser parser = new GuardParser(context, node, source, null);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	922 List<GuardData> matchingGuards = parser.parse(guardMethods);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	923 if (!matchingGuards.isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	924 GuardData guard = matchingGuards.get(0);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	925 // use the shared instance of the guard data
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	926 for (GuardData guardData : availableGuards) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	927 if (guardData.getMethod() == guard.getMethod()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	928 expression.setGuard(guardData);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	929 return;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	930 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	931 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	932 throw new AssertionError("Should not reach here.");
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	933 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	934 MethodSpec spec = parser.createSpecification(source.getMethod(), source.getMarkerAnnotation());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	935 spec.applyTypeDefinitions("types");
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	936 source.addError("No guard with name '%s' matched the required signature. Expected signature: %n%s", expression.getGuardName(), spec.toSignatureString("guard"));
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	937 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	938 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	939
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	940 private void initializeGeneric(final NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	941 if (!node.needsRewrites(context)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	942 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	943 }
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	944
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	945 List<SpecializationData> generics = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	946 for (SpecializationData spec : node.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	947 if (spec.isGeneric()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	948 generics.add(spec);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	949 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	950 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	951
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	952 if (generics.size() == 1 && node.getSpecializations().size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	953 // TODO this limitation should be lifted
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	954 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	955 generic.addError("@%s defined but no @%s.", Fallback.class.getSimpleName(), Specialization.class.getSimpleName());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	956 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	957 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	958
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	959 if (generics.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	960 node.getSpecializations().add(createGenericSpecialization(node));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	961 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	962 if (generics.size() > 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	963 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	964 generic.addError("Only one @%s is allowed per operation.", Fallback.class.getSimpleName());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	965 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	966 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	967 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	968 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	969
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	970 private SpecializationData createGenericSpecialization(final NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	971 GenericParser parser = new GenericParser(context, node);
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	972 MethodSpec specification = parser.createDefaultMethodSpec(node.getSpecializations().iterator().next().getMethod(), null, true, null);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	973
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	974 List<TypeMirror> parameterTypes = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	975 int signatureIndex = 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	976 for (ParameterSpec spec : specification.getRequired()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	977 parameterTypes.add(createGenericType(spec, node.getSpecializations(), signatureIndex));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	978 if (spec.isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	979 signatureIndex++;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	980 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	981 }
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	982
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	983 TypeMirror returnType = createGenericType(specification.getReturnType(), node.getSpecializations(), 0);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	984 SpecializationData generic = parser.create("Generic", TemplateMethod.NO_NATURAL_ORDER, null, null, returnType, parameterTypes);
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	985 if (generic == null) {
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	986 throw new RuntimeException("Unable to create generic signature for node " + node.getNodeId() + " with " + parameterTypes + ". Specification " + specification + ".");
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	987 }
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	988
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	989 return generic;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	990 }
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	991
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	992 private TypeMirror createGenericType(ParameterSpec spec, List<SpecializationData> specializations, int signatureIndex) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	993 NodeExecutionData execution = spec.getExecution();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	994 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	995 if (spec.getAllowedTypes().size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	996 return spec.getAllowedTypes().get(0);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	997 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	998 return ElementUtils.getCommonSuperType(context, spec.getAllowedTypes().toArray(new TypeMirror[0]));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	999 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1000 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1001 Set<TypeData> types = new HashSet<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1002 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1003 types.add(specialization.getTypeSignature().get(signatureIndex));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1004 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1005
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1006 NodeChildData child = execution.getChild();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1007 TypeData genericType = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1008 if (types.size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1009 ExecutableTypeData executable = child.findExecutableType(context, types.iterator().next());
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1010 if (executable != null && (signatureIndex == 0 \|\| !executable.hasUnexpectedValue(context))) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1011 genericType = types.iterator().next();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1012 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1013 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1014 if (genericType == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1015 genericType = child.findAnyGenericExecutableType(context).getType();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1016 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1017 return genericType.getPrimitiveType();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1018 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1019 }
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	1020
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1021 private static void initializeUninitialized(final NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1022 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1023 if (generic == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1024 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1025 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1026 for (Parameter parameter : generic.getReturnTypeAndParameters()) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1027 if (ElementUtils.isObject(parameter.getType())) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1028 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1029 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1030 Set<String> types = new HashSet<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1031 for (SpecializationData specialization : node.getSpecializations()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1032 Parameter actualParameter = specialization.findParameter(parameter.getLocalName());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1033 if (actualParameter != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1034 types.add(ElementUtils.getQualifiedName(actualParameter.getType()));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1035 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1036 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1037 if (types.size() > 1) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1038 generic.replaceParameter(parameter.getLocalName(), new Parameter(parameter, node.getTypeSystem().getGenericTypeData()));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1039 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1040 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1041 TemplateMethod uninializedMethod = new TemplateMethod("Uninitialized", -1, node, generic.getSpecification(), null, null, generic.getReturnType(), generic.getParameters());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1042 // should not use messages from generic specialization
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1043 uninializedMethod.getMessages().clear();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1044 node.getSpecializations().add(new SpecializationData(node, uninializedMethod, SpecializationKind.UNINITIALIZED));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1045 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1046
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1047 private void initializePolymorphism(NodeData node) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1048 if (!node.needsRewrites(context)) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1049 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1050 }
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	1051
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1052 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1053
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1054 List<TypeData> polymorphicSignature = new ArrayList<>();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1055 List<Parameter> updatePolymorphic = Arrays.asList();
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1056 for (Parameter genericParameter : updatePolymorphic) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1057 if (!genericParameter.getSpecification().isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1058 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1059 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1060
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1061 Set<TypeData> usedTypes = new HashSet<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1062 for (SpecializationData specialization : node.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1063 if (!specialization.isSpecialized()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1064 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1065 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1066 Parameter parameter = specialization.findParameter(genericParameter.getLocalName());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1067 if (parameter == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1068 throw new AssertionError("Parameter existed in generic specialization but not in specialized. param = " + genericParameter.getLocalName());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1069 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1070 usedTypes.add(parameter.getTypeSystemType());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1071 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1072
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1073 TypeData polymorphicType;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1074 if (usedTypes.size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1075 polymorphicType = usedTypes.iterator().next();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1076 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1077 polymorphicType = node.getTypeSystem().getGenericTypeData();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1078 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1079 polymorphicSignature.add(polymorphicType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1080 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1081
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1082 SpecializationData polymorphic = new SpecializationData(node, generic, SpecializationKind.POLYMORPHIC);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1083 polymorphic.updateSignature(new TypeSignature(polymorphicSignature));
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1084 node.getSpecializations().add(polymorphic);
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	1085 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1087 private void initializeShortCircuits(NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1088 Map<String, List<ShortCircuitData>> groupedShortCircuits = groupShortCircuits(node.getShortCircuits());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1089
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1090 boolean valid = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1091 List<NodeExecutionData> shortCircuitExecutions = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1092 for (NodeExecutionData execution : node.getChildExecutions()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1093 if (!execution.isShortCircuit()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1094 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1095 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1096 shortCircuitExecutions.add(execution);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1097 String valueName = execution.getShortCircuitId();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1098 List<ShortCircuitData> availableCircuits = groupedShortCircuits.get(valueName);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1099
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1100 if (availableCircuits == null \|\| availableCircuits.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1101 node.addError("@%s method for short cut value '%s' required.", ShortCircuit.class.getSimpleName(), valueName);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1102 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1103 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1104 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1105
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1106 boolean sameMethodName = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1107 String methodName = availableCircuits.get(0).getMethodName();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1108 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1109 if (!circuit.getMethodName().equals(methodName)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1110 sameMethodName = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1111 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1112 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1113
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1114 if (!sameMethodName) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1115 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1116 circuit.addError("All short circuits for short cut value '%s' must have the same method name.", valueName);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1117 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1118 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1119 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1120 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1121
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1122 ShortCircuitData genericCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1123 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1124 if (isGenericShortCutMethod(circuit)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1125 genericCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1126 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1127 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1128 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1129
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1130 if (genericCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1131 node.addError("No generic @%s method available for short cut value '%s'.", ShortCircuit.class.getSimpleName(), valueName);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1132 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1133 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1134 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1135
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1136 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1137 if (circuit != genericCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1138 circuit.setGenericShortCircuitMethod(genericCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1139 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1140 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1141 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1142
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1143 if (!valid) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1144 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	1145 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1146
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1147 List<SpecializationData> specializations = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1148 specializations.addAll(node.getSpecializations());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1149 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1150 List<ShortCircuitData> assignedShortCuts = new ArrayList<>(shortCircuitExecutions.size());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1151
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1152 for (NodeExecutionData shortCircuit : shortCircuitExecutions) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1153 List<ShortCircuitData> availableShortCuts = groupedShortCircuits.get(shortCircuit.getShortCircuitId());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1154
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1155 ShortCircuitData genericShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1156 ShortCircuitData compatibleShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1157 for (ShortCircuitData circuit : availableShortCuts) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1158 if (circuit.isGeneric()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1159 genericShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1160 } else if (circuit.isCompatibleTo(specialization)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1161 compatibleShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1162 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1163 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1164
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1165 if (compatibleShortCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1166 compatibleShortCircuit = genericShortCircuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1167 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1168 assignedShortCuts.add(compatibleShortCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1169 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1170 specialization.setShortCircuits(assignedShortCuts);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1171 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1172 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1173
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1174 private boolean isGenericShortCutMethod(ShortCircuitData method) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1175 for (Parameter parameter : method.getParameters()) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1176 NodeExecutionData execution = parameter.getSpecification().getExecution();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1177 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1178 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1179 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1180 ExecutableTypeData found = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1181 List<ExecutableTypeData> executableElements = execution.getChild().findGenericExecutableTypes(context);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1182 for (ExecutableTypeData executable : executableElements) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1183 if (executable.getType().equalsType(parameter.getTypeSystemType())) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1184 found = executable;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1185 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1186 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1187 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1188 if (found == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1189 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1190 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1191 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1192 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1193 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1194
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1195 private static Map<String, List<ShortCircuitData>> groupShortCircuits(List<ShortCircuitData> shortCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1196 Map<String, List<ShortCircuitData>> group = new HashMap<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1197 for (ShortCircuitData shortCircuit : shortCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1198 List<ShortCircuitData> circuits = group.get(shortCircuit.getValueName());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1199 if (circuits == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1200 circuits = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1201 group.put(shortCircuit.getValueName(), circuits);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1202 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1203 circuits.add(shortCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1204 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1205 return group;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1206 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1207
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1208 private static boolean verifySpecializationSameLength(NodeData nodeData) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1209 int lastArgs = -1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1210 for (SpecializationData specializationData : nodeData.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1211 int signatureArgs = specializationData.getSignatureSize();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1212 if (lastArgs == signatureArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1213 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1214 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1215 if (lastArgs != -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1216 for (SpecializationData specialization : nodeData.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1217 specialization.addError("All specializations must have the same number of arguments.");
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1218 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1219 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1220 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1221 lastArgs = signatureArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1222 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1223 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1224 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1225 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1226
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1227 private static void verifyVisibilities(NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1228 if (node.getTemplateType().getModifiers().contains(Modifier.PRIVATE) && node.getSpecializations().size() > 0) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1229 node.addError("Classes containing a @%s annotation must not be private.", Specialization.class.getSimpleName());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1230 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1231 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1232
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	1233 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	1234 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	1235 // 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	1236 // 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	1237 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	1238 }
79041ab43660 Truffle-DSL: 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 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	1241 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	1242 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	1243 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	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
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	1246 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	1247 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	1248 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	1249 }
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	1250 }
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	1251
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	1252 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	1253 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	1254 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	1255 }
79041ab43660 Truffle-DSL: 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 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	1259 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1260 nodeData.addError("The type %s must implement the inherited abstract method %s.", ElementUtils.getSimpleName(nodeData.getTemplateType()),
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1261 ElementUtils.getReadableSignature(unusedMethod));
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	1262 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1266 private static void verifyNamingConvention(List<? extends TemplateMethod> methods, String prefix) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1267 for (int i = 0; i < methods.size(); i++) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1268 TemplateMethod m1 = methods.get(i);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1269 if (m1.getMethodName().length() < 3 \|\| !m1.getMethodName().startsWith(prefix)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1270 m1.addError("Naming convention: method name must start with '%s'.", prefix);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1271 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1272 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1273 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1274
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1275 private static void verifySpecializationThrows(NodeData node) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1276 Map<String, SpecializationData> specializationMap = new HashMap<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1277 for (SpecializationData spec : node.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1278 specializationMap.put(spec.getMethodName(), spec);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1279 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1280 for (SpecializationData sourceSpecialization : node.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1281 if (sourceSpecialization.getExceptions() != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1282 for (SpecializationThrowsData throwsData : sourceSpecialization.getExceptions()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1283 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1284 if (otherThrowsData != throwsData && ElementUtils.typeEquals(otherThrowsData.getJavaClass(), throwsData.getJavaClass())) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1285 throwsData.addError("Duplicate exception type.");
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1286 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1287 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1288 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1289 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1290 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1291 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1292
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	1293 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	1294 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	1295 // 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	1296 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	1297 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1298
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1299 TypeElement type = ElementUtils.fromTypeMirror(nodeData.getNodeType());
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	1300 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	1301
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1302 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	1303 for (ExecutableElement constructor : constructors) {
11742 85b846b31690 Truffle-DSL: automatically generate copy constructor if super constructor expects only SourceSection parameter. Andreas Woess <andreas.woess@jku.at> parents: 11545 diff changeset	1304 if (!constructor.getParameters().isEmpty() && !isSourceSectionConstructor(context, constructor)) {
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	1305 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	1306 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1307 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1308 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	1309 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	1310 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1311 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	1312 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	1313 TypeMirror firstArg = e.getParameters().get(0).asType();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1314 if (ElementUtils.typeEquals(firstArg, nodeData.getNodeType())) {
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	1315 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	1316 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	1317 } 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	1318 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	1319 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1320 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	1321 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1322 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1323 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1324
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1325 // not found
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1326 nodeData.addError("Specialization constructor '%s(%s previousNode) { this(...); }' is required.", ElementUtils.getSimpleName(type), ElementUtils.getSimpleName(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	1327 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1328
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1329 public static boolean isSourceSectionConstructor(ProcessorContext context, ExecutableElement constructor) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1330 return constructor.getParameters().size() == 1 && ElementUtils.typeEquals(constructor.getParameters().get(0).asType(), context.getTruffleTypes().getSourceSection());
11742 85b846b31690 Truffle-DSL: automatically generate copy constructor if super constructor expects only SourceSection parameter. Andreas Woess <andreas.woess@jku.at> parents: 11545 diff changeset	1331 }
85b846b31690 Truffle-DSL: automatically generate copy constructor if super constructor expects only SourceSection parameter. Andreas Woess <andreas.woess@jku.at> parents: 11545 diff changeset	1332
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	1333 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	1334 for (Element element : elements) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1335 AnnotationMirror mirror = ElementUtils.findAnnotationMirror(processingEnv, element, annotation);
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	1336 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	1337 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	1338 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1339 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1340 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	1341 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1342
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1343 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	1344 TypeMirror inhertNodeType = context.getTruffleTypes().getNode();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1345 TypeMirror value = ElementUtils.getAnnotationValue(TypeMirror.class, annotation, valueName);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1346 if (ElementUtils.typeEquals(inhertNodeType, value)) {
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	1347 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	1348 } 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	1349 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	1350 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1351 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1352
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	1353 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	1354 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	1355 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	1356 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1357 String methodName;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1358 if (ElementUtils.typeEquals(type, context.getType(boolean.class))) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1359 methodName = "is" + ElementUtils.firstLetterUpperCase(variableName);
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	1360 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1361 methodName = "get" + ElementUtils.firstLetterUpperCase(variableName);
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	1362 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1363
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1364 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1365 if (method.getSimpleName().toString().equals(methodName) && method.getParameters().size() == 0 && ElementUtils.isAssignable(type, method.getReturnType())) {
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	1366 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	1367 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1368 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1369 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	1370 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1371
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1372 private static List<TypeElement> collectSuperClasses(List<TypeElement> collection, TypeElement element) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1373 if (element != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1374 collection.add(element);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1375 if (element.getSuperclass() != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1376 collectSuperClasses(collection, ElementUtils.fromTypeMirror(element.getSuperclass()));
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	1377 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1378 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1379 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	1380 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1381
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1382 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/NodeParser.java @ 16834:21e0ab3c1395