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 @ 19282:ae81dd154fb6

Truffle-DSL: remove old DSL layout; Make new layout the default.

author	Christian Humer <christian.humer@gmail.com>
date	Thu, 22 Jan 2015 20:44:24 +0100
parents	d2ec5f50dcd0
children	08aa0372dad4

rev	line source
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	23 package com.oracle.truffle.dsl.processor.parser;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import java.lang.annotation.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	26 import java.util.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	27
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	28 import javax.lang.model.element.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	29 import javax.lang.model.type.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	30 import javax.lang.model.util.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	31 import javax.tools.Diagnostic.Kind;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	32
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	33 import com.oracle.truffle.api.dsl.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	34 import com.oracle.truffle.api.nodes.*;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	35 import com.oracle.truffle.dsl.processor.*;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	36 import com.oracle.truffle.dsl.processor.java.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	37 import com.oracle.truffle.dsl.processor.java.compiler.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	38 import com.oracle.truffle.dsl.processor.model.*;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	39 import com.oracle.truffle.dsl.processor.model.NodeChildData.Cardinality;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	40 import com.oracle.truffle.dsl.processor.model.SpecializationData.SpecializationKind;
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	41 import com.oracle.truffle.dsl.processor.model.TemplateMethod.TypeSignature;
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	42
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	43 public class NodeParser extends AbstractParser<NodeData> {
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	44
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	45 public static final List<Class<? extends Annotation>> ANNOTATIONS = Arrays.asList(Fallback.class, TypeSystemReference.class, ShortCircuit.class, Specialization.class, NodeChild.class,
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	46 NodeChildren.class);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 protected NodeData parse(Element element, AnnotationMirror mirror) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	50 NodeData node = parseRootType((TypeElement) element);
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	51 if (Log.isDebug() && node != null) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	52 String dump = node.dump();
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	53 log.message(Kind.ERROR, null, null, null, dump);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 return node;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 protected NodeData filterErrorElements(NodeData model) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	60 for (Iterator<NodeData> iterator = model.getEnclosingNodes().iterator(); iterator.hasNext();) {
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 NodeData node = filterErrorElements(iterator.next());
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	62 if (node == null) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	63 iterator.remove();
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 if (model.hasErrors()) {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 return model;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 public boolean isDelegateToRootDeclaredType() {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74 return true;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 public Class<? extends Annotation> getAnnotationType() {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 return null;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 @Override
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 public List<Class<? extends Annotation>> getTypeDelegatedAnnotationTypes() {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 return ANNOTATIONS;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	87 private NodeData parseRootType(TypeElement rootType) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	88 List<NodeData> enclosedNodes = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	89 for (TypeElement enclosedType : ElementFilter.typesIn(rootType.getEnclosedElements())) {
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	90 NodeData enclosedChild = parseRootType(enclosedType);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	91 if (enclosedChild != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	92 enclosedNodes.add(enclosedChild);
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 }
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	95 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	96 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	97 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	98 } 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	99 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	100 } 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	101 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	102 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	103 if (node == null && !enclosedNodes.isEmpty()) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	104 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	105 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	107 if (node != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	108 for (NodeData enclosedNode : enclosedNodes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	109 node.addEnclosedNode(enclosedNode);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	110 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	112 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	113 }
79041ab43660 Truffle-DSL: 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 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	116 // 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	117 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	118
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	119 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	120 // 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	121 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	122 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	123
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	124 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	125 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	126 }
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	127
c0fb70634640 Truffle-DSL: support for frame 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 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	129 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	130 // 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	131 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	132 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	133 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	134
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	135 NodeData node = parseNodeData(templateType, lookupTypes);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	136
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	137 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	138 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	139 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	140 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	141 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	142
c0fb70634640 Truffle-DSL: support for frame 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 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	144 initializeImportGuards(node, lookupTypes, members);
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	145
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 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	147 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	148 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	150 initializeChildren(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	151
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	152 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	153 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	154 }
c0fb70634640 Truffle-DSL: support for frame 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 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	157 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	158 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	159 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	160
c0fb70634640 Truffle-DSL: support for frame 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 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	162 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	163 }
c0fb70634640 Truffle-DSL: support for frame 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 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	166 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	167 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	168
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	169 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	170 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	171 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	172 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	173 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	174 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	175 }
c0fb70634640 Truffle-DSL: support for frame 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 private ArrayList<Element> loadMembers(TypeElement templateType) {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	178 return new ArrayList<>(CompilerFactory.getCompiler(templateType).getAllMembersInDeclarationOrder(context.getEnvironment(), templateType));
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	179 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	180
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	181 private boolean containsSpecializations(List<Element> elements) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	182 boolean foundSpecialization = false;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	183 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	184 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	185 foundSpecialization = true;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	186 break;
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	187 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	188 }
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	189 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	190 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191
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 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	193 for (TypeElement lookupType : lookupTypes) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	194 AnnotationMirror importAnnotation = ElementUtils.findAnnotationMirror(processingEnv, lookupType, ImportGuards.class);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	195 if (importAnnotation == null) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	196 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	197 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	198 AnnotationValue importClassesValue = ElementUtils.getAnnotationValue(importAnnotation, "value");
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	199 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	200 if (importClasses.isEmpty()) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	201 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	202 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	203 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	204 for (TypeMirror importGuardClass : importClasses) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	205 if (importGuardClass.getKind() != TypeKind.DECLARED) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	206 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	207 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	208 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	209 TypeElement typeElement = ElementUtils.fromTypeMirror(importGuardClass);
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	210
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	211 // 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	212 // 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	213 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	214
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	215 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	216 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	217 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	218 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	219
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	220 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	221
16832 13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	222 for (ExecutableElement importMethod : importMethods) {
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	223 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	224 continue;
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	225 }
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	226 elements.add(importMethod);
13cf9b6b325c Truffle-DSL: implemented import guards feature. Christian Humer <christian.humer@gmail.com> parents: 16830 diff changeset	227 }
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 }
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
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	232 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	233 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	234 if (typeSystemMirror == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	235 NodeData nodeData = new NodeData(context, templateType);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	236 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	237 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	238 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	240 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	241 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	242 if (typeSystem == null) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	243 NodeData nodeData = new NodeData(context, templateType);
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	244 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	245 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	246 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247
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	248 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	249 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	250 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	251 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	252 }
c0fb70634640 Truffle-DSL: support for frame 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 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	254 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	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 }
c0fb70634640 Truffle-DSL: support for frame 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
c0fb70634640 Truffle-DSL: support for frame 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 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	259 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	260 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	261 TypeElement type = typeHierarchy.get(i);
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	262 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	263 if (assumptions != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	264 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	265 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	266 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	267 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	268 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 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	270 }
79041ab43660 Truffle-DSL: 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 }
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	273 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	274 }
25ecb47a6d0e Truffle-DSL: Added support for references to child arrays in @ShortCircuit; Christian Humer <christian.humer@gmail.com> parents: 13271 diff changeset	275
11187 7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	276 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	277 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	278
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 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	280 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	281 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	282 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	283 }
79041ab43660 Truffle-DSL: 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.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	285 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	286 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	287 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	288 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 }
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	290
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	291 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	292 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	293 for (TypeElement typeElement : reversedTypeHierarchy) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	294 AnnotationMirror nodeChildrenMirror = ElementUtils.findAnnotationMirror(processingEnv, typeElement, NodeFields.class);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	295 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	296
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	297 for (AnnotationMirror mirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	298 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	299 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	300
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	301 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	302 if (name.isEmpty()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	303 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	304 } else if (names.contains(name)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	305 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	306 }
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 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	308
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	309 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	310 }
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
7a8835ec5e7d Truffle-DSL: Added new @NodeField and @NodeFields annotation. Which can be used to avoid the cumbersome definition of copy constructors. Christian Humer <christian.humer@gmail.com> parents: 11183 diff changeset	313 for (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	314 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	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
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	317 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	318 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	320 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	321 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	322 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	323 AnnotationMirror mirror = ElementUtils.findAnnotationMirror(processingEnv, method, 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	324 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	325 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	326 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 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	329 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	330 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	331 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	332 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	333 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	334 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	335 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	336 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	338 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340
79041ab43660 Truffle-DSL: 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 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	342 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	343 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	344 for (TypeElement type : typeHierarchyReversed) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	345 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	346
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 TypeMirror nodeClassType = type.getSuperclass();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	348 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	349 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	350 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	352 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	353 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	354 for (AnnotationMirror childMirror : children) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	355 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	356 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	357 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	358 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 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	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 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	363 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	364 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	365 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366
79041ab43660 Truffle-DSL: 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 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	368 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	369 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	370 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	371 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	374 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	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 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	377
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	378 if (nodeChild.getNodeType() == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	379 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	380 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 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	382 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	383 }
79041ab43660 Truffle-DSL: 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
11183 0f5ff66a949d Truffle-DSL: Fixed a bug with anonymous children (GRAAL-321 #resolve) Christian Humer <christian.humer@gmail.com> parents: 11180 diff changeset	385 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	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 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 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	390 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	391 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	392 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	393 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	394 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	395 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	396 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 for (NodeChildData child : filteredChildren) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	400 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	401 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	402 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	403 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	404
79041ab43660 Truffle-DSL: 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 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	406 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	407 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	408 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 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	411 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	412 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	413 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	414 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	415 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	416 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	417 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	418 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	419 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	420 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422
79041ab43660 Truffle-DSL: 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 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	424 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	425 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	426 } 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	427 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	428 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	429 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	430 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 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	432 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433 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	434 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	435 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	436 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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
79041ab43660 Truffle-DSL: 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 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	442 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	443 if (children == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	444 return null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	445 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	446
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	447 // pre-parse short circuits
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	448 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	449 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	450 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	451 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	452 if (mirror != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	453 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	454 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	455 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	456
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	457 boolean hasVarArgs = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	458 int maxSignatureSize = 0;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	459 if (!children.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	460 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	461 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	462 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	463 maxSignatureSize = lastIndex;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	464 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	465 maxSignatureSize = children.size();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	466 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	467 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	468
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	469 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	470 // 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	471 for (ExecutableElement method : methods) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	472 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	473 if (mirror == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	474 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	475 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	476
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	477 int currentArgumentIndex = 0;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	478 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	479 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	480 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	481 if (currentArgumentIndex == 0) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	482 // 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	483 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	484 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	485 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	486 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	487 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	488 }
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	489 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	490 if (childIndex == -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	491 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	492 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	493 if (!skipShortCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	494 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	495 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	496 skipShortCircuit = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	497 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	498 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	499 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	500 skipShortCircuit = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	501 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	502
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	503 currentArgumentIndex++;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	504 }
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	505 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	506 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	507
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	508 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	509 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	510 int childIndex = i;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	511 boolean varArg = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	512 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	513 if (hasVarArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	514 childIndex = children.size() - 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	515 varArg = hasVarArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	516 } 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	517 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	518 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	519 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	520 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	521 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	522 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	523 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	524 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	525 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	526 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	527
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	528 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	529 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	530
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	531 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	532 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	533 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	534 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	535 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	536
c0fb70634640 Truffle-DSL: support for frame 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 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	538 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	539 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	540 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	541 } else {
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	542 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	543 }
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	544
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	545 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	546 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	547 } 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	548 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	549 // 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	550 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	551 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	552 }
c0fb70634640 Truffle-DSL: support for frame 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 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	554 }
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	555 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	556 // 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	557 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	558 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	559 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	560 }
c0fb70634640 Truffle-DSL: support for frame 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 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	562
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	563 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	564 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	565 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	566 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	567 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	568 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	569 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	570 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	571 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	572 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	573 } 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	574 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	575 }
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 }
18776 c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	577 }
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	578 // 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	579 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	580 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	581 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	582 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	583 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	584 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	585 }
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 }
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 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	588 } 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	589 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	590 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	591 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	592 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	593 }
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 }
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 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	596 }
18775 a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	597 }
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	598 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	599 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	600 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	601
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	602 // 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	603 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	604 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	605 + "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	606 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	607
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	608 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	609
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	610 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	611 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	612 for (ExecutableTypeData type : executableTypes) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	613 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	614
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	615 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	616 if (types == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	617 types = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	618 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	619 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	620 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	621 }
79041ab43660 Truffle-DSL: 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 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	624 Collections.sort(types);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	625 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	626 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	627 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	628
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	629 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	630 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	631 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	632 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	633
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	634 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	635 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	636 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	637 } 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	638 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	639 NodeChild.class.getSimpleName(), ElementUtils.getSimpleName(node.getTypeSystem().getTemplateType()),
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	640 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	641 } 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	642 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	643 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	644 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	645 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	646 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	647 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	648 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	649 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	650 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	651
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	652 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	653 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	654
c0fb70634640 Truffle-DSL: support for frame types Frame, MaterializedFrame. Added validation for frame type consistency. Some refactorings along the way. Christian Humer <christian.humer@gmail.com> parents: 18775 diff changeset	655 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	656 // 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	657 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	658 }
c0fb70634640 Truffle-DSL: support for frame 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
c0fb70634640 Truffle-DSL: support for frame 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 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	661 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	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
c0fb70634640 Truffle-DSL: support for frame 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 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	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 // 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	667 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	668 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	669
c0fb70634640 Truffle-DSL: support for frame 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 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	671 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	672 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	673 }
c0fb70634640 Truffle-DSL: support for frame 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
c0fb70634640 Truffle-DSL: support for frame 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 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	676 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	677 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	678 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	679 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	680 }
c0fb70634640 Truffle-DSL: support for frame 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 }
c0fb70634640 Truffle-DSL: support for frame 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 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	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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	685 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	686 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	687 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	688 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	689
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	690 initializeGuards(elements, node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	691 initializeGeneric(node);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	692 initializeUninitialized(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	693 initializeOrder(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	694 initializePolymorphism(node); // requires specializations
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	695 initializeReachability(node);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	696 initializeContains(node);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	697
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	698 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	699
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	700 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	701 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	702 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	703 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	704 cur.getExcludedBy().add(child);
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	705 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	706 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	707 }
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	708
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	709 // 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	710 initializeSpecializationIdsWithMethodNames(node.getSpecializations());
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	711 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	712
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	713 private static void initializeOrder(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	714 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	715 Collections.sort(specializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	716
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	717 for (SpecializationData specialization : specializations) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	718 String searchName = specialization.getInsertBeforeName();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	719 if (searchName == null \|\| specialization.getMethod() == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	720 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	721 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	722 SpecializationData found = lookupSpecialization(node, searchName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	723 if (found == null \|\| found.getMethod() == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	724 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	725 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	726 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	727 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	728
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	729 ExecutableElement currentMethod = specialization.getMethod();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	730 ExecutableElement insertBeforeMethod = found.getMethod();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	731
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	732 TypeMirror currentEnclosedType = currentMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	733 TypeMirror insertBeforeEnclosedType = insertBeforeMethod.getEnclosingElement().asType();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	734
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	735 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	736 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	737 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	738 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	739 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	740
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	741 specialization.setInsertBefore(found);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	742 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	743
16764 f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	744 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	745 SpecializationData specialization = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	746 SpecializationData insertBefore = specialization.getInsertBefore();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	747 if (insertBefore != null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	748 int insertIndex = specializations.indexOf(insertBefore);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	749 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	750 specializations.remove(i);
f9fff060dc41 Truffle-DSL: fixed behaviour of insertBefore to be more intuitive. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	751 specializations.add(insertIndex, specialization);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	752 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	753 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	754 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	755
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	756 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	757 specializations.get(i).setIndex(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	758 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	759 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	760
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	761 private static void initializeContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	762 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	763 Set<SpecializationData> resolvedSpecializations = specialization.getContains();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	764 resolvedSpecializations.clear();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	765 Set<String> includeNames = specialization.getContainsNames();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	766 for (String includeName : includeNames) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	767 // TODO reduce complexity of this lookup.
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	768 SpecializationData foundSpecialization = lookupSpecialization(node, includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	769
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	770 if (foundSpecialization == null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	771 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	772 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	773 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	774 if (!foundSpecialization.isContainedBy(specialization)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	775 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	776 if (foundSpecialization.compareTo(specialization) > 0) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	777 specialization.addError(value, "The contained specialization '%s' must be declared before the containing specialization.", includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	778 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	779 specialization.addError(value,
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	780 "The contained specialization '%s' is not fully compatible. The contained specialization must be strictly more generic than the containing one.",
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	781 includeName);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	782 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	783
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	784 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	785 resolvedSpecializations.add(foundSpecialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	786 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	787 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	788 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	789 }
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 private void resolveContains(NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	792 // flatten transitive includes
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	793 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	794 if (specialization.getContains().isEmpty()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	795 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	796 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	797 Set<SpecializationData> foundSpecializations = new HashSet<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	798 collectIncludes(specialization, foundSpecializations, new HashSet<SpecializationData>());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	799 specialization.getContains().addAll(foundSpecializations);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	800 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	801 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	802
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	803 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	804 SpecializationData foundSpecialization = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	805 for (SpecializationData searchSpecialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	806 if (searchSpecialization.getMethodName().equals(includeName)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	807 foundSpecialization = searchSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	808 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	809 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	810 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	811 return foundSpecialization;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	812 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	813
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	814 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	815 if (visited.contains(specialization)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	816 // circle found
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	817 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	818 return;
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 visited.add(specialization);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	821
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	822 for (SpecializationData included : specialization.getContains()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	823 collectIncludes(included, found, new HashSet<>(visited));
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	824 found.add(included);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	825 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	826 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	827
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	828 private static void initializeReachability(final NodeData node) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	829 List<SpecializationData> specializations = node.getSpecializations();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	830 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	831 SpecializationData current = specializations.get(i);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	832 if (current.isPolymorphic()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	833 current.setReachable(true);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	834 continue;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	835 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	836
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	837 List<SpecializationData> shadowedBy = null;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	838 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	839 SpecializationData prev = specializations.get(j);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	840 if (prev.isPolymorphic()) {
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 if (!current.isReachableAfter(prev)) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	844 if (shadowedBy == null) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	845 shadowedBy = new ArrayList<>();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	846 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	847 shadowedBy.add(prev);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	848 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	849 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	850
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 StringBuilder name = new StringBuilder();
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	853 String sep = "";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	854 for (SpecializationData shadowSpecialization : shadowedBy) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	855 name.append(sep);
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	856 name.append(shadowSpecialization.createReferenceName());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	857 sep = ", ";
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	858 }
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	859 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	860 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	861 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	862 }
10602 b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	863 }
b8fe1fe004ec Truffle-DSL: fixed bugs in the generated polymorphic code generation. Christian Humer <christian.humer@gmail.com> parents: 10600 diff changeset	864
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	865 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	866 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	867 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	868 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	869 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	870 } 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	871 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	872 } 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	873 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	874 } 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	875 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	876
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 // 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	878 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	879 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	880 } 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	881 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	882 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	883 name = filteredDo;
7382bbcac3a3 Truffle-DSL: better class names for specialization methods starting with do. Christian Humer <christian.humer@gmail.com> parents: 18771 diff changeset	884 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	885 }
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	886 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	887 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	888 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	889
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	890 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	891 // 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	892 }
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	893
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	894 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	895 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	896 }
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	897 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	898
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	899 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	900 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	901 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	902 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	903 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	904 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	905 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	906 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	907 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	908 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	909 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	910
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	911 for (String 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	912 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	913 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	914 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	915 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	916 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	917 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	918 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	919 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	920 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	921 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
79041ab43660 Truffle-DSL: 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 }
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	925 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	926 }
79041ab43660 Truffle-DSL: 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
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	928 private void initializeGuards(List<? extends Element> elements, NodeData node) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	929 Map<String, List<ExecutableElement>> potentialGuards = new HashMap<>();
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	930 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	931 for (GuardExpression exp : specialization.getGuards()) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	932 potentialGuards.put(exp.getGuardName(), null);
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	933 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	934 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	935
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	936 TypeMirror booleanType = context.getType(boolean.class);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	937 for (ExecutableElement potentialGuard : ElementFilter.methodsIn(elements)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	938 if (potentialGuard.getModifiers().contains(Modifier.PRIVATE)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	939 continue;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	940 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	941 String methodName = potentialGuard.getSimpleName().toString();
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	942 if (!potentialGuards.containsKey(methodName)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	943 continue;
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	944 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	945
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	946 if (!ElementUtils.typeEquals(potentialGuard.getReturnType(), booleanType)) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	947 continue;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	948 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	949
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	950 List<ExecutableElement> potentialMethods = potentialGuards.get(methodName);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	951 if (potentialMethods == null) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	952 potentialMethods = new ArrayList<>();
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	953 potentialGuards.put(methodName, potentialMethods);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	954 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	955 potentialMethods.add(potentialGuard);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	956 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	957
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	958 for (SpecializationData specialization : node.getSpecializations()) {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	959 for (GuardExpression exp : specialization.getGuards()) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	960 resolveGuardExpression(node, specialization, potentialGuards, exp);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	961 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	962 }
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	963 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	964
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	965 private void resolveGuardExpression(NodeData node, TemplateMethod source, Map<String, List<ExecutableElement>> guards, GuardExpression expression) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	966 List<ExecutableElement> availableGuards = guards.get(expression.getGuardName());
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	967 if (availableGuards == null) {
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	968 source.addError("No compatible guard with method name '%s' found.", expression.getGuardName());
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	969 return;
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	970 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	971
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	972 String[] childNames = expression.getChildNames();
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	973 if (childNames != null) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	974 NodeExecutionData[] resolvedExecutions = new NodeExecutionData[childNames.length];
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	975 for (int i = 0; i < childNames.length; i++) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	976 String childName = childNames[i];
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	977 NodeExecutionData execution = node.findExecutionByExpression(childName);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	978 if (execution == null) {
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	979 source.addError("Guard parameter '%s' for guard '%s' could not be mapped to a declared child node.", childName, expression.getGuardName());
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	980 return;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	981 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	982 resolvedExecutions[i] = execution;
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	983 }
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	984 expression.setResolvedChildren(resolvedExecutions);
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	985 }
16851 2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	986
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	987 GuardParser parser = new GuardParser(context, node, source, expression);
2db61eddcb97 Truffle-DSL: argument syntax support for guards Christian Humer <christian.humer@gmail.com> parents: 16834 diff changeset	988 List<GuardData> matchingGuards = parser.parse(availableGuards);
16907 09d99d3c0c95 Truffle-DSL: made guard parsing more robust. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	989 if (!matchingGuards.isEmpty() && matchingGuards.get(0) != null) {
09d99d3c0c95 Truffle-DSL: made guard parsing more robust. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	990 expression.setResolvedGuard(matchingGuards.get(0));
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	991 } else {
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	992 MethodSpec spec = parser.createSpecification(source.getMethod(), source.getMarkerAnnotation());
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	993 spec.applyTypeDefinitions("types");
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	994 source.addError("No guard with name '%s' matched the required signature. Expected signature: %n%s", expression.getGuardName(), spec.toSignatureString("guard"));
bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	995 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	996 }
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 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	999 if (!node.needsRewrites(context)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1000 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1001 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1002
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1003 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	1004 for (SpecializationData spec : node.getSpecializations()) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18754 diff changeset	1005 if (spec.isFallback()) {
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1006 generics.add(spec);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1007 }
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 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	1011 // 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	1012 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	1013 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	1014 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1015 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1016
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1017 if (generics.isEmpty()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1018 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	1019 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1020 if (generics.size() > 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1021 for (SpecializationData generic : generics) {
16760 9f38d222fa6c Truffle-DSL: renamed @Generic to @Fallback. Christian Humer <christian.humer@gmail.com> parents: 16759 diff changeset	1022 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	1023 }
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 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	1029 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	1030 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	1031
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1032 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	1033 int signatureIndex = 1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1034 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	1035 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	1036 if (spec.isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1037 signatureIndex++;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1038 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1039 }
13535 e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1040
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1041 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	1042 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	1043 if (generic == null) {
e8ef44830b50 Truffle-DSL: fixed bugs due to previous cleanup. addtional cleanup. Christian Humer <christian.humer@gmail.com> parents: 13528 diff changeset	1044 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	1045 }
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 return generic;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1048 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1049
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1050 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	1051 NodeExecutionData execution = spec.getExecution();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1052 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1053 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	1054 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	1055 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1056 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	1057 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1058 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1059 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	1060 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1061 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	1062 }
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 NodeChildData child = execution.getChild();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1065 TypeData genericType = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1066 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	1067 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	1068 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	1069 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	1070 genericType = singleType;
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1071 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1072 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1073 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	1074 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	1075 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	1076 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	1077 }
a069a87b9a02 Truffle-DSL: Added tests and verification of overridable generic execute methods. Christian Humer <christian.humer@gmail.com> parents: 18773 diff changeset	1078 genericType = type.getType();
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1079 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1080 return genericType.getPrimitiveType();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1081 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1082 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1083
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1084 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	1085 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1086 if (generic == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1087 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1088 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1089 for (Parameter parameter : generic.getReturnTypeAndParameters()) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1090 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	1091 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1092 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1093 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	1094 for (SpecializationData specialization : node.getSpecializations()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1095 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	1096 if (actualParameter != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1097 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	1098 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1099 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1100 if (types.size() > 1) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1101 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	1102 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1103 }
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1104 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	1105 // 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	1106 uninializedMethod.getMessages().clear();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1107 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	1108 }
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 private void initializePolymorphism(NodeData node) {
16755 bd28da642eea Truffle-DSL: Several new features implemented: Christian Humer <christian.humer@gmail.com> parents: 13535 diff changeset	1111 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	1112 return;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1113 }
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1114
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1115 SpecializationData generic = node.getGenericSpecialization();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1116
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1117 List<TypeData> polymorphicSignature = new ArrayList<>();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1118 List<Parameter> updatePolymorphic = Arrays.asList();
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1119 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	1120 if (!genericParameter.getSpecification().isSignature()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1121 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1122 }
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 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	1125 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	1126 if (!specialization.isSpecialized()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1127 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1128 }
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1129 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	1130 if (parameter == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1131 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	1132 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1133 usedTypes.add(parameter.getTypeSystemType());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1134 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1135
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1136 TypeData polymorphicType;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1137 if (usedTypes.size() == 1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1138 polymorphicType = usedTypes.iterator().next();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1139 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1140 polymorphicType = node.getTypeSystem().getGenericTypeData();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1141 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1142 polymorphicSignature.add(polymorphicType);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1143 }
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 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	1146 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	1147 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	1148 }
79041ab43660 Truffle-DSL: 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
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1150 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	1151 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	1152
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1153 boolean valid = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1154 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	1155 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	1156 if (!execution.isShortCircuit()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1157 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1158 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1159 shortCircuitExecutions.add(execution);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1160 String valueName = execution.getShortCircuitId();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1161 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	1162
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1163 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	1164 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	1165 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1166 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1167 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1168
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1169 boolean sameMethodName = true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1170 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	1171 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1172 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	1173 sameMethodName = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1174 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1175 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1176
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1177 if (!sameMethodName) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1178 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1179 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	1180 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1181 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1182 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1183 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1184
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1185 ShortCircuitData genericCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1186 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1187 if (isGenericShortCutMethod(circuit)) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1188 genericCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1189 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1190 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1191 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1192
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1193 if (genericCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1194 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	1195 valid = false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1196 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1197 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1198
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1199 for (ShortCircuitData circuit : availableCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1200 if (circuit != genericCircuit) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1201 circuit.setGenericShortCircuitMethod(genericCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1202 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1203 }
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 if (!valid) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1207 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	1208 }
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1209
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1210 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	1211 specializations.addAll(node.getSpecializations());
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1212 for (SpecializationData specialization : specializations) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1213 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	1214
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1215 for (NodeExecutionData shortCircuit : shortCircuitExecutions) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1216 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	1217
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1218 ShortCircuitData genericShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1219 ShortCircuitData compatibleShortCircuit = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1220 for (ShortCircuitData circuit : availableShortCuts) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1221 if (circuit.isGeneric()) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1222 genericShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1223 } 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	1224 compatibleShortCircuit = circuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1225 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1226 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1227
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1228 if (compatibleShortCircuit == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1229 compatibleShortCircuit = genericShortCircuit;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1230 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1231 assignedShortCuts.add(compatibleShortCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1232 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1233 specialization.setShortCircuits(assignedShortCuts);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1234 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1235 }
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 private boolean isGenericShortCutMethod(ShortCircuitData method) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1238 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	1239 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	1240 if (execution == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1241 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1242 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1243 ExecutableTypeData found = null;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1244 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	1245 for (ExecutableTypeData executable : executableElements) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1246 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	1247 found = executable;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1248 break;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1249 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1250 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1251 if (found == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1252 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1253 }
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 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1256 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1257
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1258 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	1259 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	1260 for (ShortCircuitData shortCircuit : shortCircuits) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1261 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	1262 if (circuits == null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1263 circuits = new ArrayList<>();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1264 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	1265 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1266 circuits.add(shortCircuit);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1267 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1268 return group;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1269 }
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 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	1272 int lastArgs = -1;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1273 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	1274 int signatureArgs = specializationData.getSignatureSize();
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1275 if (lastArgs == signatureArgs) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1276 continue;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1277 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1278 if (lastArgs != -1) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1279 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	1280 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	1281 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1282 return false;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1283 } else {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1284 lastArgs = signatureArgs;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1285 }
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 return true;
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1288 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1289
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1290 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	1291 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	1292 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	1293 }
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
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1296 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	1297 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	1298 // 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	1299 // 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	1300 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	1301 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1302
79041ab43660 Truffle-DSL: 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 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	1304 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	1305 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	1306 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	1307 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1308
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	1309 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	1310 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	1311 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	1312 }
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
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1315 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	1316 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	1317 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	1318 }
79041ab43660 Truffle-DSL: 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 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	1322 if (unusedMethod.getModifiers().contains(Modifier.ABSTRACT)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1323 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	1324 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	1325 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1326 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1327 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1328
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1329 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	1330 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	1331 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	1332 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	1333 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	1334 }
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 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	1339 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	1340 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	1341 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	1342 }
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1343 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	1344 if (sourceSpecialization.getExceptions() != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1345 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	1346 for (SpecializationThrowsData otherThrowsData : sourceSpecialization.getExceptions()) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1347 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	1348 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	1349 }
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
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1356 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	1357 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	1358 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	1359 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	1360 }
79041ab43660 Truffle-DSL: 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
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1362 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	1363 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	1364 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	1365 oneNonPrivate = true;
ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1366 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	1367 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1368 }
19282 ae81dd154fb6 Truffle-DSL: remove old DSL layout; Make new layout the default. Christian Humer <christian.humer@gmail.com> parents: 18811 diff changeset	1369 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	1370 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	1371 }
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	1372 }
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
10597 79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1374 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	1375 for (Element element : elements) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1376 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	1377 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	1378 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	1379 }
79041ab43660 Truffle-DSL: 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 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	1382 }
79041ab43660 Truffle-DSL: 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 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	1385 TypeMirror inhertNodeType = context.getTruffleTypes().getNode();
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1386 TypeMirror value = ElementUtils.getAnnotationValue(TypeMirror.class, annotation, valueName);
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1387 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	1388 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	1389 } 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	1390 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	1391 }
79041ab43660 Truffle-DSL: 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
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	1394 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	1395 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	1396 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	1397 }
79041ab43660 Truffle-DSL: 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 String methodName;
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1399 if (ElementUtils.typeEquals(type, context.getType(boolean.class))) {
23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1400 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	1401 } else {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1402 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	1403 }
79041ab43660 Truffle-DSL: 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 for (ExecutableElement method : ElementFilter.methodsIn(elements)) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1406 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	1407 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	1408 }
79041ab43660 Truffle-DSL: 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 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	1411 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1412
13528 5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1413 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	1414 if (element != null) {
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1415 collection.add(element);
5a0c694ef735 Truffle-DSL: Removed API classes NodeId, NodeContainer and SpecializationListener. Christian Humer <christian.humer@gmail.com> parents: 13527 diff changeset	1416 if (element.getSuperclass() != null) {
16759 23415229349b Truffle-DSL: new package structure. Christian Humer <christian.humer@gmail.com> parents: 16755 diff changeset	1417 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	1418 }
79041ab43660 Truffle-DSL: 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 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	1421 }
79041ab43660 Truffle-DSL: 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 }

Mercurial > hg > truffle

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