graal-compiler: graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeCodeGenerator.java annotate

author	Christian Humer <christian.humer@gmail.com>
date	Fri, 18 Jan 2013 13:28:12 +0100
parents
children	5e3d1a68664e

rev	line source
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	23 package com.oracle.truffle.codegen.processor.node;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import static com.oracle.truffle.codegen.processor.Utils.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	26 import static javax.lang.model.element.Modifier.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	27
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	28 import java.util.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	29
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	30 import javax.lang.model.element.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	31 import javax.lang.model.type.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	32 import javax.lang.model.util.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	33
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	34 import com.oracle.truffle.codegen.processor.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	35 import com.oracle.truffle.codegen.processor.ast.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	36 import com.oracle.truffle.codegen.processor.node.NodeFieldData.ExecutionKind;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	37 import com.oracle.truffle.codegen.processor.template.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	38 import com.oracle.truffle.codegen.processor.typesystem.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	39
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	40
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	41 public class NodeCodeGenerator extends CompilationUnitFactory<NodeData> {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	42
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	43 private static final String THIS_NODE_LOCAL_VAR_NAME = "thisNode";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	44
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	45 public NodeCodeGenerator(ProcessorContext context) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	46 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 private TypeMirror getUnexpectedValueException() {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 return getContext().getTruffleTypes().getUnexpectedValueException();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 private static String factoryClassName(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 return nodeClassName(node) + "Factory";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 private static String nodeClassName(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 return Utils.getSimpleName(node.getTemplateType().asType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	60
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 private static String nodeClassName(SpecializationData specialization) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	62 String name = "";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	63 if (specialization.getNode().getSpecializations().length > 1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 name = specialization.getMethodName();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 if (name.startsWith("do")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 name = name.substring(2);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 name += nodeClassName(specialization.getNode());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 if (name.equals(Utils.getSimpleName(specialization.getNode().getNodeType()))
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 \|\| name.equals(Utils.getSimpleName(specialization.getNode().getTemplateType()))) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 name = name + "Impl";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 return name;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 private static String valueName(NodeFieldData field) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 return field.getName() + "Value";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 private static String valueName(TemplateMethod method, ActualParameter param) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 NodeData node = (NodeData) method.getTemplate();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 NodeFieldData field = node.findField(param.getSpecification().getName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 if (field != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 return valueName(field);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	87 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 return param.getSpecification().getName();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	89 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 private void addValueParameters(CodeExecutableElement method, TemplateMethod specialization, boolean forceFrame) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 if (forceFrame) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 method.addParameter(new CodeVariableElement(getContext().getTruffleTypes().getFrame(), "frame"));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 for (ActualParameter parameter : specialization.getParameters()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 ParameterSpec spec = parameter.getSpecification();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 if (forceFrame && spec.getName().equals("frame")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	99 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 method.addParameter(new CodeVariableElement(parameter.getActualType(), valueName(specialization, parameter)));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	104
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 private static void addValueParameterNames(CodeTreeBuilder builder, TemplateMethod specialization, String unexpectedValueName, boolean forceFrame) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 if (forceFrame) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 builder.string("frame");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 for (ActualParameter parameter : specialization.getParameters()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 ParameterSpec spec = parameter.getSpecification();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 if (forceFrame && spec.getName().equals("frame")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 if (unexpectedValueName != null && spec.getName().equals(unexpectedValueName)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 builder.string("ex.getResult()");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 builder.string(valueName(specialization, parameter));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	123 private static void addValueParameterNamesWithCasts(ProcessorContext context, CodeTreeBuilder body, SpecializationData specialization) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 for (ActualParameter param : specialization.getParameters()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	125 TypeData typeData = param.getActualTypeData(specialization.getNode().getTypeSystem());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	126 if (typeData == null \|\| typeData.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	127 body.string(valueName(specialization, param));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	128 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 String methodName = TypeSystemCodeGenerator.asTypeMethodName(typeData);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 startCallTypeSystemMethod(context, body, specialization.getNode(), methodName);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 body.string(valueName(specialization, param));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 body.end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	133 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	135 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	136
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137 private static String genClassName(Template operation) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 return getSimpleName(operation.getTemplateType()) + "Gen";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	140
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	141 private static void startCallOperationMethod(CodeTreeBuilder body, TemplateMethod method) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	142 body.startGroup();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	143 if (body.findMethod().getModifiers().contains(STATIC)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 body.string(THIS_NODE_LOCAL_VAR_NAME);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 body.string("super");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 body.string(".");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 body.startCall(method.getMethodName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	151
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 private static void startCallTypeSystemMethod(ProcessorContext context, CodeTreeBuilder body, NodeData node, String methodName) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	153 VariableElement singleton = TypeSystemCodeGenerator.findSingleton(context, node.getTypeSystem());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 assert singleton != null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 body.startGroup();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157 body.staticReference(singleton.getEnclosingElement().asType(), singleton.getSimpleName().toString());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 body.string(".").startCall(methodName);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	159 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	160
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 private static void emitGuards(ProcessorContext context, CodeTreeBuilder body, String prefix, SpecializationData specialization, boolean onSpecialization, boolean needsCast) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 TypeSystemData typeSystem = specialization.getNode().getTypeSystem();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	163 // Implict guards based on method signature
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	164 String andOperator = prefix;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	165 for (NodeFieldData field : specialization.getNode().getFields()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	166 ActualParameter param = specialization.findParameter(field.getName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 TypeData type = param.getActualTypeData(typeSystem);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 if (type == null \|\| type.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	169 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	171
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 body.string(andOperator);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	173 startCallTypeSystemMethod(context, body, specialization.getNode(),
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	174 TypeSystemCodeGenerator.isTypeMethodName(type));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 body.string(valueName(specialization, param));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 body.end().end(); // call
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 andOperator = " && ";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	178 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	179
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 if (specialization.getGuards().length > 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	181 // Explicitly specified guards
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 for (SpecializationGuardData guard : specialization.getGuards()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183 if ((guard.isOnSpecialization() && onSpecialization)
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 \|\| (guard.isOnExecution() && !onSpecialization)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 body.string(andOperator);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	186
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	187 startCallOperationMethod(body, guard.getGuardDeclaration());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	189 if (needsCast) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	190 addValueParameterNamesWithCasts(context, body, specialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 addValueParameterNames(body, specialization, null, false);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	193 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 body.end().end(); // call
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195 andOperator = " && ";
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	200
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	201 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 protected void createChildren(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 Map<NodeData, List<TypeElement>> childTypes = new LinkedHashMap<>();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	204 if (node.getDeclaredChildren() != null && !node.getDeclaredChildren().isEmpty()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	205 for (NodeData nodeChild : node.getDeclaredChildren()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 NodeCodeGenerator generator = new NodeCodeGenerator(getContext());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	207 childTypes.put(nodeChild, generator.process(null, nodeChild).getEnclosedElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	210
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	211 if (node.getExtensionElements() != null && !node.getExtensionElements().isEmpty()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 NodeGenFactory factory = new NodeGenFactory(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	213 add(factory, node);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	214 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	215
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	216 if (node.getSpecializations() == null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 return;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	219
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	220 if (node.needsFactory() \|\| childTypes.size() > 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	221 add(new NodeFactoryFactory(context, childTypes), node);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	223 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	224
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	225 private class NodeGenFactory extends ClassElementFactory<NodeData> {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	226
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 public NodeGenFactory(ProcessorContext context) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	229 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	230
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	232 protected CodeTypeElement create(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233 CodeTypeElement clazz = createClass(node, modifiers(PUBLIC, ABSTRACT), genClassName(node), node.getTemplateType().asType(), false);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	234
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 for (ExecutableElement executable : ElementFilter.constructorsIn(node.getTemplateType().getEnclosedElements())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	236 CodeExecutableElement superConstructor = createSuperConstructor(clazz, executable);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	237
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	238 if (superConstructor != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 if (superConstructor.getParameters().size() == 1
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	240 && Utils.typeEquals(superConstructor.getParameters().get(0).asType(), node.getTemplateType().asType())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	241 String originalName = superConstructor.getParameters().get(0).getSimpleName().toString();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 superConstructor.getParameters().clear();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	243 superConstructor.getParameters().add(new CodeVariableElement(clazz.asType(), originalName));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	244 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 clazz.add(superConstructor);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	248
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	249 if (node.getExtensionElements() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	250 clazz.getEnclosedElements().addAll(node.getExtensionElements());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	253 node.setNodeType(clazz.asType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	254
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	255 return clazz;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	256 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	257
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	258 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	259
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	260 private class NodeFactoryFactory extends ClassElementFactory<NodeData> {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	261
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 private final Map<NodeData, List<TypeElement>> childTypes;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	263
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	264 public NodeFactoryFactory(ProcessorContext context, Map<NodeData, List<TypeElement>> childElements) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	265 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	266 this.childTypes = childElements;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	268
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	270 protected CodeTypeElement create(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	271 Modifier visibility = Utils.getVisibility(node.getTemplateType().getModifiers());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 CodeTypeElement clazz = createClass(node, modifiers(), factoryClassName(node), null, false);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	274 clazz.getModifiers().add(visibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	275 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	276 clazz.getModifiers().add(Modifier.FINAL);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 clazz.add(createConstructorUsingFields(modifiers(PRIVATE), clazz));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	278 return clazz;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	280
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	281 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	282 protected void createChildren(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	283 CodeTypeElement clazz = getElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	284
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 Modifier createVisibility = Utils.getVisibility(clazz.getModifiers());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	286
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 if (node.needsFactory()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	288 createFactoryMethods(node, clazz, createVisibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	289
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	290 if (node.getSpecializations().length > 1) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 clazz.add(createCreateSpecializedMethod(node, createVisibility));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	293
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 if (node.needsRewrites(getContext())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 clazz.add(createSpecializeMethod(node));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 clazz.add(createGeneratedGenericMethod(node));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 for (SpecializationData specialization : node.getSpecializations()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 add(new SpecializedNodeFactory(context), specialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	301 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	302 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	303
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	304 for (NodeData childNode : childTypes.keySet()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	305 if (childNode.getTemplateType().getModifiers().contains(Modifier.PRIVATE)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	308
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 for (TypeElement type : childTypes.get(childNode)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 Set<Modifier> typeModifiers = ((CodeTypeElement) type).getModifiers();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	311 Modifier visibility = Utils.getVisibility(type.getModifiers());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 typeModifiers.clear();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	313 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 typeModifiers.add(visibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	316
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	317 typeModifiers.add(Modifier.STATIC);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 typeModifiers.add(Modifier.FINAL);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 clazz.add(type);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	320 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	323
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 private void createFactoryMethods(NodeData node, CodeTypeElement clazz, Modifier createVisibility) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 for (ExecutableElement constructor : ElementFilter.constructorsIn(Utils.fromTypeMirror(node.getNodeType()).getEnclosedElements())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 if (constructor.getModifiers().contains(PRIVATE)) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	329
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	330 // skip node rewrite constructor
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 if (constructor.getParameters().size() == 1
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 && typeEquals(constructor.getParameters().get(0).asType(), node.getNodeType())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	333 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	334 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	335
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	336 clazz.add(createCreateMethod(node, createVisibility, constructor));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	338 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 private CodeExecutableElement createCreateMethod(NodeData node, Modifier visibility, ExecutableElement constructor) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), constructor);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	342 method.setSimpleName(CodeNames.of("create"));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	343 method.getModifiers().clear();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	344 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	345 method.getModifiers().add(visibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	346 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 method.getModifiers().add(Modifier.STATIC);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 method.setReturnType(node.getNodeType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	350 CodeTreeBuilder body = method.createBuilder();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 body.startReturn();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	352 if (node.getSpecializations().length == 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	353 body.null_();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 body.startNew(nodeClassName(node.getSpecializations()[0]));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 for (VariableElement var : method.getParameters()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	357 body.string(var.getSimpleName().toString());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359 body.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	361 body.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	362 return method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	363 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	364
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	365 private CodeExecutableElement createCreateSpecializedMethod(NodeData node, Modifier visibility) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 CodeExecutableElement method = new CodeExecutableElement(modifiers(), node.getNodeType(), "createSpecialized");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 method.getModifiers().add(visibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 method.getModifiers().add(Modifier.STATIC);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	372 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	373 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), "specializationClass"));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	374
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	375 CodeTreeBuilder body = method.createBuilder();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	376 boolean first = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 for (TypeData type : node.getTypeSystem().getTypes()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	378 SpecializationData specialization = node.findUniqueSpecialization(type);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 if (specialization != null && !type.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	380 if (first) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 body.startIf();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	382 first = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	384 body.startElseIf();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	385 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 body.string("specializationClass == ").type(type.getBoxedType()).string(".class").end().startBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	387 body.startReturn().startNew(nodeClassName(specialization));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 body.string(THIS_NODE_LOCAL_VAR_NAME);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 body.end().end(); // new, return
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391 body.end(); // if
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	393 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	394 body.startReturn().startNew(nodeClassName(node.getGenericSpecialization()));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 body.string(THIS_NODE_LOCAL_VAR_NAME);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 body.end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 return method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	398 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 private CodeExecutableElement createSpecializeMethod(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	401 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE, STATIC), node.getNodeType(), "specialize");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), "minimumState"));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 addValueParameters(method, node.getGenericSpecialization(), false);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	405
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 CodeTreeBuilder body = method.createBuilder();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 body.startStatement().string("boolean allowed = (minimumState == ").string(nodeClassName(node.getSpecializations()[0])).string(".class)").end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	408
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409 for (int i = 1; i < node.getSpecializations().length; i++) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 SpecializationData specialization = node.getSpecializations()[i];
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 body.startStatement().string("allowed = allowed \|\| (minimumState == ").string(nodeClassName(specialization)).string(".class)").end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	413 if (specialization.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 body.startIf().string("allowed").end().startBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	415 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	416 body.startIf().string("allowed");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	417 emitGuards(getContext(), body, " && ", specialization, true, true);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 body.end().startBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 body.startReturn().startNew(nodeClassName(specialization));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 body.string(THIS_NODE_LOCAL_VAR_NAME);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 body.end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 body.end(); // block
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	425 body.startThrow().startNew(getContext().getType(IllegalArgumentException.class)).end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 return method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 private CodeExecutableElement createGeneratedGenericMethod(NodeData node) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE, STATIC), node.getGenericSpecialization().getReturnType().getActualType(), "generatedGeneric");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 addValueParameters(method, node.getGenericSpecialization(), true);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	435
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	436 CodeTreeBuilder builder = method.createBuilder();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 boolean ifStarted = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 for (int i = 0; i < node.getSpecializations().length; i++) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 SpecializationData specialization = node.getSpecializations()[i];
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 if (specialization.isUninitialized()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	441 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 if (!specialization.isGeneric()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 if (!ifStarted) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445 builder.startIf();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	446 ifStarted = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	447 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 builder.startElseIf();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	450 emitGuards(getContext(), builder, "", specialization, false, true);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	451 builder.end().startBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453 builder.startElseBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	455
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	456 emitInvokeDoMethod(builder, specialization, 0);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	457 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	458 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 return method;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	461
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	462 private void emitInvokeDoMethod(CodeTreeBuilder builder, SpecializationData specialization, int level) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463 if (specialization.getExceptions().length > 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 builder.startTryBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	465 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	466
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	467 builder.startReturn();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	468 startCallOperationMethod(builder, specialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	469 addValueParameterNamesWithCasts(context, builder, specialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	470 builder.end().end(); // start call operation
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	471 builder.end(); // return
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	472
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	473 if (specialization.getExceptions().length > 0) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	474 for (SpecializationThrowsData exception : specialization.getExceptions()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 builder.end().startCatchBlock(exception.getJavaClass(), "ex" + level);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 emitInvokeDoMethod(builder, exception.getTransitionTo(), level + 1);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	477 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	478 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	479 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	480 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	482
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 private class SpecializedNodeFactory extends ClassElementFactory<SpecializationData> {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	486 public SpecializedNodeFactory(ProcessorContext context) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	488 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	489
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	490 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	491 public CodeTypeElement create(SpecializationData specialization) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 NodeData node = specialization.getNode();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	493 CodeTypeElement clazz = createClass(node, modifiers(PRIVATE, STATIC, FINAL), nodeClassName(specialization), node.getNodeType(), false);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 return clazz;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	495 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	496
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	497 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	498 protected void createChildren(SpecializationData specialization) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	499 CodeTypeElement clazz = getElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	500 NodeData node = specialization.getNode();

7502

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

1 /*

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

4 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

5 * This code is free software; you can redistribute it and/or modify it

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

6 * under the terms of the GNU General Public License version 2 only, as

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

7 * published by the Free Software Foundation.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

8 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

9 * This code is distributed in the hope that it will be useful, but WITHOUT

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

12 * version 2 for more details (a copy is included in the LICENSE file that

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

13 * accompanied this code).

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

14 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

15 * You should have received a copy of the GNU General Public License version

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

16 * 2 along with this work; if not, write to the Free Software Foundation,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

18 *

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

20 * or visit www.oracle.com if you need additional information or have any

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

21 * questions.

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

22 */

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

23 package com.oracle.truffle.codegen.processor.node;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

24

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

25 import static com.oracle.truffle.codegen.processor.Utils.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

26 import static javax.lang.model.element.Modifier.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

27

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

28 import java.util.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

29

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

30 import javax.lang.model.element.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

31 import javax.lang.model.type.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

32 import javax.lang.model.util.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

33

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

34 import com.oracle.truffle.codegen.processor.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

35 import com.oracle.truffle.codegen.processor.ast.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

36 import com.oracle.truffle.codegen.processor.node.NodeFieldData.ExecutionKind;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

37 import com.oracle.truffle.codegen.processor.template.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

38 import com.oracle.truffle.codegen.processor.typesystem.*;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

39

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

40

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

41 public class NodeCodeGenerator extends CompilationUnitFactory<NodeData> {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

42

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

43 private static final String THIS_NODE_LOCAL_VAR_NAME = "thisNode";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

44

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

45 public NodeCodeGenerator(ProcessorContext context) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

46 super(context);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

47 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

48

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

49 private TypeMirror getUnexpectedValueException() {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

50 return getContext().getTruffleTypes().getUnexpectedValueException();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

51 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

52

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

53 private static String factoryClassName(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

54 return nodeClassName(node) + "Factory";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

55 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

56

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

57 private static String nodeClassName(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

58 return Utils.getSimpleName(node.getTemplateType().asType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

59 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

60

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

61 private static String nodeClassName(SpecializationData specialization) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

62 String name = "";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

63 if (specialization.getNode().getSpecializations().length > 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

64 name = specialization.getMethodName();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

65 if (name.startsWith("do")) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

66 name = name.substring(2);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

67 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

68 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

69 name += nodeClassName(specialization.getNode());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

70 if (name.equals(Utils.getSimpleName(specialization.getNode().getNodeType()))

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

71 || name.equals(Utils.getSimpleName(specialization.getNode().getTemplateType()))) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

72 name = name + "Impl";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

73 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

74

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

75 return name;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

76 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

77

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

78 private static String valueName(NodeFieldData field) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

79 return field.getName() + "Value";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

80 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

81

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

82 private static String valueName(TemplateMethod method, ActualParameter param) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

83 NodeData node = (NodeData) method.getTemplate();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

84 NodeFieldData field = node.findField(param.getSpecification().getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

85 if (field != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

86 return valueName(field);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

87 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

88 return param.getSpecification().getName();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

89 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

90 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

91

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

92 private void addValueParameters(CodeExecutableElement method, TemplateMethod specialization, boolean forceFrame) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

93 if (forceFrame) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

94 method.addParameter(new CodeVariableElement(getContext().getTruffleTypes().getFrame(), "frame"));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

95 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

96 for (ActualParameter parameter : specialization.getParameters()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

97 ParameterSpec spec = parameter.getSpecification();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

98 if (forceFrame && spec.getName().equals("frame")) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

99 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

100 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

101 method.addParameter(new CodeVariableElement(parameter.getActualType(), valueName(specialization, parameter)));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

102 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

103 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

104

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

105 private static void addValueParameterNames(CodeTreeBuilder builder, TemplateMethod specialization, String unexpectedValueName, boolean forceFrame) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

106 if (forceFrame) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

107 builder.string("frame");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

108 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

109 for (ActualParameter parameter : specialization.getParameters()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

110 ParameterSpec spec = parameter.getSpecification();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

111 if (forceFrame && spec.getName().equals("frame")) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

112 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

113 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

114

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

115 if (unexpectedValueName != null && spec.getName().equals(unexpectedValueName)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

116 builder.string("ex.getResult()");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

117 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

118 builder.string(valueName(specialization, parameter));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

119 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

120 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

121 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

122

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

123 private static void addValueParameterNamesWithCasts(ProcessorContext context, CodeTreeBuilder body, SpecializationData specialization) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

124 for (ActualParameter param : specialization.getParameters()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

125 TypeData typeData = param.getActualTypeData(specialization.getNode().getTypeSystem());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

126 if (typeData == null || typeData.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

127 body.string(valueName(specialization, param));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

128 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

129 String methodName = TypeSystemCodeGenerator.asTypeMethodName(typeData);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

130 startCallTypeSystemMethod(context, body, specialization.getNode(), methodName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

131 body.string(valueName(specialization, param));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

132 body.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

133 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

134 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

135 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

136

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

137 private static String genClassName(Template operation) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

138 return getSimpleName(operation.getTemplateType()) + "Gen";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

139 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

140

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

141 private static void startCallOperationMethod(CodeTreeBuilder body, TemplateMethod method) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

142 body.startGroup();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

143 if (body.findMethod().getModifiers().contains(STATIC)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

144 body.string(THIS_NODE_LOCAL_VAR_NAME);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

145 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

146 body.string("super");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

147 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

148 body.string(".");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

149 body.startCall(method.getMethodName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

150 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

151

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

152 private static void startCallTypeSystemMethod(ProcessorContext context, CodeTreeBuilder body, NodeData node, String methodName) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

153 VariableElement singleton = TypeSystemCodeGenerator.findSingleton(context, node.getTypeSystem());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

154 assert singleton != null;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

155

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

156 body.startGroup();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

157 body.staticReference(singleton.getEnclosingElement().asType(), singleton.getSimpleName().toString());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

158 body.string(".").startCall(methodName);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

159 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

160

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

161 private static void emitGuards(ProcessorContext context, CodeTreeBuilder body, String prefix, SpecializationData specialization, boolean onSpecialization, boolean needsCast) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

162 TypeSystemData typeSystem = specialization.getNode().getTypeSystem();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

163 // Implict guards based on method signature

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

164 String andOperator = prefix;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

165 for (NodeFieldData field : specialization.getNode().getFields()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

166 ActualParameter param = specialization.findParameter(field.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

167 TypeData type = param.getActualTypeData(typeSystem);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

168 if (type == null || type.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

169 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

170 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

171

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

172 body.string(andOperator);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

173 startCallTypeSystemMethod(context, body, specialization.getNode(),

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

174 TypeSystemCodeGenerator.isTypeMethodName(type));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

175 body.string(valueName(specialization, param));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

176 body.end().end(); // call

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

177 andOperator = " && ";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

178 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

179

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

180 if (specialization.getGuards().length > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

181 // Explicitly specified guards

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

182 for (SpecializationGuardData guard : specialization.getGuards()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

183 if ((guard.isOnSpecialization() && onSpecialization)

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

184 || (guard.isOnExecution() && !onSpecialization)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

185 body.string(andOperator);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

186

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

187 startCallOperationMethod(body, guard.getGuardDeclaration());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

188

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

189 if (needsCast) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

190 addValueParameterNamesWithCasts(context, body, specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

191 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

192 addValueParameterNames(body, specialization, null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

193 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

194 body.end().end(); // call

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

195 andOperator = " && ";

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

196 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

197 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

198 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

199 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

200

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

201 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

202 protected void createChildren(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

203 Map<NodeData, List<TypeElement>> childTypes = new LinkedHashMap<>();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

204 if (node.getDeclaredChildren() != null && !node.getDeclaredChildren().isEmpty()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

205 for (NodeData nodeChild : node.getDeclaredChildren()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

206 NodeCodeGenerator generator = new NodeCodeGenerator(getContext());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

207 childTypes.put(nodeChild, generator.process(null, nodeChild).getEnclosedElements());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

208 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

209 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

210

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

211 if (node.getExtensionElements() != null && !node.getExtensionElements().isEmpty()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

212 NodeGenFactory factory = new NodeGenFactory(context);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

213 add(factory, node);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

214 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

215

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

216 if (node.getSpecializations() == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

217 return;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

218 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

219

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

220 if (node.needsFactory() || childTypes.size() > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

221 add(new NodeFactoryFactory(context, childTypes), node);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

222 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

223 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

224

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

225 private class NodeGenFactory extends ClassElementFactory<NodeData> {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

226

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

227 public NodeGenFactory(ProcessorContext context) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

228 super(context);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

229 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

230

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

231 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

232 protected CodeTypeElement create(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

233 CodeTypeElement clazz = createClass(node, modifiers(PUBLIC, ABSTRACT), genClassName(node), node.getTemplateType().asType(), false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

234

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

235 for (ExecutableElement executable : ElementFilter.constructorsIn(node.getTemplateType().getEnclosedElements())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

236 CodeExecutableElement superConstructor = createSuperConstructor(clazz, executable);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

237

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

238 if (superConstructor != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

239 if (superConstructor.getParameters().size() == 1

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

240 && Utils.typeEquals(superConstructor.getParameters().get(0).asType(), node.getTemplateType().asType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

241 String originalName = superConstructor.getParameters().get(0).getSimpleName().toString();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

242 superConstructor.getParameters().clear();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

243 superConstructor.getParameters().add(new CodeVariableElement(clazz.asType(), originalName));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

244 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

245 clazz.add(superConstructor);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

246 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

247 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

248

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

249 if (node.getExtensionElements() != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

250 clazz.getEnclosedElements().addAll(node.getExtensionElements());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

251 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

252

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

253 node.setNodeType(clazz.asType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

254

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

255 return clazz;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

256 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

257

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

258 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

259

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

260 private class NodeFactoryFactory extends ClassElementFactory<NodeData> {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

261

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

262 private final Map<NodeData, List<TypeElement>> childTypes;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

263

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

264 public NodeFactoryFactory(ProcessorContext context, Map<NodeData, List<TypeElement>> childElements) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

265 super(context);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

266 this.childTypes = childElements;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

267 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

268

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

269 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

270 protected CodeTypeElement create(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

271 Modifier visibility = Utils.getVisibility(node.getTemplateType().getModifiers());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

272 CodeTypeElement clazz = createClass(node, modifiers(), factoryClassName(node), null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

273 if (visibility != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

274 clazz.getModifiers().add(visibility);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

275 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

276 clazz.getModifiers().add(Modifier.FINAL);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

277 clazz.add(createConstructorUsingFields(modifiers(PRIVATE), clazz));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

278 return clazz;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

279 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

280

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

281 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

282 protected void createChildren(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

283 CodeTypeElement clazz = getElement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

284

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

285 Modifier createVisibility = Utils.getVisibility(clazz.getModifiers());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

286

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

287 if (node.needsFactory()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

288 createFactoryMethods(node, clazz, createVisibility);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

289

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

290 if (node.getSpecializations().length > 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

291 clazz.add(createCreateSpecializedMethod(node, createVisibility));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

292 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

293

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

294 if (node.needsRewrites(getContext())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

295 clazz.add(createSpecializeMethod(node));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

296 clazz.add(createGeneratedGenericMethod(node));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

297 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

298

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

299 for (SpecializationData specialization : node.getSpecializations()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

300 add(new SpecializedNodeFactory(context), specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

301 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

302 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

303

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

304 for (NodeData childNode : childTypes.keySet()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

305 if (childNode.getTemplateType().getModifiers().contains(Modifier.PRIVATE)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

306 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

307 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

308

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

309 for (TypeElement type : childTypes.get(childNode)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

310 Set<Modifier> typeModifiers = ((CodeTypeElement) type).getModifiers();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

311 Modifier visibility = Utils.getVisibility(type.getModifiers());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

312 typeModifiers.clear();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

313 if (visibility != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

314 typeModifiers.add(visibility);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

315 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

316

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

317 typeModifiers.add(Modifier.STATIC);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

318 typeModifiers.add(Modifier.FINAL);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

319 clazz.add(type);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

320 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

321 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

322 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

323

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

324 private void createFactoryMethods(NodeData node, CodeTypeElement clazz, Modifier createVisibility) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

325 for (ExecutableElement constructor : ElementFilter.constructorsIn(Utils.fromTypeMirror(node.getNodeType()).getEnclosedElements())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

326 if (constructor.getModifiers().contains(PRIVATE)) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

327 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

328 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

329

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

330 // skip node rewrite constructor

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

331 if (constructor.getParameters().size() == 1

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

332 && typeEquals(constructor.getParameters().get(0).asType(), node.getNodeType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

333 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

334 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

335

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

336 clazz.add(createCreateMethod(node, createVisibility, constructor));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

337 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

338 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

339

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

340 private CodeExecutableElement createCreateMethod(NodeData node, Modifier visibility, ExecutableElement constructor) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

341 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), constructor);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

342 method.setSimpleName(CodeNames.of("create"));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

343 method.getModifiers().clear();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

344 if (visibility != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

345 method.getModifiers().add(visibility);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

346 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

347 method.getModifiers().add(Modifier.STATIC);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

348 method.setReturnType(node.getNodeType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

349

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

350 CodeTreeBuilder body = method.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

351 body.startReturn();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

352 if (node.getSpecializations().length == 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

353 body.null_();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

354 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

355 body.startNew(nodeClassName(node.getSpecializations()[0]));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

356 for (VariableElement var : method.getParameters()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

357 body.string(var.getSimpleName().toString());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

358 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

359 body.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

360 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

361 body.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

362 return method;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

363 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

364

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

365 private CodeExecutableElement createCreateSpecializedMethod(NodeData node, Modifier visibility) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

366 CodeExecutableElement method = new CodeExecutableElement(modifiers(), node.getNodeType(), "createSpecialized");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

367 if (visibility != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

368 method.getModifiers().add(visibility);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

369 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

370 method.getModifiers().add(Modifier.STATIC);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

371

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

372 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

373 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), "specializationClass"));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

374

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

375 CodeTreeBuilder body = method.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

376 boolean first = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

377 for (TypeData type : node.getTypeSystem().getTypes()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

378 SpecializationData specialization = node.findUniqueSpecialization(type);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

379 if (specialization != null && !type.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

380 if (first) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

381 body.startIf();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

382 first = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

383 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

384 body.startElseIf();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

385 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

386 body.string("specializationClass == ").type(type.getBoxedType()).string(".class").end().startBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

387 body.startReturn().startNew(nodeClassName(specialization));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

388 body.string(THIS_NODE_LOCAL_VAR_NAME);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

389 body.end().end(); // new, return

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

390

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

391 body.end(); // if

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

392 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

393 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

394 body.startReturn().startNew(nodeClassName(node.getGenericSpecialization()));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

395 body.string(THIS_NODE_LOCAL_VAR_NAME);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

396 body.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

397 return method;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

398 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

399

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

400 private CodeExecutableElement createSpecializeMethod(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

401 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE, STATIC), node.getNodeType(), "specialize");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

402 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

403 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), "minimumState"));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

404 addValueParameters(method, node.getGenericSpecialization(), false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

405

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

406 CodeTreeBuilder body = method.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

407 body.startStatement().string("boolean allowed = (minimumState == ").string(nodeClassName(node.getSpecializations()[0])).string(".class)").end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

408

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

409 for (int i = 1; i < node.getSpecializations().length; i++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

410 SpecializationData specialization = node.getSpecializations()[i];

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

411 body.startStatement().string("allowed = allowed || (minimumState == ").string(nodeClassName(specialization)).string(".class)").end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

412

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

413 if (specialization.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

414 body.startIf().string("allowed").end().startBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

415 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

416 body.startIf().string("allowed");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

417 emitGuards(getContext(), body, " && ", specialization, true, true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

418 body.end().startBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

419 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

420 body.startReturn().startNew(nodeClassName(specialization));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

421 body.string(THIS_NODE_LOCAL_VAR_NAME);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

422 body.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

423 body.end(); // block

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

424 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

425 body.startThrow().startNew(getContext().getType(IllegalArgumentException.class)).end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

426

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

427 return method;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

428 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

429

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

430

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

431 private CodeExecutableElement createGeneratedGenericMethod(NodeData node) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

432 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE, STATIC), node.getGenericSpecialization().getReturnType().getActualType(), "generatedGeneric");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

433 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

434 addValueParameters(method, node.getGenericSpecialization(), true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

435

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

436 CodeTreeBuilder builder = method.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

437 boolean ifStarted = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

438 for (int i = 0; i < node.getSpecializations().length; i++) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

439 SpecializationData specialization = node.getSpecializations()[i];

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

440 if (specialization.isUninitialized()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

441 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

442 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

443 if (!specialization.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

444 if (!ifStarted) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

445 builder.startIf();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

446 ifStarted = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

447 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

448 builder.startElseIf();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

449 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

450 emitGuards(getContext(), builder, "", specialization, false, true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

451 builder.end().startBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

452 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

453 builder.startElseBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

454 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

455

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

456 emitInvokeDoMethod(builder, specialization, 0);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

457 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

458 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

459 return method;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

460 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

461

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

462 private void emitInvokeDoMethod(CodeTreeBuilder builder, SpecializationData specialization, int level) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

463 if (specialization.getExceptions().length > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

464 builder.startTryBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

465 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

466

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

467 builder.startReturn();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

468 startCallOperationMethod(builder, specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

469 addValueParameterNamesWithCasts(context, builder, specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

470 builder.end().end(); // start call operation

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

471 builder.end(); // return

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

472

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

473 if (specialization.getExceptions().length > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

474 for (SpecializationThrowsData exception : specialization.getExceptions()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

475 builder.end().startCatchBlock(exception.getJavaClass(), "ex" + level);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

476 emitInvokeDoMethod(builder, exception.getTransitionTo(), level + 1);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

477 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

478 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

479 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

480 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

481 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

482

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

483 private class SpecializedNodeFactory extends ClassElementFactory<SpecializationData> {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

484

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

485

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

486 public SpecializedNodeFactory(ProcessorContext context) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

487 super(context);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

488 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

489

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

490 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

491 public CodeTypeElement create(SpecializationData specialization) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

492 NodeData node = specialization.getNode();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

493 CodeTypeElement clazz = createClass(node, modifiers(PRIVATE, STATIC, FINAL), nodeClassName(specialization), node.getNodeType(), false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

494 return clazz;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

495 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

496

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

497 @Override

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

498 protected void createChildren(SpecializationData specialization) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

499 CodeTypeElement clazz = getElement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

500 NodeData node = specialization.getNode();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

501

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

502 TypeElement superTypeElement = Utils.fromTypeMirror(clazz.getSuperclass());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

503 for (ExecutableElement constructor : ElementFilter.constructorsIn(superTypeElement.getEnclosedElements())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

504 ExecutableElement superConstructor = createSuperConstructor(clazz, constructor);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

505 if (superConstructor != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

506 clazz.add(superConstructor);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

507 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

508 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

509

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

510 for (ExecutableTypeData execType : node.getExecutableTypes()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

511 if (execType.isFinal()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

512 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

513 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

514 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), execType.getMethod());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

515 if (method.getParameters().size() == 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

516 CodeVariableElement var = CodeVariableElement.clone(method.getParameters().get(0));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

517 var.setName("frame");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

518 method.getParameters().set(0, var);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

519 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

520 method.getModifiers().remove(Modifier.ABSTRACT);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

521 clazz.add(method);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

522

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

523 TypeData primaryType = specialization.getReturnType().getActualTypeData(node.getTypeSystem());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

524 if (primaryType == execType.getType()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

525 buildFunctionalExecuteMethod(method.createBuilder(), specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

526 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

527 buildCastingExecuteMethod(method.createBuilder(), specialization, execType.getType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

528 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

529 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

530

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

531 if (node.needsRewrites(getContext()) && !specialization.isGeneric() && !specialization.isUninitialized()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

532 buildSpecializeStateMethod(clazz, specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

533 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

534 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

535

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

536 private void buildCastingExecuteMethod(CodeTreeBuilder builder, SpecializationData specialization, TypeData type) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

537 NodeData node = specialization.getNode();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

538 TypeSystemData typeSystem = node.getTypeSystem();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

539

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

540 if (!type.isVoid()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

541 builder.startStatement().type(specialization.getReturnType().getActualType()).string(" result").end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

542 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

543

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

544 TypeData primaryType = specialization.getReturnType().getActualTypeData(typeSystem);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

545 ExecutableTypeData execType = specialization.getNode().findExecutableType(primaryType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

546

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

547 boolean needsTry = !specialization.getReturnType().getActualTypeData(typeSystem).isGeneric();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

548 if (needsTry) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

549 builder.startTryBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

550 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

551

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

552 builder.startStatement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

553 if (!type.isVoid()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

554 builder.string("result = ");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

555 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

556 buildExecute(builder, null, execType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

557 builder.end(); // statement

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

558

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

559 if (needsTry) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

560 builder.end().startCatchBlock(getUnexpectedValueException(), "ex");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

561

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

562 if (!type.isVoid()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

563 builder.startReturn();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

564 if (!type.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

565 startCallTypeSystemMethod(getContext(), builder, node, TypeSystemCodeGenerator.expectTypeMethodName(type));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

566 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

567

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

568 builder.string("ex.getResult()");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

569

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

570 if (!type.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

571 builder.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

572 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

573 builder.end(); // return

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

574 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

575 builder.string("// ignore").newLine();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

576 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

577 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

578 builder.end(); // try/catch

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

579

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

580 if (!type.isVoid()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

581 builder.startReturn();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

582 if (!type.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

583 startCallTypeSystemMethod(getContext(), builder, node, TypeSystemCodeGenerator.expectTypeMethodName(type));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

584 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

585 builder.string("result");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

586 if (!type.isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

587 builder.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

588 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

589 builder.end(); // return

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

590 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

591 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

592

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

593 private void buildFunctionalExecuteMethod(CodeTreeBuilder builder, SpecializationData specialization) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

594 NodeData node = specialization.getNode();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

595 TypeSystemData typeSystem = node.getTypeSystem();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

596

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

597 for (NodeFieldData field : node.getFields()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

598 if (field.getExecutionKind() == ExecutionKind.IGNORE) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

599 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

600 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

601

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

602 ActualParameter parameterType = specialization.findParameter(field.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

603

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

604 if (parameterType.getActualTypeData(typeSystem).isGeneric()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

605 buildGenericValueExecute(builder, specialization, field, null);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

606 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

607 buildSpecializedValueExecute(builder, specialization, field);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

608 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

609 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

610

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

611 if (specialization.hasDynamicGuards()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

612 builder.startIf();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

613 emitGuards(getContext(), builder, "", specialization, false, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

614 builder.end().startBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

615 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

616 if (specialization.getExceptions().length > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

617 builder.startTryBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

618 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

619

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

620 if (specialization.isUninitialized()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

621 for (TemplateMethod listener : node.getSpecializationListeners()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

622 builder.startStatement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

623 startCallOperationMethod(builder, listener);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

624 addValueParameterNames(builder, listener, null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

625 builder.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

626 builder.end(); // statement

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

627 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

628

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

629 builder.startStatement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

630 builder.startCall("replace");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

631 if (node.needsRewrites(getContext())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

632 builder.startCall(factoryClassName(node), "specialize");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

633 builder.string("this");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

634 builder.typeLiteral(builder.getRoot().getEnclosingClass().asType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

635 addValueParameterNames(builder, specialization, null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

636 builder.end(); // call replace, call specialize

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

637 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

638 builder.startCall(factoryClassName(node), "createSpecialized").string("this").string("null").end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

639 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

640 builder.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

641 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

642

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

643 if ((specialization.isUninitialized() || specialization.isGeneric()) && node.needsRewrites(getContext())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

644 builder.startReturn().startCall(factoryClassName(node), "generatedGeneric");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

645 builder.string("this");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

646 addValueParameterNames(builder, specialization, null, true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

647 builder.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

648 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

649 builder.startReturn();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

650

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

651 if (specialization.isUninitialized()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

652 startCallOperationMethod(builder, specialization.getNode().getGenericSpecialization());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

653 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

654 startCallOperationMethod(builder, specialization);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

655 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

656 addValueParameterNames(builder, specialization, null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

657 builder.end().end(); // operation call

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

658 builder.end(); // return

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

659 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

660

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

661 if (specialization.getExceptions().length > 0) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

662 for (SpecializationThrowsData exception : specialization.getExceptions()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

663 builder.end().startCatchBlock(exception.getJavaClass(), "ex");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

664 buildThrowSpecialize(builder, exception.getTransitionTo(), null);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

665 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

666 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

667 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

668 if (specialization.hasDynamicGuards()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

669 builder.end().startElseBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

670 buildThrowSpecialize(builder, specialization.findNextSpecialization(), null);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

671 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

672 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

673 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

674

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

675 private void buildGenericValueExecute(CodeTreeBuilder builder, SpecializationData specialization, NodeFieldData field, NodeFieldData exceptionSpec) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

676 ActualParameter specParameter = specialization.findParameter(field.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

677

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

678 boolean shortCircuit = startShortCircuit(builder, specialization,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

679 field, exceptionSpec);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

680

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

681 builder.startStatement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

682 if (!shortCircuit) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

683 builder.type(specialization.getNode().getTypeSystem().getGenericType());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

684 builder.string(" ");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

685 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

686

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

687 builder.string(valueName(specialization, specParameter));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

688 builder.string(" = ");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

689 ExecutableTypeData genericExecutableType = field.getNodeData().findGenericExecutableType(getContext());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

690 if (genericExecutableType == null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

691 throw new AssertionError("Must have generic executable type. Parser validation most likely failed. " + Arrays.toString(field.getNodeData().getExecutableTypes()));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

692 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

693 buildExecute(builder, field, genericExecutableType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

694 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

695

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

696 endShortCircuit(builder, shortCircuit);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

697 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

698

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

699 private void buildExecute(CodeTreeBuilder builder, NodeFieldData field, ExecutableTypeData execType) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

700 if (field != null) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

701 Element accessElement = field.getAccessElement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

702 if (accessElement.getKind() == ElementKind.METHOD) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

703 builder.startCall(accessElement.getSimpleName().toString()).end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

704 } else if (accessElement.getKind() == ElementKind.FIELD) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

705 builder.string("this.").string(accessElement.getSimpleName().toString());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

706 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

707 throw new AssertionError();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

708 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

709 builder.string(".");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

710 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

711 builder.startCall(execType.getMethodName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

712 if (execType.getParameters().length == 1) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

713 builder.string("frame");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

714 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

715 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

716 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

717

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

718

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

719 private void buildSpecializedValueExecute(CodeTreeBuilder builder, SpecializationData specialization, NodeFieldData field) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

720 ActualParameter param = specialization.findParameter(field.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

721 boolean shortCircuit = startShortCircuit(builder, specialization, field, null);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

722

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

723 if (!shortCircuit) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

724 builder.startStatement().type(param.getActualType()).string(" ").string(valueName(specialization, param)).end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

725 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

726

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

727 ExecutableTypeData execType = field.getNodeData().findExecutableType(param.getActualTypeData(field.getNodeData().getTypeSystem()));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

728

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

729 if (execType.hasUnexpectedValue(getContext())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

730 builder.startTryBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

731 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

732

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

733 builder.startStatement().string(valueName(field)).string(" = ");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

734 buildExecute(builder, field, execType);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

735 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

736

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

737

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

738 if (execType.hasUnexpectedValue(getContext())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

739 builder.end().startCatchBlock(getUnexpectedValueException(), "ex");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

740 boolean execute = false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

741 for (NodeFieldData exField : specialization.getNode().getFields()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

742 if (exField.getExecutionKind() == ExecutionKind.IGNORE) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

743 continue;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

744 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

745 if (execute) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

746 buildGenericValueExecute(builder, specialization.getNode().getGenericSpecialization(), exField, field);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

747 } else if (exField == field) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

748 execute = true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

749 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

750 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

751 buildThrowSpecialize(builder, specialization.findNextSpecialization(), param.getSpecification());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

752 builder.end(); // catch block

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

753 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

754

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

755 endShortCircuit(builder, shortCircuit);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

756 builder.newLine();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

757 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

758

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

759

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

760 private boolean startShortCircuit(CodeTreeBuilder builder, SpecializationData specialization,

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

761 NodeFieldData forField, NodeFieldData exceptionField) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

762 if (forField.getExecutionKind() != ExecutionKind.SHORT_CIRCUIT) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

763 return false;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

764 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

765

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

766 ActualParameter parameter = specialization.findParameter(forField.getName());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

767 ActualParameter shortCircuitParam = specialization.getPreviousParam(parameter);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

768

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

769 int shortCircuitIndex = 0;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

770 for (NodeFieldData field : specialization.getNode().getFields()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

771 if (field.getExecutionKind() == ExecutionKind.SHORT_CIRCUIT) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

772 if (field == forField) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

773 break;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

774 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

775 shortCircuitIndex++;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

776 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

777 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

778

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

779 builder.startStatement().type(shortCircuitParam.getActualType()).string(" ").string(valueName(specialization, shortCircuitParam)).string(" = ");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

780 ShortCircuitData shortCircuitData = specialization.getShortCircuits()[shortCircuitIndex];

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

781

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

782 startCallOperationMethod(builder, shortCircuitData);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

783 addValueParameterNames(builder, shortCircuitData, exceptionField != null ? exceptionField.getName() : null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

784 builder.end().end(); // call operation

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

785

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

786 builder.end(); // statement

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

787

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

788 builder.declaration(parameter.getActualType(), valueName(specialization, parameter),

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

789 CodeTreeBuilder.createBuilder().defaultValue(parameter.getActualType()));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

790 builder.startIf().string(shortCircuitParam.getSpecification().getName()).end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

791 builder.startBlock();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

792

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

793 return true;

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

794 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

795

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

796

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

797 private void endShortCircuit(CodeTreeBuilder builder, boolean shortCircuit) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

798 if (shortCircuit) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

799 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

800 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

801 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

802

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

803 private void buildThrowSpecialize(CodeTreeBuilder builder, SpecializationData nextSpecialization, ParameterSpec exceptionSpec) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

804 boolean canThrowUnexpected = Utils.canThrowType(builder.findMethod().getThrownTypes(), getContext().getTruffleTypes().getUnexpectedValueException());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

805

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

806 CodeTreeBuilder specializeCall = CodeTreeBuilder.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

807 specializeCall.startCall("specialize");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

808 specializeCall.string(nodeClassName(nextSpecialization) + ".class");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

809 addValueParameterNames(specializeCall, nextSpecialization.getNode().getGenericSpecialization(), exceptionSpec != null ? exceptionSpec.getName() : null, true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

810 specializeCall.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

811

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

812 if (canThrowUnexpected) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

813 builder.startThrow();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

814 builder.startNew(getContext().getTruffleTypes().getUnexpectedValueException());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

815 builder.tree(specializeCall.getRoot());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

816 builder.end().end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

817 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

818 builder.startReturn();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

819 builder.tree(specializeCall.getRoot());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

820 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

821 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

822

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

823 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

824

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

825 private void buildSpecializeStateMethod(CodeTypeElement clazz, SpecializationData specialization) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

826 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE), specialization.getNode().getTypeSystem().getGenericType(), "specialize");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

827 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), "minimumState"));

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

828 addValueParameters(method, specialization.getNode().getGenericSpecialization(), true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

829 clazz.add(method);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

830

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

831 CodeTreeBuilder builder = method.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

832 for (TemplateMethod listener : specialization.getNode().getSpecializationListeners()) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

833 builder.startStatement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

834 startCallOperationMethod(builder, listener);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

835 addValueParameterNames(builder, listener, null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

836 builder.end().end(); // call operation

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

837 builder.end(); // statement

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

838 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

839

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

840 builder.startStatement();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

841 builder.startCall("replace");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

842 builder.startCall(factoryClassName(specialization.getNode()), "specialize").string("this").string("minimumState");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

843 addValueParameterNames(builder, specialization.getNode().getGenericSpecialization(), null, false);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

844 builder.end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

845 builder.end(); // call replace

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

846 builder.end(); // statement

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

847

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

848 ExecutableElement generatedGeneric = clazz.getEnclosingClass().getMethod("generatedGeneric");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

849

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

850 CodeTreeBuilder genericBuilder = CodeTreeBuilder.createBuilder();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

851 genericBuilder.startCall(factoryClassName(specialization.getNode()), "generatedGeneric");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

852 genericBuilder.string("this");

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

853 addValueParameterNames(genericBuilder, specialization.getNode().getGenericSpecialization(), null, true);

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

854 genericBuilder.end(); // call generated generic

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

855

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

856 if (Utils.isVoid(generatedGeneric.getReturnType())) {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

857 builder.declaration(generatedGeneric.getReturnType(), "genericResult", genericBuilder.getRoot());

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

858 builder.startReturn().string("null").end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

859 } else {

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

860 builder.startReturn().tree(genericBuilder.getRoot()).end();

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

861 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

862 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

863

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

864 }

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

865

6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

866 }

Mercurial > hg > graal-compiler

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeCodeGenerator.java @ 7502:6343a09b2ec1