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 @ 19285:259a416388d7

Truffle-DSL: rename @ImportGuards to @ImportStatic

author	Christian Humer <christian.humer@gmail.com>
date	Tue, 03 Feb 2015 15:07:03 +0100
parents	08aa0372dad4
children	62c43fcf5be2

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.*;
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	36 import com.oracle.truffle.dsl.processor.expression.*;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	37 import com.oracle.truffle.dsl.processor.java.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	38 import com.oracle.truffle.dsl.processor.java.compiler.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	39 import com.oracle.truffle.dsl.processor.model.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	40 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	41 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	42 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	43
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	44 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	45
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	46 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	47 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	48
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 @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	50 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	51 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	52 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	53 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	54 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	55 }
79041ab43660 Truffle-DSL: 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 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	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
79041ab43660 Truffle-DSL: 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 @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	60 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	61 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	62 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	63 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	64 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	65 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 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	68 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	69 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 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	71 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 @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	74 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	75 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	76 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 @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	79 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	80 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	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
79041ab43660 Truffle-DSL: 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 @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	84 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	85 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	86 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	87
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	88 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	89 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	90 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	91 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	92 if (enclosedChild != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	93 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	94 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 }
18781 941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	96 NodeData node;
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	97 try {
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	98 node = parseNode(rootType);
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	99 } catch (CompileErrorException e) {
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	100 throw e;
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	101 } catch (Throwable e) {
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	102 throw new RuntimeException(String.format("Parsing of Node %s failed.", ElementUtils.getQualifiedName(rootType)), e);
941761f6b736 Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze) Christian Humer <christian.humer@gmail.com> parents: 18776 diff changeset	103 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	104 if (node == null && !enclosedNodes.isEmpty()) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	105 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	108 if (node != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	109 for (NodeData enclosedNode : enclosedNodes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	110 node.addEnclosedNode(enclosedNode);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	111 }
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	112 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	113 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	114 }
79041ab43660 Truffle-DSL: 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 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	117 // 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	118 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	119
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	120 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	121 // 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	122 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	123 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	125 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	126 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	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
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	129 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	130 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	131 // 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	132 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	133 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	134 }
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	135
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	136 NodeData node = parseNodeData(templateType, lookupTypes);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	137
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	138 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	139 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	140 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	141 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	142 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	143
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	144 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	145 initializeImportGuards(node, lookupTypes, members);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	146
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147 if (node.hasErrors()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 return node; // error sync point
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	151 initializeChildren(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	152
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	153 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	154 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	155 }
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 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	158 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	159 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	160 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	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 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	163 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	164 }
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
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 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	167 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	168 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	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 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	171 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	172 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	173 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	174 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	175 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	176 }
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	177
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	178 private List<Element> loadMembers(TypeElement templateType) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	179 List<Element> members = new ArrayList<>(CompilerFactory.getCompiler(templateType).getAllMembersInDeclarationOrder(context.getEnvironment(), templateType));
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	180
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	181 return members;
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 }
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	183
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	184 private boolean containsSpecializations(List<Element> elements) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	185 boolean foundSpecialization = false;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	186 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	187 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	188 foundSpecialization = true;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	189 break;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	190 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	191 }
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	192 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	193 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194
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	195 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	196 for (TypeElement lookupType : lookupTypes) {
19285 259a416388d7 Truffle-DSL: rename @ImportGuards to @ImportStatic Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	197 AnnotationMirror importAnnotation = ElementUtils.findAnnotationMirror(processingEnv, lookupType, ImportStatic.class);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	198 if (importAnnotation == null) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	199 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	200 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	201 AnnotationValue importClassesValue = ElementUtils.getAnnotationValue(importAnnotation, "value");
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	202 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	203 if (importClasses.isEmpty()) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	204 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	205 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	206 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	207 for (TypeMirror importGuardClass : importClasses) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	208 if (importGuardClass.getKind() != TypeKind.DECLARED) {
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' 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	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 TypeElement typeElement = ElementUtils.fromTypeMirror(importGuardClass);
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	213
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	214 // 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	215 // 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	216 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	217
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	218 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	219 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	220 continue;
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 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	224
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	225 for (ExecutableElement importMethod : importMethods) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	226 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	227 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	228 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	229 elements.add(importMethod);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	230 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	231 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	232 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	233 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	234
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	235 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	236 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	237 if (typeSystemMirror == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	238 NodeData nodeData = new NodeData(context, templateType);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	239 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	240 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	241 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	243 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	244 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	245 if (typeSystem == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	246 NodeData nodeData = new NodeData(context, templateType);
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	247 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	248 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	249 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	250
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	251 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	252 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	253 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	254 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	255 }
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	256 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	257 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	258
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	259 }
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	260
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	261 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	262 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	263 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	264 TypeElement type = typeHierarchy.get(i);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	265 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	266 if (assumptions != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	267 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	268 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	269 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	270 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	271 }
79041ab43660 Truffle-DSL: 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 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	273 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
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	276 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	277 }
25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	278
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	279 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	280 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	281
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	282 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	283 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	284 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	285 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	286 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 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	288 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	289 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	290 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	291 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 }
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 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	295 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	296 for (TypeElement typeElement : reversedTypeHierarchy) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	297 AnnotationMirror nodeChildrenMirror = ElementUtils.findAnnotationMirror(processingEnv, typeElement, NodeFields.class);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	298 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	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 for (AnnotationMirror mirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	301 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	302 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	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 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	305 if (name.isEmpty()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	306 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	307 } else if (names.contains(name)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	308 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	309 }
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	310 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	311
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	312 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	313 }
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	314 }
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	315
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	316 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	317 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	318 }
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	319
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	320 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	321 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	323 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	324 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	325 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	326 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	327 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	328 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	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 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	332 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	333 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	334 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	335 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	336 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	337 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	338 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	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 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	342 }
79041ab43660 Truffle-DSL: 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 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	345 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	346 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	347 for (TypeElement type : typeHierarchyReversed) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	348 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	349
79041ab43660 Truffle-DSL: 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 TypeMirror nodeClassType = type.getSuperclass();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	351 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	352 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	353 }
79041ab43660 Truffle-DSL: 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
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	355 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	356 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	357 for (AnnotationMirror childMirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	358 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	359 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	360 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	361 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	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 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	366 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	367 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	368 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 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	371 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	372 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	373 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	374 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	377 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	378
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 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	380
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	381 if (nodeChild.getNodeType() == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	382 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	383 }
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	384 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	385 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	386 }
79041ab43660 Truffle-DSL: 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
11183 0f5ff66a949d Truffle-DSL: Fixed a bug with anonymous children (GRAAL-321 #resolve) Christian Humer <christian.humer@gmail.com> parents: 11180 diff changeset	388 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	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 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	393 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	394 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	395 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	396 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	397 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	398 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	399 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 for (NodeChildData child : filteredChildren) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	403 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	404 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	405 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	406 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	407
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 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	409 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	410 continue;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412
79041ab43660 Truffle-DSL: 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 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	414 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	415 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	416 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	417 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	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 }
79041ab43660 Truffle-DSL: 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 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	421 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	422 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	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 }
79041ab43660 Truffle-DSL: 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 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	427 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	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 } 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	430 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	431 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	432 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	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 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	435 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	436 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	437 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	438 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	439 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	441
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 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	443 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	445 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	446 if (children == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	447 return null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	448 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	449
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	450 // pre-parse short circuits
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	451 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	452 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	453 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	454 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	455 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	456 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	457 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	458 }
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 boolean hasVarArgs = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	461 int maxSignatureSize = 0;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	462 if (!children.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	463 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	464 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	465 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	466 maxSignatureSize = lastIndex;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	467 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	468 maxSignatureSize = children.size();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	469 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	470 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	471
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 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	473 // 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	474 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	475 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	476 if (mirror == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	477 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	478 }
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	479
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	480 int currentArgumentIndex = 0;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	481 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	482 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	483 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	484 if (currentArgumentIndex == 0) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	485 // 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	486 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	487 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	488 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	489 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	490 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	491 }
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	492 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	493 if (childIndex == -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	494 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	495 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	496 if (!skipShortCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	497 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	498 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	499 skipShortCircuit = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	500 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	501 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	502 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	503 skipShortCircuit = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	504 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	505
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	506 currentArgumentIndex++;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	507 }
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	508 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	509 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	510
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	511 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	512 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	513 int childIndex = i;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	514 boolean varArg = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	515 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	516 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	517 childIndex = children.size() - 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	518 varArg = hasVarArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	519 } 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	520 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	521 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	522 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	523 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	524 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	525 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	526 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	527 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	528 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	529 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	530
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	531 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	532 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	533
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 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	535 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	536 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	537 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	538 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	539
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 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	541 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	542 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	543 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	544 } 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	545 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	546 }
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	547
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	548 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	549 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	550 } 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	551 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	552 // 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	553 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	554 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	555 }
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 }
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 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	559 // 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	560 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	561 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	562 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	563 }
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 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	565
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	566 int totalGenericCount = 0;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	567 int totalVoidCount = 0;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	568 for (Integer evaluatedCount : evaluatedCounts) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	569 List<ExecutableTypeData> genericExecutes = node.findGenericExecutableTypes(context, evaluatedCount);
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	570 int genericCount = 0;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	571 int voidCount = 0;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	572 for (ExecutableTypeData executableTypeData : genericExecutes) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	573 if (!executableTypeData.getMethod().getModifiers().contains(Modifier.FINAL)) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	574 if (ElementUtils.isVoid(executableTypeData.getReturnType().getType())) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	575 voidCount++;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	576 } else {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	577 genericCount++;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	578 }
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	579 }
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	580 }
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	581 // multiple generic execute
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	582 if (evaluatedCount == 0) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	583 if (voidCount > 1) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	584 List<String> methodSignatures = new ArrayList<>();
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	585 for (ExecutableTypeData type : genericExecutes) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	586 if (type.getType().isVoid()) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	587 methodSignatures.add(type.createReferenceName());
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	588 }
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	589 }
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	590 node.addWarning("Multiple accessible and overridable generic execute methods found %s. Remove all but one or mark all but one as final.", methodSignatures);
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	591 } else if (genericCount > 1) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	592 List<String> methodSignatures = new ArrayList<>();
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	593 for (ExecutableTypeData type : genericExecutes) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	594 if (!type.getType().isVoid()) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	595 methodSignatures.add(type.createReferenceName());
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	596 }
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	597 }
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	598 node.addWarning("Multiple accessible and overridable generic execute methods found %s. Remove all but one or mark all but one as final.", methodSignatures);
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	599 }
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	600 }
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	601 totalGenericCount += genericCount;
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	602 totalVoidCount += voidCount;
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	603 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	604
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	605 // no generic executes
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	606 if (totalGenericCount + totalVoidCount == 0) {
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	607 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	608 + "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	609 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	610
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	611 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	612
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	613 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	614 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	615 for (ExecutableTypeData type : executableTypes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	616 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	617
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	618 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	619 if (types == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	620 types = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	621 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	622 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	623 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	624 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	626 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	627 Collections.sort(types);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	628 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	629 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	630 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	631
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	632 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	633 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	634 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	635 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	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 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	638 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	639 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	640 } 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	641 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	642 NodeChild.class.getSimpleName(), ElementUtils.getSimpleName(node.getTypeSystem().getTemplateType()),
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	643 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	644 } 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	645 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	646 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	647 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	648 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	649 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	650 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	651 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	652 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	653 }
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	654
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	655 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	656 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	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 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	659 // 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	660 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	661 }
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	662
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	663 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	664 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	665 }
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	666
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	667 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	668
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	669 // 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	670 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	671 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	672
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	673 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	674 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	675 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	676 }
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	677
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	678 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	679 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	680 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	681 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	682 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	683 }
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	684 }
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	685 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	686 }
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	687
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	688 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	689 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	690 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	691 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	692
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	693 initializeExpressions(elements, node);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	694 if (node.hasErrors()) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	695 return;
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	696 }
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	697
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	698 initializeGeneric(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	699 initializeUninitialized(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	700 initializeOrder(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	701 initializePolymorphism(node); // requires specializations
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	702 initializeReachability(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	703 initializeContains(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	704
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	705 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	706
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	707 List<SpecializationData> specializations = node.getSpecializations();
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	708 for (SpecializationData cur : specializations) {
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	709 for (SpecializationData child : specializations) {
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	710 if (child != null && child != cur && child.getContains().contains(cur)) {
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	711 cur.getExcludedBy().add(child);
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	712 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	713 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	714 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	715
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	716 // 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	717 initializeSpecializationIdsWithMethodNames(node.getSpecializations());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	718 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	719
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	720 private static void initializeOrder(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	721 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	722 Collections.sort(specializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	723
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	724 for (SpecializationData specialization : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	725 String searchName = specialization.getInsertBeforeName();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	726 if (searchName == null \|\| specialization.getMethod() == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	727 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	728 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	729 SpecializationData found = lookupSpecialization(node, searchName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	730 if (found == null \|\| found.getMethod() == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	731 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	732 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	733 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	734 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	735
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	736 ExecutableElement currentMethod = specialization.getMethod();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	737 ExecutableElement insertBeforeMethod = found.getMethod();
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 TypeMirror currentEnclosedType = currentMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	740 TypeMirror insertBeforeEnclosedType = insertBeforeMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	741
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	742 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	743 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	744 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	745 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	746 }
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 specialization.setInsertBefore(found);
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
16764 f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	751 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	752 SpecializationData specialization = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	753 SpecializationData insertBefore = specialization.getInsertBefore();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	754 if (insertBefore != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	755 int insertIndex = specializations.indexOf(insertBefore);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	756 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	757 specializations.remove(i);
f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	758 specializations.add(insertIndex, specialization);
16755 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 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	762
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	763 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	764 specializations.get(i).setIndex(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	765 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	766 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	767
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	768 private static void initializeContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	769 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	770 Set<SpecializationData> resolvedSpecializations = specialization.getContains();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	771 resolvedSpecializations.clear();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	772 Set<String> includeNames = specialization.getContainsNames();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	773 for (String includeName : includeNames) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	774 // TODO reduce complexity of this lookup.
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	775 SpecializationData foundSpecialization = lookupSpecialization(node, includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	776
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	777 if (foundSpecialization == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	778 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	779 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	780 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	781 if (!foundSpecialization.isContainedBy(specialization)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	782 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	783 if (foundSpecialization.compareTo(specialization) > 0) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	784 specialization.addError(value, "The contained specialization '%s' must be declared before the containing specialization.", includeName);
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	785 }/*
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	786 * else { specialization.addError(value,
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	787 * "The contained specialization '%s' is not fully compatible. The contained specialization must be strictly more generic than the containing one."
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	788 * , includeName); }
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	789 */
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	790
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	791 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	792 resolvedSpecializations.add(foundSpecialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	793 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	794 }
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 private void resolveContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	799 // flatten transitive includes
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	800 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	801 if (specialization.getContains().isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	802 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	803 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	804 Set<SpecializationData> foundSpecializations = new HashSet<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	805 collectIncludes(specialization, foundSpecializations, new HashSet<SpecializationData>());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	806 specialization.getContains().addAll(foundSpecializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	807 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	808 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	809
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	810 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	811 SpecializationData foundSpecialization = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	812 for (SpecializationData searchSpecialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	813 if (searchSpecialization.getMethodName().equals(includeName)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	814 foundSpecialization = searchSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	815 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	816 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	817 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	818 return foundSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	819 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	820
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	821 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	822 if (visited.contains(specialization)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	823 // circle found
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	824 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	825 return;
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 visited.add(specialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	828
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	829 for (SpecializationData included : specialization.getContains()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	830 collectIncludes(included, found, new HashSet<>(visited));
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	831 found.add(included);
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 }
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 private static void initializeReachability(final NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	836 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	837 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	838 SpecializationData current = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	839 if (current.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	840 current.setReachable(true);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	841 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	842 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	843
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	844 List<SpecializationData> shadowedBy = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	845 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	846 SpecializationData prev = specializations.get(j);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	847 if (prev.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	848 continue;
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 if (!current.isReachableAfter(prev)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	851 if (shadowedBy == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	852 shadowedBy = new ArrayList<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	853 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	854 shadowedBy.add(prev);
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 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	857
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	858 if (shadowedBy != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	859 StringBuilder name = new StringBuilder();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	860 String sep = "";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	861 for (SpecializationData shadowSpecialization : shadowedBy) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	862 name.append(sep);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	863 name.append(shadowSpecialization.createReferenceName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	864 sep = ", ";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	865 }
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	866 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	867 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	868 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	869 }
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	870 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	871
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	872 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	873 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	874 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	875 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	876 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	877 } 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	878 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	879 } 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	880 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	881 } 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	882 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	883
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 // 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	885 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	886 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	887 } 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	888 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	889 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	890 name = filteredDo;
7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	891 }
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	892 }
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	893 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	894 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	895 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	896
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	897 while (renameDuplicateIds(signatures)) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	898 // fix point
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	899 }
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	900
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	901 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	902 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	903 }
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 }
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	905
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	906 private static boolean renameDuplicateIds(List<String> signatures) {
b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	907 boolean changed = false;
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 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	909 for (String s1 : signatures) {
18811 d2ec5f50dcd0 Truffle-DSL: fixed name clashes were still possible on a OS with case insensitive file system. Christian Humer <christian.humer@gmail.com> parents: 18806 diff changeset	910 Integer count = counts.get(s1.toLowerCase());
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	911 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	912 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	913 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	914 count++;
18811 d2ec5f50dcd0 Truffle-DSL: fixed name clashes were still possible on a OS with case insensitive file system. Christian Humer <christian.humer@gmail.com> parents: 18806 diff changeset	915 counts.put(s1.toLowerCase(), count);
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	916 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	919 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	920 if (count > 1) {
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	921 changed = 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	922 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	923 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	924 String s2 = iterator.next();
18811 d2ec5f50dcd0 Truffle-DSL: fixed name clashes were still possible on a OS with case insensitive file system. Christian Humer <christian.humer@gmail.com> parents: 18806 diff changeset	925 if (s.equalsIgnoreCase(s2)) {
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	926 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	927 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 }
79041ab43660 Truffle-DSL: 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 }
18806 b9cf6f3150ea Truffle-DSL: make node id renaming a fixed point algorithm; relax warning condition for multiple execute methods; fix warning condition for multiple execute methods has displayed unproblematic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18781 diff changeset	932 return changed;
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	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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	935 private void initializeExpressions(List<? extends Element> elements, NodeData node) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	936 List<Element> members = filterNotAccessibleElements(node.getTemplateType(), elements);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	937
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	938 final TypeMirror booleanType = context.getType(boolean.class);
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	939
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	940 for (SpecializationData specialization : node.getSpecializations()) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	941 if (specialization.getMethod() == null) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	942 continue;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	943 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	944
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	945 List<Element> specializationMembers = new ArrayList<>();
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	946 for (Parameter p : specialization.getParameters()) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	947 VariableElement variableElement = p.getVariableElement();
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	948 if (variableElement == null) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	949 throw new AssertionError("All parameters must be resolved for " + specialization);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	950 }
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	951
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	952 specializationMembers.add(variableElement);
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	953 }
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	954 specializationMembers.addAll(members);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	955
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	956 DSLExpressionResolver resolver = new DSLExpressionResolver(context, specializationMembers);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	957 List<String> guardDefinitions = ElementUtils.getAnnotationValueList(String.class, specialization.getMarkerAnnotation(), "guards");
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	958 List<GuardExpression> guardExpressions = new ArrayList<>();
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	959 for (String guard : guardDefinitions) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	960 GuardExpression guardExpression;
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	961 DSLExpression expression = null;
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	962 try {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	963 expression = DSLExpression.parse(guard);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	964 expression.accept(resolver);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	965 guardExpression = new GuardExpression(specialization, expression);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	966 if (!ElementUtils.typeEquals(expression.getResolvedType(), booleanType)) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	967 guardExpression.addError("Incompatible return type %s. Guard expressions must return boolean.", ElementUtils.getSimpleName(expression.getResolvedType()));
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	968 }
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	969 // guardExpression.addWarning("Expression:%s", expression.toString());
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	970 } catch (InvalidExpressionException e) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	971 guardExpression = new GuardExpression(specialization, null);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	972 guardExpression.addError("Error parsing expression '%s': %s", guard, e.getMessage());
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	973 }
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	974 guardExpressions.add(guardExpression);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	975 }
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	976 specialization.setGuards(guardExpressions);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	977 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	978 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	979
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	980 private static List<Element> filterNotAccessibleElements(TypeElement templateType, List<? extends Element> elements) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	981 String packageName = ElementUtils.getPackageName(templateType);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	982 List<Element> filteredElements = new ArrayList<>(elements);
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	983 for (Element element : elements) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	984 Modifier visibility = ElementUtils.getVisibility(element.getModifiers());
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	985 if (visibility == Modifier.PRIVATE) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	986 continue;
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	987 } else if (visibility == null) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	988 String elementPackageName = ElementUtils.getPackageName(element.getEnclosingElement().asType());
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	989 if (!Objects.equals(packageName, elementPackageName) && !elementPackageName.equals("java.lang")) {
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	990 continue;
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	991 }
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	992 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	993
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	994 filteredElements.add(element);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	995 }
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19282 diff changeset	996 return filteredElements;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	997 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	998
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	999 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	1000 if (!node.needsRewrites(context)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1001 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1002 }
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	1003
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1004 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	1005 for (SpecializationData spec : node.getSpecializations()) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1006 if (spec.isFallback()) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1007 generics.add(spec);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1008 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1009 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1010
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1011 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	1012 // 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	1013 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	1014 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	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
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1018 if (generics.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1019 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	1020 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1021 if (generics.size() > 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1022 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	1023 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	1024 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1025 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1026 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1027 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1028
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1029 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	1030 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	1031 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	1032
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1033 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	1034 int signatureIndex = 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1035 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	1036 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	1037 if (spec.isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1038 signatureIndex++;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1039 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1040 }
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1041
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1042 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	1043 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	1044 if (generic == null) {
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1045 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	1046 }
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1047
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1048 return generic;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1049 }
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	1050
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1051 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	1052 NodeExecutionData execution = spec.getExecution();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1053 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1054 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	1055 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	1056 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1057 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	1058 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1059 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1060 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	1061 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1062 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	1063 }
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 NodeChildData child = execution.getChild();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1066 TypeData genericType = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1067 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	1068 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	1069 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	1070 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	1071 genericType = singleType;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1072 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1073 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1074 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	1075 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	1076 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	1077 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	1078 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1079 genericType = type.getType();
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1080 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1081 return genericType.getPrimitiveType();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1082 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1083 }
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	1084
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1085 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	1086 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1087 if (generic == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1088 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1089 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1090 for (Parameter parameter : generic.getReturnTypeAndParameters()) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1091 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	1092 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1093 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1094 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	1095 for (SpecializationData specialization : node.getSpecializations()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1096 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	1097 if (actualParameter != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1098 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	1099 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1100 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1101 if (types.size() > 1) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1102 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	1103 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1104 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1105 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	1106 // 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	1107 uninializedMethod.getMessages().clear();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1108 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	1109 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1110
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1111 private void initializePolymorphism(NodeData node) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1112 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	1113 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1114 }
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	1115
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1116 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1117
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1118 List<TypeData> polymorphicSignature = new ArrayList<>();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1119 List<Parameter> updatePolymorphic = Arrays.asList();
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1120 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	1121 if (!genericParameter.getSpecification().isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1122 continue;
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
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1125 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	1126 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	1127 if (!specialization.isSpecialized()) {
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 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1130 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	1131 if (parameter == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1132 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	1133 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1134 usedTypes.add(parameter.getTypeSystemType());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1135 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1136
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1137 TypeData polymorphicType;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1138 if (usedTypes.size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1139 polymorphicType = usedTypes.iterator().next();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1140 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1141 polymorphicType = node.getTypeSystem().getGenericTypeData();
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 polymorphicSignature.add(polymorphicType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1144 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1145
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1146 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	1147 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	1148 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	1149 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1150
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1151 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	1152 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	1153
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1154 boolean valid = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1155 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	1156 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	1157 if (!execution.isShortCircuit()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1158 continue;
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 shortCircuitExecutions.add(execution);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1161 String valueName = execution.getShortCircuitId();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1162 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	1163
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1164 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	1165 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	1166 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1167 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1168 }
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 boolean sameMethodName = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1171 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	1172 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1173 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	1174 sameMethodName = false;
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 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1177
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1178 if (!sameMethodName) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1179 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1180 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	1181 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1182 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1183 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1184 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1185
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1186 ShortCircuitData genericCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1187 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1188 if (isGenericShortCutMethod(circuit)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1189 genericCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1190 break;
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 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1193
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1194 if (genericCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1195 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	1196 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1197 continue;
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 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1201 if (circuit != genericCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1202 circuit.setGenericShortCircuitMethod(genericCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1203 }
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
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1207 if (!valid) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1208 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	1209 }
13528 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 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	1212 specializations.addAll(node.getSpecializations());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1213 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1214 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	1215
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1216 for (NodeExecutionData shortCircuit : shortCircuitExecutions) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1217 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	1218
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1219 ShortCircuitData genericShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1220 ShortCircuitData compatibleShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1221 for (ShortCircuitData circuit : availableShortCuts) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1222 if (circuit.isGeneric()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1223 genericShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1224 } 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	1225 compatibleShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1226 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1227 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1228
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1229 if (compatibleShortCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1230 compatibleShortCircuit = genericShortCircuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1231 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1232 assignedShortCuts.add(compatibleShortCircuit);
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 specialization.setShortCircuits(assignedShortCuts);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1235 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1236 }
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 private boolean isGenericShortCutMethod(ShortCircuitData method) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1239 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	1240 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	1241 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1242 continue;
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 ExecutableTypeData found = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1245 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	1246 for (ExecutableTypeData executable : executableElements) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1247 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	1248 found = executable;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1249 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1250 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1251 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1252 if (found == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1253 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1254 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1255 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1256 return true;
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
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1259 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	1260 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	1261 for (ShortCircuitData shortCircuit : shortCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1262 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	1263 if (circuits == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1264 circuits = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1265 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	1266 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1267 circuits.add(shortCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1268 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1269 return group;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1270 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1271
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1272 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	1273 int lastArgs = -1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1274 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	1275 int signatureArgs = specializationData.getSignatureSize();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1276 if (lastArgs == signatureArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1277 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1278 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1279 if (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 specialization : nodeData.getSpecializations()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1281 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	1282 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1283 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1284 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1285 lastArgs = signatureArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1286 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1287 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1288 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1289 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1290
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1291 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	1292 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	1293 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	1294 }
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
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	1297 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	1298 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	1299 // 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	1300 // 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	1301 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	1302 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	1305 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	1306 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	1307 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	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
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	1310 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	1311 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	1312 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	1313 }
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	1314 }
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	1315
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	1316 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	1317 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	1318 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	1319 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1320 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1321
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1322 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	1323 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1324 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	1325 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	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 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1330 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	1331 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	1332 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	1333 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	1334 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	1335 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1336 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1337 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1338
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1339 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	1340 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	1341 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	1342 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	1343 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1344 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	1345 if (sourceSpecialization.getExceptions() != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1346 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	1347 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1348 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	1349 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	1350 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1351 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1352 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1353 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1354 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1355 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1356
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1357 private static void verifyConstructors(NodeData nodeData) {
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1358 List<ExecutableElement> constructors = ElementFilter.constructorsIn(nodeData.getTemplateType().getEnclosedElements());
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1359 if (constructors.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	1360 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	1361 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1362
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1363 boolean oneNonPrivate = false;
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	1364 for (ExecutableElement constructor : constructors) {
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1365 if (ElementUtils.getVisibility(constructor.getModifiers()) != Modifier.PRIVATE) {
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1366 oneNonPrivate = true;
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1367 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	1368 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1369 }
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1370 if (!oneNonPrivate && !nodeData.getTemplateType().getModifiers().contains(Modifier.PRIVATE)) {
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1371 nodeData.addError("At least one constructor must be non-private.");
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	1372 }
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	1373 }
85b846b31690 Truffle-DSL: automatically generate copy constructor if super constructor expects only SourceSection parameter. Andreas Woess <andreas.woess@jku.at> parents: 11545 diff changeset	1374
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	1375 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	1376 for (Element element : elements) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1377 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	1378 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	1379 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	1380 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1381 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1382 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	1383 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	1386 TypeMirror inhertNodeType = context.getTruffleTypes().getNode();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1387 TypeMirror value = ElementUtils.getAnnotationValue(TypeMirror.class, annotation, valueName);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1388 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	1389 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	1390 } 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	1391 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	1392 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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
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	1395 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	1396 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	1397 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	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 String methodName;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1400 if (ElementUtils.typeEquals(type, context.getType(boolean.class))) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1401 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	1402 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1403 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	1404 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1407 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	1408 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	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 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1414 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	1415 if (element != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1416 collection.add(element);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1417 if (element.getSuperclass() != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1418 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	1419 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1420 }
79041ab43660 Truffle-DSL: 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 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	1422 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1423
79041ab43660 Truffle-DSL: 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 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/NodeParser.java @ 19285:259a416388d7