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 @ 18776:c0fb70634640

Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way.

author	Christian Humer <christian.humer@gmail.com>
date	Mon, 05 Jan 2015 01:31:08 +0100
parents	a069a87b9a02
children	941761f6b736

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 @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	49 protected NodeData parse(Element element, AnnotationMirror mirror) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	50 NodeData node = parseRootType((TypeElement) element);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	51 if (Log.isDebug() && node != null) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	52 String dump = node.dump();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	53 log.message(Kind.ERROR, null, null, null, dump);
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	54 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 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	56 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57
79041ab43660 Truffle-DSL: 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 @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	59 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	60 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	61 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	62 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	63 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	64 }
79041ab43660 Truffle-DSL: 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 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	67 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	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 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	70 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 @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	73 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	74 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	75 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76
79041ab43660 Truffle-DSL: 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 @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	78 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	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
79041ab43660 Truffle-DSL: 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 @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	83 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	84 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	85 }
79041ab43660 Truffle-DSL: 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
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	87 private NodeData parseRootType(TypeElement rootType) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	88 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	89 for (TypeElement enclosedType : ElementFilter.typesIn(rootType.getEnclosedElements())) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	90 NodeData enclosedChild = parseRootType(enclosedType);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	91 if (enclosedChild != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	92 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	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 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	95 NodeData node = parseNode(rootType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	96 if (node == null && !enclosedNodes.isEmpty()) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	97 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	100 if (node != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	101 for (NodeData enclosedNode : enclosedNodes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	102 node.addEnclosedNode(enclosedNode);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	103 }
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	104 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	105 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	106 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 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	109 // 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	110 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	111
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	112 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	113 // 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	114 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	115 }
79041ab43660 Truffle-DSL: 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
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	117 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	118 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	119 }
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	120
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	121 List<TypeElement> lookupTypes = collectSuperClasses(new ArrayList<TypeElement>(), templateType);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	122 List<Element> members = loadMembers(templateType);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	123 // ensure the processed element has at least one @Specialization annotation.
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	124 if (!containsSpecializations(members)) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	125 return null;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	126 }
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	127
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	128 NodeData node = parseNodeData(templateType, lookupTypes);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	129
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	130 node.getAssumptions().addAll(parseAssumptions(lookupTypes));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	131 node.getFields().addAll(parseFields(lookupTypes, members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	132 node.getChildren().addAll(parseChildren(lookupTypes, members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	133 node.getChildExecutions().addAll(parseExecutions(node.getChildren(), members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	134 node.setExecutableTypes(groupExecutableTypes(new ExecutableTypeMethodParser(context, node, context.getFrameTypes()).parse(members)));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	135
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	136 initializeExecutableTypes(node);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	137 initializeImportGuards(node, lookupTypes, members);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	138
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 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	140 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	141 }
79041ab43660 Truffle-DSL: 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 initializeChildren(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	144
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	145 if (node.hasErrors()) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	146 return node; // error sync point
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	147 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	148
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	149 node.getSpecializations().addAll(new SpecializationMethodParser(context, node).parse(members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	150 node.getSpecializations().addAll(new GenericParser(context, node).parse(members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	151 node.getCasts().addAll(new CreateCastParser(context, node).parse(members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	152 node.getShortCircuits().addAll(new ShortCircuitParser(context, node).parse(members));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	153
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	154 if (node.hasErrors()) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	155 return node; // error sync point
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	156 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	157
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	158 verifySpecializationSameLength(node);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	159 initializeSpecializations(members, node);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	160 initializeShortCircuits(node); // requires specializations and polymorphic specializations
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	161
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	162 verifyVisibilities(node);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	163 verifyMissingAbstractMethods(node, members);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	164 verifyConstructors(node);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	165 verifyNamingConvention(node.getShortCircuits(), "needs");
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	166 verifySpecializationThrows(node);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	167 return node;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	168 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	169
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	170 private ArrayList<Element> loadMembers(TypeElement templateType) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	171 return new ArrayList<>(CompilerFactory.getCompiler(templateType).getAllMembersInDeclarationOrder(context.getEnvironment(), templateType));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	172 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	173
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	174 private boolean containsSpecializations(List<Element> elements) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	175 boolean foundSpecialization = false;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	176 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	177 if (ElementUtils.findAnnotationMirror(processingEnv, method, Specialization.class) != null) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	178 foundSpecialization = true;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	179 break;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	180 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	181 }
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	182 return foundSpecialization;
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	183 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	185 private void initializeImportGuards(NodeData node, List<TypeElement> lookupTypes, List<Element> elements) {
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	186 for (TypeElement lookupType : lookupTypes) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	187 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	188 if (importAnnotation == null) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	189 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	190 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	191 AnnotationValue importClassesValue = ElementUtils.getAnnotationValue(importAnnotation, "value");
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	192 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	193 if (importClasses.isEmpty()) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	194 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	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 for (TypeMirror importGuardClass : importClasses) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	198 if (importGuardClass.getKind() != TypeKind.DECLARED) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	199 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	200 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	201 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	202 TypeElement typeElement = ElementUtils.fromTypeMirror(importGuardClass);
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	203
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	204 // hack to reload type is necessary for incremental compiling in eclipse.
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	205 // otherwise methods inside of import guard types are just not found.
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	206 typeElement = ElementUtils.fromTypeMirror(context.reloadType(typeElement.asType()));
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	207
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	208 if (typeElement.getEnclosingElement().getKind().isClass() && !typeElement.getModifiers().contains(Modifier.PUBLIC)) {
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	209 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	210 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	211 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	212
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	213 List<? extends ExecutableElement> importMethods = ElementFilter.methodsIn(processingEnv.getElementUtils().getAllMembers(typeElement));
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	214
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	215 for (ExecutableElement importMethod : importMethods) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	216 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	217 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	218 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	219 elements.add(importMethod);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	220 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	221 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	222 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	223 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	224
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	225 private NodeData parseNodeData(TypeElement templateType, 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	226 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	227 if (typeSystemMirror == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	228 NodeData nodeData = new NodeData(context, templateType);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	229 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	230 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	231 }
79041ab43660 Truffle-DSL: 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
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	233 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	234 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	235 if (typeSystem == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	236 NodeData nodeData = new NodeData(context, templateType);
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	237 nodeData.addError("The used type system '%s' is invalid. Fix errors in the type system first.", 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	238 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	239 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	240
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	241 AnnotationMirror nodeInfoMirror = findFirstAnnotation(typeHierarchy, NodeInfo.class);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	242 String shortName = null;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	243 if (nodeInfoMirror != null) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	244 shortName = ElementUtils.getAnnotationValue(String.class, nodeInfoMirror, "shortName");
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	245 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	246 boolean useNodeFactory = findFirstAnnotation(typeHierarchy, GenerateNodeFactory.class) != null;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	247 return new NodeData(context, templateType, shortName, typeSystem, useNodeFactory);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	248
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	249 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	250
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	251 private List<String> parseAssumptions(List<TypeElement> typeHierarchy) {
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252 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	253 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	254 TypeElement type = typeHierarchy.get(i);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	255 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	256 if (assumptions != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	257 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	258 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	259 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	260 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	261 }
79041ab43660 Truffle-DSL: 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 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	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 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	265 }
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	266 return assumptionsList;
13527 25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	267 }
25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	268
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	269 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	270 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	271
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 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	273 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	274 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	275 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	276 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 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	278 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	279 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	280 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	281 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	282 }
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	283
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 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	285 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	286 for (TypeElement typeElement : reversedTypeHierarchy) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	287 AnnotationMirror nodeChildrenMirror = ElementUtils.findAnnotationMirror(processingEnv, typeElement, NodeFields.class);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	288 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	289
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 for (AnnotationMirror mirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	291 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	292 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	293
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 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	295 if (name.isEmpty()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	296 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	297 } else if (names.contains(name)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	298 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	299 }
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	300 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	301
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	302 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	303 }
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	304 }
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	305
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	306 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	307 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	308 }
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	309
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	310 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	311 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	313 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	314 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	315 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	316 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	317 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	318 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	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 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	322 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	323 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	324 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	325 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	326 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	327 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	328 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	329 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	330 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	335 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	336 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	337 for (TypeElement type : typeHierarchyReversed) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	338 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	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 TypeMirror nodeClassType = type.getSuperclass();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	341 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	342 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	343 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	344
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	345 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	346 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	347 for (AnnotationMirror childMirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	348 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	349 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	350 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	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 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	354
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 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	356 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	357 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	358 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 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	361 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	362 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	363 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	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
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 Element getter = findGetter(elements, name, childType);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	367 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	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 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	370
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	371 if (nodeChild.getNodeType() == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	372 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	373 }
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	374 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	375 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	376 }
79041ab43660 Truffle-DSL: 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
11183 0f5ff66a949d Truffle-DSL: Fixed a bug with anonymous children (GRAAL-321 #resolve) Christian Humer <christian.humer@gmail.com> parents: 11180 diff changeset	378 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	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 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	381
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	382 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	383 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	384 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	385 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	386 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	387 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	388 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	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
79041ab43660 Truffle-DSL: 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 for (NodeChildData child : filteredChildren) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	393 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	394 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	395 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	396 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	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 (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	399 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	400 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	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 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	404 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	405 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	406 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	407 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	408 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	409 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 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	411 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	412 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	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 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	417 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	418 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	419 } 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	420 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	421 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	422 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	423 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 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	425 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 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	427 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	428 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	429 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 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	433 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	435 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	436 if (children == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	437 return null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	438 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	439
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	440 // pre-parse short circuits
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	441 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	442 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	443 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	444 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	445 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	446 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	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 boolean hasVarArgs = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	451 int maxSignatureSize = 0;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	452 if (!children.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	453 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	454 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	455 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	456 maxSignatureSize = lastIndex;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	457 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	458 maxSignatureSize = children.size();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	459 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	460 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	461
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	462 List<TypeMirror> frameTypes = context.getFrameTypes();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	463 // pre-parse specializations to find signature size
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	464 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	465 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	466 if (mirror == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	467 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	468 }
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	469
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	470 int currentArgumentIndex = 0;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	471 boolean skipShortCircuit = false;
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	472 outer: for (VariableElement var : method.getParameters()) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	473 TypeMirror type = var.asType();
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	474 if (currentArgumentIndex == 0) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	475 // skip optionals
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	476 for (TypeMirror frameType : frameTypes) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	477 if (ElementUtils.typeEquals(type, frameType)) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	478 continue outer;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	479 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	480 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	481 }
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	482 int childIndex = currentArgumentIndex < children.size() ? currentArgumentIndex : children.size() - 1;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	483 if (childIndex == -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	484 continue;
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 if (!skipShortCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	487 NodeChildData child = children.get(childIndex);
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	488 if (shortCircuits.contains(NodeExecutionData.createShortCircuitId(child, currentArgumentIndex - childIndex))) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	489 skipShortCircuit = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	490 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	491 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	492 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	493 skipShortCircuit = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	494 }
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	495
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	496 currentArgumentIndex++;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	497 }
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	498 maxSignatureSize = Math.max(maxSignatureSize, currentArgumentIndex);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	499 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	500
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	501 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	502 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	503 int childIndex = i;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	504 boolean varArg = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	505 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	506 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	507 childIndex = children.size() - 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	508 varArg = hasVarArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	509 } 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	510 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	511 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	512 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	513 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	514 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	515 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	516 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	517 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	518 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	519 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	520
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	521 private void initializeExecutableTypes(NodeData node) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	522 List<ExecutableTypeData> genericExecutes = node.findGenericExecutableTypes(context, 0);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	523 List<ExecutableTypeData> allExecutes = node.getExecutableTypes();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	524
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	525 Set<String> inconsistentFrameTypes = new HashSet<>();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	526 TypeMirror frameType = null;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	527 Set<Integer> evaluatedCounts = new HashSet<>();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	528 for (ExecutableTypeData execute : allExecutes) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	529 evaluatedCounts.add(execute.getEvaluatedCount());
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	530
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	531 Parameter frame = execute.getFrame();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	532 TypeMirror resolvedFrameType;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	533 if (frame == null) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	534 resolvedFrameType = node.getTypeSystem().getVoidType().getPrimitiveType();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	535 } else {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	536 resolvedFrameType = frame.getType();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	537 }
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	538
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	539 if (frameType == null) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	540 frameType = resolvedFrameType;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	541 } else {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	542 if (!ElementUtils.typeEquals(frameType, resolvedFrameType)) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	543 // found inconsistent frame types
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	544 inconsistentFrameTypes.add(ElementUtils.getSimpleName(frameType));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	545 inconsistentFrameTypes.add(ElementUtils.getSimpleName(resolvedFrameType));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	546 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	547 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	548 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	549 if (!inconsistentFrameTypes.isEmpty()) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	550 // ensure they are sorted somehow
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	551 List<String> inconsistentFrameTypesList = new ArrayList<>(inconsistentFrameTypes);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	552 Collections.sort(inconsistentFrameTypesList);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	553 node.addError("Invalid inconsistent frame types %s found for the declared execute methods. The frame type must be identical for all execute methods.", inconsistentFrameTypesList);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	554 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	555 node.setFrameType(frameType);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	556
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	557 int nonFinalCount = 0;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	558 int voidCount = 0;
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	559 for (ExecutableTypeData executableTypeData : genericExecutes) {
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	560 if (!executableTypeData.getMethod().getModifiers().contains(Modifier.FINAL)) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	561 nonFinalCount++;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	562 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	563 if (ElementUtils.isVoid(executableTypeData.getReturnType().getType())) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	564 voidCount++;
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	565 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	566 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	567
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	568 // no generic executes
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	569 if (nonFinalCount == 0 && voidCount == 0) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	570 node.addError("No accessible and overridable generic execute method found. Generic execute methods usually have the "
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	571 + "signature 'public abstract {Type} execute(VirtualFrame)' and must not throw any checked exceptions.");
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	572 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	573
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	574 // multiple generic execute
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	575 if (voidCount > 1 \|\| (nonFinalCount - voidCount) > 1) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	576 List<String> methodSignatures = new ArrayList<>();
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	577 for (ExecutableTypeData type : genericExecutes) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	578 methodSignatures.add(type.createReferenceName());
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	579 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	580 node.addWarning("Multiple accessible and overridable generic execute methods found %s. Remove all but one or mark all but one as final.", methodSignatures);
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	581 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	582 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	583
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	584 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	585 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	586 for (ExecutableTypeData type : executableTypes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	587 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	588
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	589 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	590 if (types == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	591 types = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	592 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	593 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	594 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	595 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	596
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	597 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	598 Collections.sort(types);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	599 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	600 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	601 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	602
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	603 private void initializeChildren(NodeData node) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	604 for (NodeChildData child : node.getChildren()) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	605 TypeMirror nodeType = child.getNodeType();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	606 NodeData fieldNodeData = parseChildNodeData(node, ElementUtils.fromTypeMirror(nodeType));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	607
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	608 child.setNode(fieldNodeData);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	609 if (fieldNodeData == null \|\| fieldNodeData.hasErrors()) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	610 child.addError("Node type '%s' is invalid or not a subclass of Node.", ElementUtils.getQualifiedName(nodeType));
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	611 } else if (!ElementUtils.typeEquals(fieldNodeData.getTypeSystem().getTemplateType().asType(), (node.getTypeSystem().getTemplateType().asType()))) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	612 child.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	613 NodeChild.class.getSimpleName(), ElementUtils.getSimpleName(node.getTypeSystem().getTemplateType()),
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	614 ElementUtils.getSimpleName(fieldNodeData.getTypeSystem().getTemplateType()));
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	615 } else {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	616 List<ExecutableTypeData> types = child.findGenericExecutableTypes(context);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	617 if (types.isEmpty()) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	618 AnnotationValue executeWithValue = ElementUtils.getAnnotationValue(child.getMessageAnnotation(), "executeWith");
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	619 child.addError(executeWithValue, "No generic execute method found with %s evaluated arguments for node type %s and frame types %s.", child.getExecuteWith().size(),
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	620 ElementUtils.getSimpleName(nodeType), ElementUtils.getUniqueIdentifiers(createAllowedChildFrameTypes(node)));
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	621 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	622 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	623 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	624 }
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	625
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	626 private NodeData parseChildNodeData(NodeData parentNode, TypeElement originalTemplateType) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	627 TypeElement templateType = ElementUtils.fromTypeMirror(context.reloadTypeElement(originalTemplateType));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	628
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	629 if (ElementUtils.findAnnotationMirror(processingEnv, originalTemplateType, GeneratedBy.class) != null) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	630 // generated nodes should not get called again.
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	631 return null;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	632 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	633
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	634 if (!ElementUtils.isAssignable(templateType.asType(), context.getTruffleTypes().getNode())) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	635 return null;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	636 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	637
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	638 List<TypeElement> lookupTypes = collectSuperClasses(new ArrayList<TypeElement>(), templateType);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	639
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	640 // Declaration order is not required for child nodes.
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	641 List<? extends Element> members = processingEnv.getElementUtils().getAllMembers(templateType);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	642 NodeData node = parseNodeData(templateType, lookupTypes);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	643
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	644 node.setExecutableTypes(groupExecutableTypes(new ExecutableTypeMethodParser(context, node, createAllowedChildFrameTypes(parentNode)).parse(members)));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	645 node.setFrameType(parentNode.getFrameType());
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	646 return node;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	647 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	648
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	649 private List<TypeMirror> createAllowedChildFrameTypes(NodeData parentNode) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	650 List<TypeMirror> allowedFrameTypes = new ArrayList<>();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	651 for (TypeMirror frameType : context.getFrameTypes()) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	652 if (ElementUtils.isAssignable(parentNode.getFrameType(), frameType)) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	653 allowedFrameTypes.add(frameType);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	654 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	655 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	656 return allowedFrameTypes;
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	657 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	658
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	659 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	660 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	661 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	662 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	663
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	664 initializeGuards(elements, node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	665 initializeGeneric(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	666 initializeUninitialized(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	667 initializeOrder(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	668 initializePolymorphism(node); // requires specializations
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	669 initializeReachability(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	670 initializeContains(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	671
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	672 if (!node.hasErrors() && !node.getTypeSystem().getOptions().useNewLayout()) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	673 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	674 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	675 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	676
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	677 if (node.getTypeSystem().getOptions().useNewLayout()) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	678 List<SpecializationData> specializations = node.getSpecializations();
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	679 for (SpecializationData cur : specializations) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	680 for (SpecializationData child : specializations) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	681 if (child != null && child != cur && child.getContains().contains(cur)) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	682 cur.getExcludedBy().add(child);
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	683 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	684 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	685 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	686 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	687
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	688 // verify specialization parameter length
18771 15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	689 initializeSpecializationIdsWithMethodNames(node.getSpecializations());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	690 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	691
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	692 private static void initializeOrder(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	693 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	694 Collections.sort(specializations);
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 for (SpecializationData specialization : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	697 String searchName = specialization.getInsertBeforeName();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	698 if (searchName == null \|\| specialization.getMethod() == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	699 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	700 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	701 SpecializationData found = lookupSpecialization(node, searchName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	702 if (found == null \|\| found.getMethod() == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	703 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	704 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	705 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	706 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	707
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	708 ExecutableElement currentMethod = specialization.getMethod();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	709 ExecutableElement insertBeforeMethod = found.getMethod();
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 TypeMirror currentEnclosedType = currentMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	712 TypeMirror insertBeforeEnclosedType = insertBeforeMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	713
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	714 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	715 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	716 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	717 continue;
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
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	720 specialization.setInsertBefore(found);
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
16764 f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	723 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	724 SpecializationData specialization = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	725 SpecializationData insertBefore = specialization.getInsertBefore();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	726 if (insertBefore != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	727 int insertIndex = specializations.indexOf(insertBefore);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	728 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	729 specializations.remove(i);
f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	730 specializations.add(insertIndex, specialization);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	731 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	732 }
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 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	736 specializations.get(i).setIndex(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	737 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	738 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	739
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	740 private static void initializeExceptions(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	741 List<SpecializationData> specializations = node.getSpecializations();
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	742
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	743 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	744 SpecializationData cur = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	745 if (cur.getExceptions().isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	746 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	747 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	748 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	749
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	750 if (!cur.isContainedBy(next)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	751 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	752 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	753 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	754 }
16767 38d243eaad41 Truffle-DSL: fixed findbugs error. Christian Humer <christian.humer@gmail.com> parents: 16764 diff changeset	755 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	756 if (!nextContains.contains(cur)) {
38d243eaad41 Truffle-DSL: fixed findbugs error. Christian Humer <christian.humer@gmail.com> parents: 16764 diff changeset	757 nextContains.add(cur);
16755 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 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	760
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	761 for (SpecializationData cur : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	762 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	763 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	764 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	765 for (SpecializationData child : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	766 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	767 cur.getExcludedBy().add(child);
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 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	770 }
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	771
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	772 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	773
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	774 private static void initializeContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	775 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	776 Set<SpecializationData> resolvedSpecializations = specialization.getContains();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	777 resolvedSpecializations.clear();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	778 Set<String> includeNames = specialization.getContainsNames();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	779 for (String includeName : includeNames) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	780 // TODO reduce complexity of this lookup.
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	781 SpecializationData foundSpecialization = lookupSpecialization(node, includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	782
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	783 if (foundSpecialization == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	784 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	785 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	786 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	787 if (!foundSpecialization.isContainedBy(specialization)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	788 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	789 if (foundSpecialization.compareTo(specialization) > 0) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	790 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	791 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	792 specialization.addError(value,
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	793 "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	794 includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	795 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	796
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	797 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	798 resolvedSpecializations.add(foundSpecialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	799 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	800 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	801 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	802 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	803
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	804 private void resolveContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	805 // flatten transitive includes
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	806 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	807 if (specialization.getContains().isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	808 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	809 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	810 Set<SpecializationData> foundSpecializations = new HashSet<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	811 collectIncludes(specialization, foundSpecializations, new HashSet<SpecializationData>());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	812 specialization.getContains().addAll(foundSpecializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	813 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	814 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	815
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	816 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	817 SpecializationData foundSpecialization = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	818 for (SpecializationData searchSpecialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	819 if (searchSpecialization.getMethodName().equals(includeName)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	820 foundSpecialization = searchSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	821 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	822 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	823 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	824 return foundSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	825 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	826
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	827 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	828 if (visited.contains(specialization)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	829 // circle found
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	830 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	831 return;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	832 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	833 visited.add(specialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	834
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	835 for (SpecializationData included : specialization.getContains()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	836 collectIncludes(included, found, new HashSet<>(visited));
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	837 found.add(included);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	838 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	839 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	840
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	841 private static void initializeReachability(final NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	842 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	843 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	844 SpecializationData current = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	845 if (current.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	846 current.setReachable(true);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	847 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	848 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	849
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	850 List<SpecializationData> shadowedBy = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	851 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	852 SpecializationData prev = specializations.get(j);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	853 if (prev.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	854 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	855 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	856 if (!current.isReachableAfter(prev)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	857 if (shadowedBy == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	858 shadowedBy = new ArrayList<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	859 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	860 shadowedBy.add(prev);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	861 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	862 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	863
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	864 if (shadowedBy != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	865 StringBuilder name = new StringBuilder();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	866 String sep = "";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	867 for (SpecializationData shadowSpecialization : shadowedBy) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	868 name.append(sep);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	869 name.append(shadowSpecialization.createReferenceName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	870 sep = ", ";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	871 }
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	872 current.addError("%s is not reachable. It is shadowed by %s.", current.isFallback() ? "Generic" : "Specialization", name);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	873 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	874 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	875 }
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	876 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	877
18771 15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	878 private static void initializeSpecializationIdsWithMethodNames(List<SpecializationData> specializations) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	879 List<String> signatures = new ArrayList<>();
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	880 for (SpecializationData specialization : specializations) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	881 if (specialization.isFallback()) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	882 signatures.add("Fallback");
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	883 } else if (specialization.isUninitialized()) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	884 signatures.add("Uninitialized");
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	885 } else if (specialization.isPolymorphic()) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	886 signatures.add("Polymorphic");
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	887 } else {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	888 String name = specialization.getMethodName();
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	889
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	890 // hack for name clashes with BaseNode.
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	891 if (name.equalsIgnoreCase("base")) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	892 name = name + "0";
18773 7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	893 } else if (name.startsWith("do")) {
7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	894 String filteredDo = name.substring(2, name.length());
7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	895 if (!filteredDo.isEmpty() && Character.isJavaIdentifierStart(filteredDo.charAt(0))) {
7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	896 name = filteredDo;
7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	897 }
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	898 }
18771 15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	899 signatures.add(ElementUtils.firstLetterUpperCase(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	900 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	901 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	902
18771 15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	903 renameDuplicateIds(signatures);
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	904 for (int i = 0; i < specializations.size(); i++) {
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	905 specializations.get(i).setId(signatures.get(i));
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	906 }
15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	907 }
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	908
18771 15fe16c45d64 Truffle-DSL: changed specialization class naming scheme to use method name. This usually leads to shorter specialization class names. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	909 private static void renameDuplicateIds(List<String> signatures) {
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	910 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	911 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	912 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	913 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	914 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	915 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	916 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	917 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	918 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	919
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	920 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	921 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	922 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	923 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	924 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	925 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	926 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	927 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	928 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	929 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	930 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	931 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	932 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	933 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	934
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	935 private void initializeGuards(List<? extends Element> elements, NodeData node) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	936 Map<String, List<ExecutableElement>> potentialGuards = new HashMap<>();
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	937 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	938 for (GuardExpression exp : specialization.getGuards()) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	939 potentialGuards.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	940 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	941 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	942
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	943 TypeMirror booleanType = context.getType(boolean.class);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	944 for (ExecutableElement potentialGuard : ElementFilter.methodsIn(elements)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	945 if (potentialGuard.getModifiers().contains(Modifier.PRIVATE)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	946 continue;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	947 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	948 String methodName = potentialGuard.getSimpleName().toString();
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	949 if (!potentialGuards.containsKey(methodName)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	950 continue;
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	951 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	952
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	953 if (!ElementUtils.typeEquals(potentialGuard.getReturnType(), booleanType)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	954 continue;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	955 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	956
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	957 List<ExecutableElement> potentialMethods = potentialGuards.get(methodName);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	958 if (potentialMethods == null) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	959 potentialMethods = new ArrayList<>();
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	960 potentialGuards.put(methodName, potentialMethods);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	961 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	962 potentialMethods.add(potentialGuard);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	963 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	964
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	965 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	966 for (GuardExpression exp : specialization.getGuards()) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	967 resolveGuardExpression(node, specialization, potentialGuards, exp);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	968 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	969 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	970 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	971
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	972 private void resolveGuardExpression(NodeData node, TemplateMethod source, Map<String, List<ExecutableElement>> guards, GuardExpression expression) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	973 List<ExecutableElement> availableGuards = guards.get(expression.getGuardName());
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	974 if (availableGuards == null) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	975 source.addError("No compatible guard with method name '%s' found.", expression.getGuardName());
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	976 return;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	977 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	978
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	979 String[] childNames = expression.getChildNames();
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	980 if (childNames != null) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	981 NodeExecutionData[] resolvedExecutions = new NodeExecutionData[childNames.length];
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	982 for (int i = 0; i < childNames.length; i++) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	983 String childName = childNames[i];
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	984 NodeExecutionData execution = node.findExecutionByExpression(childName);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	985 if (execution == null) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	986 source.addError("Guard parameter '%s' for guard '%s' could not be mapped to a declared child node.", childName, expression.getGuardName());
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	987 return;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	988 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	989 resolvedExecutions[i] = execution;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	990 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	991 expression.setResolvedChildren(resolvedExecutions);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	992 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	993
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	994 GuardParser parser = new GuardParser(context, node, source, expression);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	995 List<GuardData> matchingGuards = parser.parse(availableGuards);
16907 09d99d3c0c95 Truffle-DSL: made guard parsing more robust. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	996 if (!matchingGuards.isEmpty() && matchingGuards.get(0) != null) {
09d99d3c0c95 Truffle-DSL: made guard parsing more robust. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	997 expression.setResolvedGuard(matchingGuards.get(0));
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	998 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	999 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	1000 spec.applyTypeDefinitions("types");
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1001 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	1002 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1003 }
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 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	1006 if (!node.needsRewrites(context)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1007 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1008 }
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	1009
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1010 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	1011 for (SpecializationData spec : node.getSpecializations()) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1012 if (spec.isFallback()) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1013 generics.add(spec);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1014 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1015 }
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 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	1018 // 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	1019 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	1020 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	1021 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1022 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1023
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1024 if (generics.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1025 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	1026 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1027 if (generics.size() > 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1028 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	1029 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	1030 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1031 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1032 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1033 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1034
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1035 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	1036 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	1037 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	1038
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1039 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	1040 int signatureIndex = 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1041 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	1042 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	1043 if (spec.isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1044 signatureIndex++;
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 }
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1047
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1048 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	1049 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	1050 if (generic == null) {
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1051 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	1052 }
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1053
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1054 return generic;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1055 }
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	1056
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1057 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	1058 NodeExecutionData execution = spec.getExecution();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1059 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1060 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	1061 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	1062 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1063 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	1064 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1065 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1066 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	1067 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1068 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	1069 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1070
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1071 NodeChildData child = execution.getChild();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1072 TypeData genericType = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1073 if (types.size() == 1) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1074 TypeData singleType = types.iterator().next();
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1075 ExecutableTypeData executable = child.findExecutableType(singleType);
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1076 if (executable != null && (signatureIndex == 0 \|\| !executable.hasUnexpectedValue(context))) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1077 genericType = singleType;
13528 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 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1080 if (genericType == null) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1081 ExecutableTypeData type = child.findAnyGenericExecutableType(context);
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1082 if (type == null) {
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1083 throw new AssertionError("No generic type not yet catched by parser.");
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1084 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1085 genericType = type.getType();
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1086 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1087 return genericType.getPrimitiveType();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1088 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1089 }
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	1090
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1091 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	1092 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1093 if (generic == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1094 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1095 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1096 for (Parameter parameter : generic.getReturnTypeAndParameters()) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1097 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	1098 continue;
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 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	1101 for (SpecializationData specialization : node.getSpecializations()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1102 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	1103 if (actualParameter != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1104 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	1105 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1106 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1107 if (types.size() > 1) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1108 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	1109 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1110 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1111 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	1112 // 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	1113 uninializedMethod.getMessages().clear();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1114 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	1115 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1116
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1117 private void initializePolymorphism(NodeData node) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1118 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	1119 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1120 }
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	1121
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1122 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1123
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1124 List<TypeData> polymorphicSignature = new ArrayList<>();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1125 List<Parameter> updatePolymorphic = Arrays.asList();
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1126 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	1127 if (!genericParameter.getSpecification().isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1128 continue;
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
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1131 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	1132 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	1133 if (!specialization.isSpecialized()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1134 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1135 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1136 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	1137 if (parameter == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1138 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	1139 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1140 usedTypes.add(parameter.getTypeSystemType());
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 TypeData polymorphicType;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1144 if (usedTypes.size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1145 polymorphicType = usedTypes.iterator().next();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1146 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1147 polymorphicType = node.getTypeSystem().getGenericTypeData();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1148 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1149 polymorphicSignature.add(polymorphicType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1150 }
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 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	1153 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	1154 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	1155 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1156
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1157 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	1158 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	1159
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1160 boolean valid = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1161 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	1162 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	1163 if (!execution.isShortCircuit()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1164 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1165 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1166 shortCircuitExecutions.add(execution);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1167 String valueName = execution.getShortCircuitId();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1168 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	1169
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1170 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	1171 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	1172 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1173 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1174 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1175
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1176 boolean sameMethodName = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1177 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	1178 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1179 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	1180 sameMethodName = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1181 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1182 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1183
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1184 if (!sameMethodName) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1185 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1186 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	1187 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1188 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1189 continue;
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 ShortCircuitData genericCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1193 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1194 if (isGenericShortCutMethod(circuit)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1195 genericCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1196 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1197 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1198 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1199
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1200 if (genericCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1201 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	1202 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1203 continue;
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
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1206 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1207 if (circuit != genericCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1208 circuit.setGenericShortCircuitMethod(genericCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1209 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1210 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1211 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1212
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1213 if (!valid) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1214 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	1215 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1216
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1217 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	1218 specializations.addAll(node.getSpecializations());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1219 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1220 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	1221
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1222 for (NodeExecutionData shortCircuit : shortCircuitExecutions) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1223 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	1224
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1225 ShortCircuitData genericShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1226 ShortCircuitData compatibleShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1227 for (ShortCircuitData circuit : availableShortCuts) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1228 if (circuit.isGeneric()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1229 genericShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1230 } 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	1231 compatibleShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1232 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1233 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1234
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1235 if (compatibleShortCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1236 compatibleShortCircuit = genericShortCircuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1237 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1238 assignedShortCuts.add(compatibleShortCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1239 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1240 specialization.setShortCircuits(assignedShortCuts);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1241 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1242 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1243
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1244 private boolean isGenericShortCutMethod(ShortCircuitData method) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1245 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	1246 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	1247 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1248 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1249 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1250 ExecutableTypeData found = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1251 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	1252 for (ExecutableTypeData executable : executableElements) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1253 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	1254 found = executable;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1255 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1256 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1257 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1258 if (found == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1259 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1260 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1261 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1262 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1263 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1264
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1265 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	1266 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	1267 for (ShortCircuitData shortCircuit : shortCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1268 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	1269 if (circuits == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1270 circuits = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1271 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	1272 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1273 circuits.add(shortCircuit);
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 return group;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1276 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1277
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1278 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	1279 int lastArgs = -1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1280 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	1281 int signatureArgs = specializationData.getSignatureSize();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1282 if (lastArgs == signatureArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1283 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1284 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1285 if (lastArgs != -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1286 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	1287 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	1288 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1289 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1290 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1291 lastArgs = signatureArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1292 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1293 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1294 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1295 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1296
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1297 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	1298 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	1299 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	1300 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1301 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1302
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	1303 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	1304 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	1305 // 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	1306 // 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	1307 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	1308 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	1311 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	1312 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	1313 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	1314 }
79041ab43660 Truffle-DSL: 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
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	1316 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	1317 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	1318 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	1319 }
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	1320 }
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	1321
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	1322 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	1323 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	1324 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	1325 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1326 }
79041ab43660 Truffle-DSL: 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 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	1329 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1330 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	1331 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	1332 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1335
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1336 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	1337 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	1338 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	1339 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	1340 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	1341 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1342 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1343 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1344
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1345 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	1346 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	1347 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	1348 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	1349 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1350 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	1351 if (sourceSpecialization.getExceptions() != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1352 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	1353 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1354 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	1355 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	1356 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1357 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1358 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1359 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1360 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1361 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1362
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	1363 private void verifyConstructors(NodeData nodeData) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1364 if (nodeData.getTypeSystem().getOptions().useNewLayout()) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1365 List<ExecutableElement> constructors = ElementFilter.constructorsIn(nodeData.getTemplateType().getEnclosedElements());
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1366 if (constructors.isEmpty()) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1367 return;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1368 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1369
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1370 boolean oneNonPrivate = false;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1371 for (ExecutableElement constructor : constructors) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1372 if (ElementUtils.getVisibility(constructor.getModifiers()) != Modifier.PRIVATE) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1373 oneNonPrivate = true;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1374 break;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1375 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1376 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1377 if (!oneNonPrivate && !nodeData.getTemplateType().getModifiers().contains(Modifier.PRIVATE)) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1378 nodeData.addError("At least one constructor must be non-private.");
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1379 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1380 return;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1381 }
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	1382 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	1383 // 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	1384 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	1385 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1386
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1387 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	1388 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	1389
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1390 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	1391 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	1392 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	1393 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	1394 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1395 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1396 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	1397 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	1398 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1399 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	1400 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	1401 TypeMirror firstArg = e.getParameters().get(0).asType();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1402 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	1403 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	1404 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	1405 } 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	1406 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	1407 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1408 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	1409 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1410 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1411 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1412
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1413 // not found
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1414 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	1415 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1416
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1417 public static boolean isSourceSectionConstructor(ProcessorContext context, ExecutableElement constructor) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1418 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	1419 }
85b846b31690 Truffle-DSL: automatically generate copy constructor if super constructor expects only SourceSection parameter. Andreas Woess <andreas.woess@jku.at> parents: 11545 diff changeset	1420
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	1421 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	1422 for (Element element : elements) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1423 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	1424 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	1425 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	1426 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1427 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1428 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	1429 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1430
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1431 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	1432 TypeMirror inhertNodeType = context.getTruffleTypes().getNode();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1433 TypeMirror value = ElementUtils.getAnnotationValue(TypeMirror.class, annotation, valueName);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1434 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	1435 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	1436 } 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	1437 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	1438 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1439 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1440
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	1441 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	1442 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	1443 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	1444 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1445 String methodName;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1446 if (ElementUtils.typeEquals(type, context.getType(boolean.class))) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1447 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	1448 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1449 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	1450 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1451
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1452 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1453 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	1454 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	1455 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1456 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1457 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	1458 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1459
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1460 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	1461 if (element != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1462 collection.add(element);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1463 if (element.getSuperclass() != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1464 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	1465 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1466 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1467 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	1468 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1469
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1470 }

Mercurial > hg > truffle

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