graal-jvmci-8: graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/generator/NodeBaseFactory.java annotate

author	Christian Humer <christian.humer@gmail.com>
date	Mon, 29 Dec 2014 23:38:16 +0100
parents
children	f6b8787dc113

rev	line source
18752 1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	23 package com.oracle.truffle.dsl.processor.generator;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import static com.oracle.truffle.dsl.processor.java.ElementUtils.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	26 import static javax.lang.model.element.Modifier.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	27
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	28 import java.util.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	29
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	30 import javax.lang.model.element.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	31 import javax.lang.model.type.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	32 import javax.lang.model.util.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	33
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	34 import com.oracle.truffle.api.dsl.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	35 import com.oracle.truffle.api.nodes.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	36 import com.oracle.truffle.dsl.processor.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	37 import com.oracle.truffle.dsl.processor.java.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	38 import com.oracle.truffle.dsl.processor.java.model.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	39 import com.oracle.truffle.dsl.processor.java.model.CodeTypeMirror.ArrayCodeTypeMirror;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	40 import com.oracle.truffle.dsl.processor.model.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	41 import com.oracle.truffle.dsl.processor.model.NodeChildData.Cardinality;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	42 import com.oracle.truffle.dsl.processor.parser.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	43 import com.oracle.truffle.dsl.processor.parser.SpecializationGroup.TypeGuard;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	44
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	45 class NodeBaseFactory extends AbstractClassElementFactory<SpecializationData> {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	46
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 private static final String THIS_NODE_LOCAL_VAR_NAME = "thisNode";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	48
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 static final String EXECUTE_CHAINED = "executeChained0";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 private static final String SPECIALIZE = "specialize0";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 private static final String DSLSHARE_REWRITE = "rewrite";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 private static final String DSLSHARE_FIND_ROOT = "findRoot";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 private static final String DSLSHARE_REWRITE_TO_POLYMORHPIC = "rewriteToPolymorphic";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 static final String EXECUTE_UNINITIALIZED = "executeUninitialized0";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 private static final String REWRITE = "rewrite0";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 private static final String CREATE_INFO = "createInfo0";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 static final String CONTAINS_FALLBACK = "containsFallback";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	58
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 static final String EMPTY_CLASS_ARRAY = "EMPTY_CLASS_ARRAY";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	60
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 static final String METADATA_FIELD_NAME = "METADATA";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	62
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	63 public static List<ExecutableElement> findUserConstructors(TypeMirror nodeType) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 List<ExecutableElement> constructors = new ArrayList<>();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 for (ExecutableElement constructor : ElementFilter.constructorsIn(ElementUtils.fromTypeMirror(nodeType).getEnclosedElements())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 if (constructor.getModifiers().contains(PRIVATE)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 if (isCopyConstructor(constructor)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 constructors.add(constructor);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	74
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 if (constructors.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 constructors.add(new CodeExecutableElement(null, ElementUtils.getSimpleName(nodeType)));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	78
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 return constructors;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	80 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	81
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 public static boolean isCopyConstructor(ExecutableElement element) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 if (element.getParameters().size() != 1) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 return false;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 VariableElement var = element.getParameters().get(0);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	87 TypeElement enclosingType = ElementUtils.findNearestEnclosingType(var);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 if (ElementUtils.typeEquals(var.asType(), enclosingType.asType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	89 return true;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 List<TypeElement> types = ElementUtils.getDirectSuperTypes(enclosingType);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 for (TypeElement type : types) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 if (!(type instanceof CodeTypeElement)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 // no copy constructors which are not generated types
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 return false;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	97
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 if (ElementUtils.typeEquals(var.asType(), type.asType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	99 return true;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 return false;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	104
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 @Override
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 protected CodeTypeElement create(SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 CodeTypeElement clazz = createClass(node, modifiers(PRIVATE, ABSTRACT, STATIC), baseClassName(node), node.getNodeType(), false);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 clazz.getImplements().add(context.getTruffleTypes().getDslNode());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	110
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 for (NodeChildData child : node.getChildren()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 clazz.add(createChildField(child));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	113
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 if (child.getAccessElement() != null && child.getAccessElement().getModifiers().contains(Modifier.ABSTRACT)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 ExecutableElement getter = (ExecutableElement) child.getAccessElement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), getter);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 method.getModifiers().remove(Modifier.ABSTRACT);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 builder.startReturn().string("this.").string(child.getName()).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 clazz.add(method);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	122 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	123
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 for (NodeFieldData field : node.getFields()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	125 if (!field.isGenerated()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	126 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	127 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	128
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 clazz.add(new CodeVariableElement(modifiers(PROTECTED, FINAL), field.getType(), field.getName()));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 if (field.getGetter() != null && field.getGetter().getModifiers().contains(Modifier.ABSTRACT)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), field.getGetter());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 method.getModifiers().remove(Modifier.ABSTRACT);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	133 method.createBuilder().startReturn().string("this.").string(field.getName()).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 clazz.add(method);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	135 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	137
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 for (String assumption : node.getAssumptions()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 clazz.add(createAssumptionField(assumption));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	140 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	141
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	142 createConstructors(node, clazz);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	143
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 return clazz;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	146
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	147 @Override
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 protected void createChildren(SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 CodeTypeElement clazz = getElement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	151
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 SpecializationGroup rootGroup = createSpecializationGroups(node);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	153
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 if (node.needsRewrites(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 if (node.isPolymorphic(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	156
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	157 CodeVariableElement var = new CodeVariableElement(modifiers(PROTECTED), clazz.asType(), "next0");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 var.getAnnotationMirrors().add(new CodeAnnotationMirror(getContext().getTruffleTypes().getChildAnnotation()));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	159 clazz.add(var);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	160
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 CodeExecutableElement genericCachedExecute = createCachedExecute(node, node.getPolymorphicSpecialization());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 clazz.add(genericCachedExecute);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	163
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	164 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	165
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	166 for (CodeExecutableElement method : createImplicitChildrenAccessors()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 clazz.add(method);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	169 clazz.add(createInfoMessage(node));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 clazz.add(createMonomorphicRewrite());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	171 clazz.add(createCreateSpecializationMethod(node, rootGroup));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	173
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	174 clazz.add(createAdoptChildren0());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 clazz.add(createGetMetadata0(true));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 clazz.add(createUpdateTypes0());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 clazz.add(createGetNext());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	178 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	179
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 private Element createGetNext() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	181 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC, FINAL), context.getType(Node.class), "getNext0");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	183 NodeData node = getModel().getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	184
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 if (node.isPolymorphic(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	186 builder.startReturn().string("next0").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	187 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 builder.returnNull();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	189 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	190
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	193
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 protected final CodeExecutableElement createUpdateTypes0() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	195 ArrayType classArray = new ArrayCodeTypeMirror(context.getType(Class.class));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), context.getType(void.class), "updateTypes0");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 method.getParameters().add(new CodeVariableElement(classArray, "types"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	198
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 if (getModel().isPolymorphic()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	200 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	201
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 int index = 0;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 for (NodeExecutionData execution : getModel().getNode().getChildExecutions()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	204 String fieldName = polymorphicTypeName(execution);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	205
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 builder.startStatement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	207 builder.string(fieldName).string(" = ").string("types[").string(String.valueOf(index)).string("]");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	208 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 index++;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	210 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	211 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	212
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	213 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	214 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	215
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	216 protected final CodeExecutableElement createGetMetadata0(boolean empty) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), context.getTruffleTypes().getDslMetadata(), "getMetadata0");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 if (empty) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	219 method.createBuilder().startReturn().staticReference(context.getTruffleTypes().getDslMetadata(), "NONE").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	220 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	221 method.createBuilder().startReturn().string(METADATA_FIELD_NAME).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	223 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	224 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	225
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	226 private CodeExecutableElement createAdoptChildren0() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC, FINAL), context.getType(void.class), "adoptChildren0");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 method.getParameters().add(new CodeVariableElement(context.getTruffleTypes().getNode(), "other"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	229 method.getParameters().add(new CodeVariableElement(context.getTruffleTypes().getNode(), "newNext"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	230 NodeData node = getModel().getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	232 List<NodeExecutionData> executions = node.getChildExecutions();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	233
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	234 if (executions.size() > 0) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 builder.startIf().string("other == null").end().startBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	236 for (NodeExecutionData execution : executions) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	237 builder.startStatement().tree(createAccessChild(execution, "this")).string(" = null").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	238 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 builder.end().startElseBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	240
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	241 String access;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 if (executions.size() > 1) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	243 builder.declaration(baseClassName(node), "otherCast", builder.create().cast(baseClassName(node)).string("other"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	244 access = "otherCast";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 assert executions.size() == 1;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 access = "((" + baseClassName(node) + ") other)";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	248 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	249 for (NodeExecutionData execution : executions) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	250 builder.startStatement().tree(createAccessChild(execution, "this")).string(" = ").tree(createAccessChild(execution, access)).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	252
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	253 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	254 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	255
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	256 if (getModel().getNode().isPolymorphic(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	257 builder.startIf().string("newNext == null").end().startBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	258 builder.statement("this.next0 = null");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	259 builder.end().startElseBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	260 builder.statement("this.next0 = (" + baseClassName(getModel().getNode()) + ") newNext");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	261 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	263
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	264 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	265 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	266
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 private List<CodeExecutableElement> createImplicitChildrenAccessors() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	268 NodeData node = getModel().getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 List<Set<TypeData>> prototype = Collections.nCopies(node.getGenericSpecialization().getParameters().size(), null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	270 List<Set<TypeData>> expectTypes = new ArrayList<>(prototype);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	271
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 for (ExecutableTypeData executableType : node.getExecutableTypes()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 for (int i = 0; i < executableType.getEvaluatedCount(); i++) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	274 Parameter parameter = executableType.getSignatureParameter(i);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	275 if (i >= expectTypes.size()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	276 break;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	278 Set<TypeData> types = expectTypes.get(i);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 if (types == null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	280 types = new TreeSet<>();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	281 expectTypes.set(i, types);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	282 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	283 types.add(parameter.getTypeSystemType());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	284 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	286
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 List<CodeExecutableElement> methods = new ArrayList<>();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	288 List<Set<TypeData>> visitedList = new ArrayList<>(prototype);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 for (SpecializationData spec : node.getSpecializations()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	290 int signatureIndex = -1;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 for (Parameter param : spec.getParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 if (!param.getSpecification().isSignature()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 signatureIndex++;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 Set<TypeData> visitedTypeData = visitedList.get(signatureIndex);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 if (visitedTypeData == null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	298 visitedTypeData = new TreeSet<>();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 visitedList.set(signatureIndex, visitedTypeData);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	301
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	302 if (visitedTypeData.contains(param.getTypeSystemType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	303 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	304 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	305 visitedTypeData.add(param.getTypeSystemType());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	306
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	307 Set<TypeData> expect = expectTypes.get(signatureIndex);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 if (expect == null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 expect = Collections.emptySet();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	311
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 methods.addAll(createExecuteChilds(param, expect));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	313 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 return methods;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	316 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	317
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 private CodeTree truffleBooleanOption(CodeTreeBuilder parent, String name) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 CodeTreeBuilder builder = parent.create();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	320 builder.staticReference(getContext().getTruffleTypes().getTruffleOptions(), name);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 return builder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	323
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 private final void addInternalValueParameters(CodeExecutableElement method, TemplateMethod specialization, boolean forceFrame, boolean disableFrame, boolean evaluated) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 if (forceFrame && !disableFrame && specialization.getSpecification().findParameterSpec("frame") != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 method.addParameter(new CodeVariableElement(getContext().getTruffleTypes().getFrame(), "frameValue"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 for (Parameter parameter : specialization.getParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	329 ParameterSpec spec = parameter.getSpecification();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	330 if ((disableFrame \|\| forceFrame) && spec.getName().equals("frame")) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	333 if (spec.isLocal()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	334 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	336
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 String name = valueName(parameter);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	338 if (evaluated && spec.isSignature()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 name = valueNameEvaluated(parameter);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	341
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	342 method.addParameter(new CodeVariableElement(parameter.getType(), name));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	343 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	344 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	345
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	346 private Element createInfoMessage(NodeData node) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 CodeExecutableElement method = new CodeExecutableElement(modifiers(PROTECTED, STATIC), getContext().getType(String.class), CREATE_INFO);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 method.addParameter(new CodeVariableElement(getContext().getType(String.class), "message"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 addInternalValueParameters(method, node.getGenericSpecialization(), false, false, false);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	350
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	352
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	353 builder.startIf().tree(truffleBooleanOption(builder, TruffleTypes.OPTION_DETAILED_REWRITE_REASONS)).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 builder.startBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	355
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 builder.startStatement().string("StringBuilder builder = new StringBuilder(message)").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	357 builder.startStatement().startCall("builder", "append").doubleQuote(" (").end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	358
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	359 String sep = null;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 for (Parameter parameter : node.getGenericSpecialization().getSignatureParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	361 builder.startStatement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	362 builder.string("builder");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	363 if (sep != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	364 builder.startCall(".append").doubleQuote(sep).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	365 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 builder.startCall(".append").doubleQuote(parameter.getLocalName()).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 builder.startCall(".append").doubleQuote(" = ").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 builder.startCall(".append").string(parameter.getLocalName()).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	369 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	370
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 if (!ElementUtils.isPrimitive(parameter.getType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	372 builder.startIf().string(parameter.getLocalName() + " != null").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	373 builder.startBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	374 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	375 builder.startStatement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	376 if (ElementUtils.isPrimitive(parameter.getType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 builder.startCall("builder.append").doubleQuote(" (" + ElementUtils.getSimpleName(parameter.getType()) + ")").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	378 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 builder.startCall("builder.append").doubleQuote(" (").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	380 builder.startCall(".append").string(parameter.getLocalName() + ".getClass().getSimpleName()").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 builder.startCall(".append").doubleQuote(")").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	382 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	384 if (!ElementUtils.isPrimitive(parameter.getType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	385 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	387
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 sep = ", ";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	390
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	391 builder.startStatement().startCall("builder", "append").doubleQuote(")").end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 builder.startReturn().string("builder.toString()").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	393
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	394 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 builder.startElseBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 builder.startReturn().string("message").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	398
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	401
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 private CodeExecutableElement createCachedExecute(NodeData node, SpecializationData polymorph) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 CodeExecutableElement cachedExecute = new CodeExecutableElement(modifiers(PROTECTED, ABSTRACT), polymorph.getReturnType().getType(), EXECUTE_CHAINED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 addInternalValueParameters(cachedExecute, polymorph, true, false, false);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	405
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 ExecutableTypeData sourceExecutableType = node.findExecutableType(polymorph.getReturnType().getTypeSystemType(), 0);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 boolean sourceThrowsUnexpected = sourceExecutableType != null && sourceExecutableType.hasUnexpectedValue(getContext());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 if (sourceThrowsUnexpected && sourceExecutableType.getType().equals(node.getGenericSpecialization().getReturnType().getTypeSystemType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	409 sourceThrowsUnexpected = false;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 if (sourceThrowsUnexpected) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	412 cachedExecute.getThrownTypes().add(getContext().getType(UnexpectedResultException.class));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	413 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 return cachedExecute;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	415
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	416 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	417
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 private void createConstructors(NodeData node, CodeTypeElement clazz) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 List<ExecutableElement> constructors = findUserConstructors(node.getNodeType());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 ExecutableElement sourceSectionConstructor = null;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 if (constructors.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 clazz.add(createUserConstructor(clazz, null));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 for (ExecutableElement constructor : constructors) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	425 clazz.add(createUserConstructor(clazz, constructor));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 if (NodeParser.isSourceSectionConstructor(context, constructor)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 sourceSectionConstructor = constructor;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	430 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 if (node.needsRewrites(getContext())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 ExecutableElement copyConstructor = findCopyConstructor(node.getNodeType());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	433 clazz.add(createCopyConstructor(clazz, copyConstructor, sourceSectionConstructor));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	435 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	436
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 private CodeExecutableElement createUserConstructor(CodeTypeElement type, ExecutableElement superConstructor) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 CodeExecutableElement method = new CodeExecutableElement(null, type.getSimpleName().toString());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	440
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	441 NodeData node = getModel().getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	442
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 if (superConstructor != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 for (VariableElement param : superConstructor.getParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	445 method.getParameters().add(CodeVariableElement.clone(param));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	446 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	447 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	448
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 if (superConstructor != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	450 builder.startStatement().startSuperCall();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	451 for (VariableElement param : superConstructor.getParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 builder.string(param.getSimpleName().toString());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	453 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 builder.end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	455 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	456
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	457 for (VariableElement var : type.getFields()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	458 if (var.getModifiers().contains(STATIC)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	461 NodeChildData child = node.findChild(var.getSimpleName().toString());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	462
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	463 if (child != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 method.getParameters().add(new CodeVariableElement(child.getOriginalType(), child.getName()));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	465 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	466 method.getParameters().add(new CodeVariableElement(var.asType(), var.getSimpleName().toString()));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	467 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	468
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	469 builder.startStatement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	470 String fieldName = var.getSimpleName().toString();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	471
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	472 CodeTree init = createStaticCast(builder, child, fieldName);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	473
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	474 builder.string("this.").string(fieldName).string(" = ").tree(init);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	477 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	478 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	479
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	480 private CodeTree createStaticCast(CodeTreeBuilder parent, NodeChildData child, String fieldName) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 NodeData parentNode = getModel().getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	482 if (child != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 CreateCastData createCast = parentNode.findCast(child.getName());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 if (createCast != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 return createTemplateMethodCall(parent, null, parentNode.getGenericSpecialization(), createCast, null, fieldName);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	486 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	488 return CodeTreeBuilder.singleString(fieldName);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	489 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	490
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	491 private CodeExecutableElement createCopyConstructor(CodeTypeElement type, ExecutableElement superConstructor, ExecutableElement sourceSectionConstructor) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 CodeExecutableElement method = new CodeExecutableElement(null, type.getSimpleName().toString());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	493 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 method.getParameters().add(new CodeVariableElement(type.asType(), "copy"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	495
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 if (superConstructor != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	497 builder.startStatement().startSuperCall().string("copy").end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	498 } else if (sourceSectionConstructor != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	499 builder.startStatement().startSuperCall().string("copy.getSourceSection()").end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	500 }

18752

1acaa69ff61b Truffle-DSL: refactor generator classes