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

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeCodeGenerator.java @ 8242:ac4e8c16ffdf

Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings.

author	Christian Humer <christian.humer@gmail.com>
date	Mon, 04 Mar 2013 15:14:11 +0100
parents	6b74ffe38183
children	d81ff782fa1a

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
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	34 import com.oracle.truffle.api.codegen.*;
7502 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.*;
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.ast.*;
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.node.NodeFieldData.ExecutionKind;
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.template.*;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	39 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	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) {
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	62 String name = specializationId(specialization);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	63 name += nodeClassName(specialization.getNode());
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	64 if (name.equals(Utils.getSimpleName(specialization.getNode().getNodeType())) \|\| name.equals(Utils.getSimpleName(specialization.getNode().getTemplateType()))) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	65 name = name + "Impl";
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	66 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	67
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	68 return name;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	69 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	70
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	71 private static String specializationId(SpecializationData specialization) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 String name = "";
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	73 NodeData node = specialization.getNode();
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	74 if (node.getSpecializations().size() > 1) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 name = specialization.getMethodName();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 if (name.startsWith("do")) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 name = name.substring(2);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80 return name;
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
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	83 private static String valueName(ActualParameter param) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	84 return param.getName();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	87 private static String castValueName(ActualParameter parameter) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	88 return valueName(parameter) + "Cast";
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	89 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	90
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 private void addValueParameters(CodeExecutableElement method, TemplateMethod specialization, boolean forceFrame) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	92 if (forceFrame && specialization.getSpecification().findParameterSpec("frame") != null) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	93 method.addParameter(new CodeVariableElement(getContext().getTruffleTypes().getFrame(), "frameValue"));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 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	96 ParameterSpec spec = parameter.getSpecification();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 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	98 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	99 }
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	100 method.addParameter(new CodeVariableElement(parameter.getActualType(), valueName(parameter)));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 }
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 private static void addValueParameterNames(CodeTreeBuilder builder, TemplateMethod specialization, String unexpectedValueName, boolean forceFrame) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	105 if (forceFrame && specialization.getSpecification().findParameterSpec("frame") != null) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	106 builder.string("frameValue");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 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	109 ParameterSpec spec = parameter.getSpecification();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 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	111 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	114 if (unexpectedValueName != null && parameter.getName().equals(unexpectedValueName)) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 builder.string("ex.getResult()");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 } else {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	117 builder.string(valueName(parameter));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 }
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
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	122 private static void addValueParameterNamesWithCasts(CodeTreeBuilder body, SpecializationData valueSpecialization, SpecializationData targetSpecialization) {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	123 NodeData node = targetSpecialization.getNode();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	124 TypeSystemData typeSystem = node.getTypeSystem();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	125
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	126 for (ActualParameter targetParameter : targetSpecialization.getParameters()) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	127 ActualParameter valueParameter = valueSpecialization.findParameter(targetParameter.getName());
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	128 TypeData targetType = targetParameter.getActualTypeData(typeSystem);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	129
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	130 TypeData valueType = null;
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	131 if (valueParameter != null) {
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	132 valueType = valueParameter.getActualTypeData(typeSystem);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	133 }
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	134
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	135 if (targetType == null \|\| targetType.isGeneric() \|\| (valueType != null && valueType.equalsType(targetType))) {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	136 body.string(valueName(targetParameter));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137 } else {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	138 body.string(castValueName(targetParameter));
7502 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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	142
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	143 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	144 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	145 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147 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	148 body.startGroup();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 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	150 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	151 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 body.string("super");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	153 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 body.string(".");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 body.startCall(method.getMethodName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	158 private static String generatedGenericMethodName(SpecializationData specialization) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	159 final String prefix = "generic";
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	160
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	161 if (specialization == null) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	162 return prefix;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	163 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	164
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	165 SpecializationData prev = null;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	166 for (SpecializationData current : specialization.getNode().getSpecializations()) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	167 if (specialization == current) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	168 if (prev == null \|\| prev.isUninitialized()) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	169 return prefix;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	170 } else {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	171 return prefix + specializationId(current);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	172 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	173 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	174 prev = current;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	175 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	176 return prefix;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	177 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	178
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	179 private static CodeTree createCallTypeSystemMethod(ProcessorContext context, CodeTreeBuilder parent, NodeData node, String methodName, String value) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	180 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	181 startCallTypeSystemMethod(context, builder, node, methodName);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	182 builder.string(value);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	183 builder.end().end();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	184 return builder.getRoot();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	185 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	186
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7502 diff changeset	187 private static void startCallTypeSystemMethod(ProcessorContext context, CodeTreeBuilder body, NodeData node, String methodName) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 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	189 assert singleton != null;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	190
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 body.startGroup();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 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	193 body.string(".").startCall(methodName);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	196 private CodeTree createGuardAndCast(CodeTreeBuilder parent, String conditionPrefix, SpecializationData valueSpecialization, SpecializationData guardedSpecialization, boolean onSpecialization,
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	197 CodeTree guardedStatements, CodeTree elseStatements) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	198
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	199 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	200 CodeTree implicitGuards = createImplicitGuards(parent, conditionPrefix, valueSpecialization, guardedSpecialization);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	201 CodeTree explicitGuards = createExplicitGuards(parent, implicitGuards == null ? conditionPrefix : null, valueSpecialization, guardedSpecialization, onSpecialization);
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	202
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	203 int ifCount = 0;
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	204
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	205 if (implicitGuards != null) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	206 builder.startIf();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	207 builder.tree(implicitGuards);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	208 builder.end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	209 builder.startBlock();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	210 ifCount++;
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	211 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	212
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	213 if (explicitGuards != null \|\| !onSpecialization) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	214 builder.tree(createCasts(parent, valueSpecialization, guardedSpecialization));
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	215 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	216
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	217 if (explicitGuards != null) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	218 builder.startIf();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	219 builder.tree(explicitGuards);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	220 builder.end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	221 builder.startBlock();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	222 ifCount++;
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	223 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	224
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	225 if (implicitGuards == null && explicitGuards == null && conditionPrefix != null && !conditionPrefix.isEmpty()) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	226 builder.startIf().string(conditionPrefix).end().startBlock();
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	227 ifCount++;
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	228 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	229
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	230 builder.tree(guardedStatements);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	231
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	232 builder.end(ifCount);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	233 if (ifCount > 0 && elseStatements != null) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	234 builder.startElseBlock();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	235 builder.tree(elseStatements);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	236 builder.end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	237 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	238
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	239 return builder.getRoot();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	240 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	241
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	242 private static CodeTree createExplicitGuards(CodeTreeBuilder parent, String conditionPrefix, SpecializationData valueSpecialization, SpecializationData guardedSpecialization,
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	243 boolean onSpecialization) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	244 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	245 String andOperator = conditionPrefix != null ? conditionPrefix + " && " : "";
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	246 if (guardedSpecialization.getGuards().length > 0) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 // Explicitly specified guards
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	248 for (SpecializationGuardData guard : guardedSpecialization.getGuards()) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7502 diff changeset	249 if ((guard.isOnSpecialization() && onSpecialization) \|\| (guard.isOnExecution() && !onSpecialization)) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	250 builder.string(andOperator);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	252 startCallOperationMethod(builder, guard.getGuardDeclaration());
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	253 addValueParameterNamesWithCasts(builder, valueSpecialization, guardedSpecialization);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	254
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	255 builder.end().end(); // call
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	256 andOperator = " && ";
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 }
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	260
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	261 return builder.isEmpty() ? null : builder.getRoot();
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	262 }
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	263
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	264 private CodeTree createCasts(CodeTreeBuilder parent, SpecializationData valueSpecialization, SpecializationData guardedSpecialization) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	265 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	266 // Implict guards based on method signature
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	267 for (ActualParameter guardedParam : guardedSpecialization.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	268 NodeFieldData field = guardedSpecialization.getNode().findField(guardedParam.getSpecification().getName());
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	269 if (field == null) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	270 continue;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	271 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	272 ActualParameter valueParam = valueSpecialization.findParameter(guardedParam.getName());
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	273
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	274 CodeTree cast = createCast(parent, field, valueParam, guardedParam);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	275 if (cast == null) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	276 continue;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	277 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	278 builder.tree(cast);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	279 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	280
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	281 return builder.getRoot();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	282 }
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	283
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	284 private CodeTree createImplicitGuards(CodeTreeBuilder parent, String conditionPrefix, SpecializationData valueSpecialization, SpecializationData guardedSpecialization) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	285 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	286 // Implict guards based on method signature
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	287 String andOperator = conditionPrefix != null ? conditionPrefix + " && " : "";
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	288 for (ActualParameter guardedParam : guardedSpecialization.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	289 NodeFieldData field = guardedSpecialization.getNode().findField(guardedParam.getSpecification().getName());
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	290 if (field == null) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	291 continue;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	292 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	293 ActualParameter valueParam = valueSpecialization.findParameter(guardedParam.getName());
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	294
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	295 CodeTree implicitGuard = createImplicitGuard(builder, field, valueParam, guardedParam);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	296 if (implicitGuard == null) {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	297 continue;
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	298 }
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	299
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	300 builder.string(andOperator);
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	301 builder.tree(implicitGuard);
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	302 andOperator = " && ";
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	303 }
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	304
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	305 return builder.isEmpty() ? null : builder.getRoot();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	308 private CodeTree createImplicitGuard(CodeTreeBuilder parent, NodeFieldData field, ActualParameter source, ActualParameter target) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	309 NodeData node = field.getNodeData();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	310 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	311
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	312 TypeData targetType = target.getActualTypeData(node.getTypeSystem());
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	313 TypeData sourceType = source.getActualTypeData(node.getTypeSystem());
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	314
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	315 if (targetType.equalsType(sourceType) \|\| targetType.isGeneric()) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	316 return null;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	317 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	318
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	319 builder.startGroup();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	320
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	321 if (field.isShortCircuit()) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	322 ActualParameter shortCircuit = target.getPreviousParameter();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	323 assert shortCircuit != null;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	324 builder.string("(");
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	325 builder.string("!").string(valueName(shortCircuit));
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	326 builder.string(" \|\| ");
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	327 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	328
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	329 startCallTypeSystemMethod(getContext(), builder, node, TypeSystemCodeGenerator.isTypeMethodName(target.getActualTypeData(node.getTypeSystem())));
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	330 builder.string(valueName(source));
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	331 builder.end().end(); // call
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	332
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	333 if (field.isShortCircuit()) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	334 builder.string(")");
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	335 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	336
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	337 builder.end(); // group
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	338
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	339 return builder.getRoot();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	340 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	341
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	342 private CodeTree createCast(CodeTreeBuilder parent, NodeFieldData field, ActualParameter source, ActualParameter target) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	343 NodeData node = field.getNodeData();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	344 TypeSystemData typeSystem = node.getTypeSystem();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	345
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	346 TypeData sourceType = source.getActualTypeData(typeSystem);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	347 TypeData targetType = target.getActualTypeData(typeSystem);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	348
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	349 if (targetType.equalsType(sourceType) \|\| targetType.isGeneric()) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	350 return null;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	351 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	352
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	353 CodeTree condition = null;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	354 if (field.isShortCircuit()) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	355 ActualParameter shortCircuit = target.getPreviousParameter();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	356 assert shortCircuit != null;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	357 condition = CodeTreeBuilder.singleString(valueName(shortCircuit));
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	358 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	359
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	360 CodeTree value = createCallTypeSystemMethod(context, parent, node, TypeSystemCodeGenerator.asTypeMethodName(targetType), valueName(target));
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	361
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	362 return createLazyAssignment(parent, castValueName(target), target.getActualType(), condition, value);
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	363 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	364
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	365 /**
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	366 * <pre>
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	367 * variant1 $condition != null
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	368 *
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	369 * $type $name = defaultValue($type);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	370 * if ($condition) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	371 * $name = $value;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	372 * }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	373 *
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	374 * variant2 $condition != null
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	375 * $type $name = $value;
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	376 * </pre>
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	377 *
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	378 * .
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	379 */
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	380 private static CodeTree createLazyAssignment(CodeTreeBuilder parent, String name, TypeMirror type, CodeTree condition, CodeTree value) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	381 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	382 if (condition == null) {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	383 builder.declaration(type, name, value);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	384 } else {
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	385 builder.declaration(type, name, new CodeTreeBuilder(parent).defaultValue(type).getRoot());
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	386
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	387 builder.startIf().tree(condition).end();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	388 builder.startBlock();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	389 builder.startStatement();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	390 builder.string(name);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	391 builder.string(" = ");
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	392 builder.tree(value);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	393 builder.end(); // statement
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	394 builder.end(); // block
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	395 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	396 return builder.getRoot();
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	397 }
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	398
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 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	401 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	402 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	403 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	404 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	405 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	406 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 }
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 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	410 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	411 add(factory, node);
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
7858 4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	414 if (node.needsFactory() \|\| node.getNodeChildren().size() > 0) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	415 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	416 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	417 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	418
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 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	420
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 public NodeGenFactory(ProcessorContext context) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 }
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 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 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	427 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	428
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 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	430 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	431
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 if (superConstructor != null) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7502 diff changeset	433 if (superConstructor.getParameters().size() == 1 && Utils.typeEquals(superConstructor.getParameters().get(0).asType(), node.getTemplateType().asType())) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 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	435 superConstructor.getParameters().clear();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	436 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	437 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 clazz.add(superConstructor);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	441
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 if (node.getExtensionElements() != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 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	444 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	446 node.setNodeType(clazz.asType());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	447
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 return clazz;
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	451 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453 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	454
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	455 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	456
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	457 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	458 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 this.childTypes = childElements;
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 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463 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	464 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	465 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	466 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	467 clazz.getModifiers().add(visibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	468 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	469 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	470 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	471 return clazz;
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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	474 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 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	476 CodeTypeElement clazz = getElement();
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 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	479
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	480 if (node.needsFactory()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 createFactoryMethods(node, clazz, createVisibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	482
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	483 if (node.getSpecializations().size() > 1) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 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	485 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	486
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 if (node.needsRewrites(getContext())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	488 clazz.add(createSpecializeMethod(node));
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	489
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	490 List<CodeExecutableElement> genericMethods = createGeneratedGenericMethod(node);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	491 for (CodeExecutableElement method : genericMethods) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	492 clazz.add(method);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	493 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 }
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 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	497 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	498 }
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	499
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	500 TypeMirror nodeFactory = getContext().getEnvironment().getTypeUtils().getDeclaredType(Utils.fromTypeMirror(getContext().getType(NodeFactory.class)), node.getNodeType());
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	501 clazz.getImplements().add(nodeFactory);
7859 3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7858 diff changeset	502 clazz.add(createCreateNodeMethod(node));
3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7858 diff changeset	503 clazz.add(createCreateNodeSpecializedMethod(node));
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	504 clazz.add(createGetNodeClassMethod(node));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	505 clazz.add(createGetNodeSignaturesMethod(node));
7858 4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	506 clazz.add(createGetInstanceMethod(node, createVisibility));
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	507 clazz.add(createInstanceConstant(node, clazz.asType()));
7502 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 (NodeData childNode : childTypes.keySet()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	511 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	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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	515 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	516 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	517 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	518 typeModifiers.clear();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	519 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	520 typeModifiers.add(visibility);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	521 }
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 typeModifiers.add(Modifier.STATIC);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	524 typeModifiers.add(Modifier.FINAL);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	525 clazz.add(type);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	526 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	527 }
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	528
7858 4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	529 List<NodeData> children = node.getNodeChildren();
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	530 if (node.getParent() == null && children.size() > 0) {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	531 clazz.add(createGetFactories(node));
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	532 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	533
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	534 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	535
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	536 private CodeExecutableElement createGetNodeClassMethod(NodeData node) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	537 Types types = getContext().getEnvironment().getTypeUtils();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	538 TypeMirror returnType = types.getDeclaredType(Utils.fromTypeMirror(getContext().getType(Class.class)), node.getNodeType());
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	539 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), returnType, "getNodeClass");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	540 CodeTreeBuilder builder = method.createBuilder();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	541 builder.startReturn().typeLiteral(node.getNodeType()).end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	542 return method;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	543 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	544
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	545 private CodeExecutableElement createGetNodeSignaturesMethod(NodeData node) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	546 Types types = getContext().getEnvironment().getTypeUtils();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	547 TypeElement listType = Utils.fromTypeMirror(getContext().getType(List.class));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	548 TypeMirror classType = getContext().getType(Class.class);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	549 TypeMirror returnType = types.getDeclaredType(listType, types.getDeclaredType(listType, classType));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	550 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), returnType, "getNodeSignatures");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	551 CodeTreeBuilder builder = method.createBuilder();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	552 builder.startReturn();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	553 builder.startStaticCall(getContext().getType(Arrays.class), "asList");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	554 List<ExecutableElement> constructors = findUserConstructors(node);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	555 for (ExecutableElement constructor : constructors) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	556 builder.startGroup();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	557 builder.type(getContext().getType(Arrays.class));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	558 builder.string(".<").type(getContext().getType(Class.class)).string(">");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	559 builder.startCall("asList");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	560 for (VariableElement param : constructor.getParameters()) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	561 builder.typeLiteral(param.asType());
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	562 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	563 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	564 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	565 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	566 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	567 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	568 return method;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	569 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	570
7859 3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7858 diff changeset	571 private CodeExecutableElement createCreateNodeMethod(NodeData node) {
3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7858 diff changeset	572 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), node.getNodeType(), "createNode");
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	573 CodeVariableElement arguments = new CodeVariableElement(getContext().getType(Object.class), "arguments");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	574 method.setVarArgs(true);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	575 method.addParameter(arguments);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	576
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	577 CodeTreeBuilder builder = method.createBuilder();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	578 List<ExecutableElement> signatures = findUserConstructors(node);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	579 boolean ifStarted = false;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	580
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	581 for (ExecutableElement element : signatures) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	582 ifStarted = builder.startIf(ifStarted);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	583 builder.string("arguments.length == " + element.getParameters().size());
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	584
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	585 int index = 0;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	586 for (VariableElement param : element.getParameters()) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	587 builder.string(" && ");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	588 if (!param.asType().getKind().isPrimitive()) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	589 builder.string("(arguments[" + index + "] == null \|\| ");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	590 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	591 builder.string("arguments[" + index + "] instanceof ");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	592 builder.type(Utils.boxType(getContext(), param.asType()));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	593 if (!param.asType().getKind().isPrimitive()) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	594 builder.string(")");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	595 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	596 index++;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	597 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	598 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	599 builder.startBlock();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	600
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	601 builder.startReturn().startCall("create");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	602 index = 0;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	603 for (VariableElement param : element.getParameters()) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	604 builder.startGroup();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	605 builder.string("(").type(param.asType()).string(") ");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	606 builder.string("arguments[").string(String.valueOf(index)).string("]");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	607 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	608 index++;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	609 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	610 builder.end().end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	611
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	612 builder.end(); // block
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	613 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	614
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	615 builder.startElseBlock();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	616 builder.startThrow().startNew(getContext().getType(IllegalArgumentException.class));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	617 builder.doubleQuote("Invalid create signature.");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	618 builder.end().end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	619 builder.end(); // else block
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	620 return method;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	621 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	622
7859 3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7858 diff changeset	623 private CodeExecutableElement createCreateNodeSpecializedMethod(NodeData node) {
3c68170fc9b0 Fixed a visibility bug in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7858 diff changeset	624 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), node.getNodeType(), "createNodeSpecialized");
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	625 CodeVariableElement nodeParam = new CodeVariableElement(node.getNodeType(), "thisNode");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	626 CodeVariableElement arguments = new CodeVariableElement(getContext().getType(Class.class), "types");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	627 method.addParameter(nodeParam);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	628 method.addParameter(arguments);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	629 method.setVarArgs(true);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	630
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	631 CodeTreeBuilder builder = method.createBuilder();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	632 if (!node.needsRewrites(getContext())) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	633 builder.startThrow().startNew(getContext().getType(UnsupportedOperationException.class)).end().end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	634 } else {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	635 builder.startIf();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	636 builder.string("types.length == 1");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	637 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	638 builder.startBlock();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	639
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	640 builder.startReturn().startCall("createSpecialized");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	641 builder.string("thisNode");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	642 builder.string("types[0]");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	643 builder.end().end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	644
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	645 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	646 builder.startElseBlock();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	647 builder.startThrow().startNew(getContext().getType(IllegalArgumentException.class));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	648 builder.doubleQuote("Invalid createSpecialized signature.");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	649 builder.end().end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	650 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	651 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	652
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	653 return method;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	654 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	655
7858 4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	656 private ExecutableElement createGetInstanceMethod(NodeData node, Modifier visibility) {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	657 Types types = getContext().getEnvironment().getTypeUtils();
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	658 TypeElement nodeFactoryType = Utils.fromTypeMirror(getContext().getType(NodeFactory.class));
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	659 TypeMirror returnType = types.getDeclaredType(nodeFactoryType, node.getNodeType());
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	660
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	661 CodeExecutableElement method = new CodeExecutableElement(modifiers(), returnType, "getInstance");
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	662 if (visibility != null) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	663 method.getModifiers().add(visibility);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	664 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	665 method.getModifiers().add(Modifier.STATIC);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	666
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	667 String varName = instanceVarName(node);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	668
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	669 CodeTreeBuilder builder = method.createBuilder();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	670 builder.startIf();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	671 builder.string(varName).string(" == null");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	672 builder.end().startBlock();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	673
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	674 builder.startStatement();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	675 builder.string(varName);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	676 builder.string(" = ");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	677 builder.startNew(factoryClassName(node)).end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	678 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	679
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	680 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	681 builder.startReturn().string(varName).end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	682 return method;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	683 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	684
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	685 private String instanceVarName(NodeData node) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	686 if (node.getParent() != null) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	687 return Utils.firstLetterLowerCase(factoryClassName(node)) + "Instance";
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	688 } else {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	689 return "instance";
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	690 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	691 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	692
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	693 private CodeVariableElement createInstanceConstant(NodeData node, TypeMirror factoryType) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	694 String varName = instanceVarName(node);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	695 CodeVariableElement var = new CodeVariableElement(modifiers(), factoryType, varName);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	696 var.getModifiers().add(Modifier.PRIVATE);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	697 var.getModifiers().add(Modifier.STATIC);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	698 return var;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	699 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	700
7858 4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	701 private ExecutableElement createGetFactories(NodeData node) {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	702 List<NodeData> children = node.getNodeChildren();
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	703 if (node.needsFactory()) {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	704 children.add(node);
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	705 }
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	706
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	707 List<TypeMirror> nodeTypesList = new ArrayList<>();
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	708 for (NodeData child : children) {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	709 nodeTypesList.add(child.getTemplateType().asType());
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	710 }
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	711 TypeMirror commonNodeSuperType = Utils.getCommonSuperType(getContext(), nodeTypesList.toArray(new TypeMirror[nodeTypesList.size()]));
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	712
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	713 Types types = getContext().getEnvironment().getTypeUtils();
7858 4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	714 TypeMirror factoryType = getContext().getType(NodeFactory.class);
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	715 TypeMirror baseType;
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	716 if (children.size() == 1) {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	717 baseType = types.getDeclaredType(Utils.fromTypeMirror(factoryType), commonNodeSuperType);
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	718 } else {
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	719 baseType = types.getDeclaredType(Utils.fromTypeMirror(factoryType), types.getWildcardType(commonNodeSuperType, null));
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	720 }
4958cbdbf360 Fixed minor bugs in NodeFactory generation. Christian Humer <christian.humer@gmail.com> parents: 7855 diff changeset	721 TypeMirror listType = types.getDeclaredType(Utils.fromTypeMirror(getContext().getType(List.class)), baseType);
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	722
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	723 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC, STATIC), listType, "getFactories");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	724
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	725 CodeTreeBuilder builder = method.createBuilder();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	726 builder.startReturn();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	727 builder.startStaticCall(getContext().getType(Arrays.class), "asList");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	728
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	729 for (NodeData child : children) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	730 builder.startGroup();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	731 NodeData childNode = child;
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	732 List<NodeData> factories = new ArrayList<>();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	733 while (childNode.getParent() != null) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	734 factories.add(childNode);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	735 childNode = childNode.getParent();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	736 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	737 Collections.reverse(factories);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	738 for (NodeData nodeData : factories) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	739 builder.string(factoryClassName(nodeData)).string(".");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	740 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	741 builder.string("getInstance()");
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	742 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	743 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	744 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	745 builder.end();
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	746 return method;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	747 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	748
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	749 private void createFactoryMethods(NodeData node, CodeTypeElement clazz, Modifier createVisibility) {
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	750 List<ExecutableElement> constructors = findUserConstructors(node);
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	751 for (ExecutableElement constructor : constructors) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	752 clazz.add(createCreateMethod(node, createVisibility, constructor));
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	753 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	754 }
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	755
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	756 private List<ExecutableElement> findUserConstructors(NodeData node) {
6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	757 List<ExecutableElement> constructors = new ArrayList<>();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	758 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	759 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	760 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	761 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	762
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	763 // skip node rewrite constructor
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7502 diff changeset	764 if (constructor.getParameters().size() == 1 && typeEquals(constructor.getParameters().get(0).asType(), node.getNodeType())) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	765 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	766 }
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	767 constructors.add(constructor);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	768 }
7855 6e4fb0ccebb1 Generated factories implement the new NodeFactory interface. Christian Humer <christian.humer@gmail.com> parents: 7847 diff changeset	769 return constructors;
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	770 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	771
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	772 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	773 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	774 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	775 method.getModifiers().clear();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	776 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	777 method.getModifiers().add(visibility);
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 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	780 method.setReturnType(node.getNodeType());
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 CodeTreeBuilder body = method.createBuilder();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	783 body.startReturn();
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	784 if (node.getSpecializations().isEmpty()) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	785 body.null_();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	786 } else {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	787 body.startNew(nodeClassName(node.getSpecializations().get(0)));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	788 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	789 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	790 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	791 body.end();
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 body.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	794 return method;
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 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	798 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	799 if (visibility != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	800 method.getModifiers().add(visibility);
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 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	803
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	804 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	805 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	806
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	807 CodeTreeBuilder body = method.createBuilder();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	808 boolean first = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	809 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	810 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	811 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	812 if (first) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	813 body.startIf();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	814 first = false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	815 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	816 body.startElseIf();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	817 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	818 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	819 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	820 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	821 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	822
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	823 body.end(); // if
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 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	826 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	827 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	828 body.end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	829 return 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
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	832 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	833 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	834 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	835 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	836 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	837
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	838 CodeTreeBuilder body = method.createBuilder();
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	839 body.startStatement().string("boolean allowed = (minimumState == ").string(nodeClassName(node.getSpecializations().get(0))).string(".class)").end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	840
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	841 for (int i = 1; i < node.getSpecializations().size(); i++) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	842 SpecializationData specialization = node.getSpecializations().get(i);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	843 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	844
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	845 CodeTreeBuilder guarded = new CodeTreeBuilder(body);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	846 guarded.startReturn().startNew(nodeClassName(specialization));
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	847 guarded.string(THIS_NODE_LOCAL_VAR_NAME);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	848 guarded.end().end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	849
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	850 body.tree(createGuardAndCast(body, "allowed", node.getGenericSpecialization(), specialization, true, guarded.getRoot(), null));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	851 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	852 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	853
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	854 return method;
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
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	857 private List<CodeExecutableElement> createGeneratedGenericMethod(NodeData node) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	858 TypeMirror genericReturnType = node.getGenericSpecialization().getReturnType().getActualType();
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	859 if (node.getGenericSpecialization().isUseSpecializationsForGeneric()) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	860 List<CodeExecutableElement> methods = new ArrayList<>();
7751 ef1b41ea0a90 Implemented an option to turn off generated generic generation using specializations in @Generic. Christian Humer <christian.humer@gmail.com> parents: 7750 diff changeset	861
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	862 List<SpecializationData> specializations = node.getSpecializations();
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	863 SpecializationData prev = null;
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	864 for (int i = 0; i < specializations.size(); i++) {
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	865 SpecializationData current = specializations.get(i);
ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	866 SpecializationData next = i + 1 < specializations.size() ? specializations.get(i + 1) : null;
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	867 if (prev == null \|\| current.isUninitialized()) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	868 prev = current;
7751 ef1b41ea0a90 Implemented an option to turn off generated generic generation using specializations in @Generic. Christian Humer <christian.humer@gmail.com> parents: 7750 diff changeset	869 continue;
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	870 } else {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	871 String methodName = generatedGenericMethodName(current);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	872 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE, STATIC), genericReturnType, methodName);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	873 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	874 addValueParameters(method, node.getGenericSpecialization(), true);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	875
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	876 emitGeneratedGenericSpecialization(method.createBuilder(), current, next);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	877
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	878 methods.add(method);
7751 ef1b41ea0a90 Implemented an option to turn off generated generic generation using specializations in @Generic. Christian Humer <christian.humer@gmail.com> parents: 7750 diff changeset	879 }
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	880 prev = current;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	881 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	882
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	883 return methods;
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	884 } else {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	885 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE, STATIC), genericReturnType, generatedGenericMethodName(null));
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	886 method.addParameter(new CodeVariableElement(node.getNodeType(), THIS_NODE_LOCAL_VAR_NAME));
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	887 addValueParameters(method, node.getGenericSpecialization(), true);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	888 emitInvokeDoMethod(method.createBuilder(), node.getGenericSpecialization(), 0);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	889 return Arrays.asList(method);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	890 }
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	891 }
7751 ef1b41ea0a90 Implemented an option to turn off generated generic generation using specializations in @Generic. Christian Humer <christian.humer@gmail.com> parents: 7750 diff changeset	892
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	893 private void emitGeneratedGenericSpecialization(CodeTreeBuilder builder, SpecializationData current, SpecializationData next) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	894 CodeTreeBuilder invokeMethodBuilder = new CodeTreeBuilder(builder);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	895 emitInvokeDoMethod(invokeMethodBuilder, current, 0);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	896 CodeTree invokeMethod = invokeMethodBuilder.getRoot();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	897
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	898 if (next != null) {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	899 invokeMethod = createGuardAndCast(builder, null, current.getNode().getGenericSpecialization(), current, false, invokeMethod, null);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	900 }
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	901
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	902 builder.tree(invokeMethod);
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	903
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	904 if (next != null) {
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	905 builder.end();
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	906
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	907 builder.startReturn().startCall(generatedGenericMethodName(next));
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	908 builder.string(THIS_NODE_LOCAL_VAR_NAME);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	909 addValueParameterNames(builder, next, null, true);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	910 builder.end().end();
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	911 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	912 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	913
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	914 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	915 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	916 builder.startTryBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	917 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	918
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	919 builder.startReturn();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	920 startCallOperationMethod(builder, specialization);
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	921 addValueParameterNamesWithCasts(builder, specialization.getNode().getGenericSpecialization(), specialization);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	922 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	923 builder.end(); // return
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	924
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	925 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	926 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	927 builder.end().startCatchBlock(exception.getJavaClass(), "ex" + level);
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	928
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	929 builder.startReturn().startCall(generatedGenericMethodName(exception.getTransitionTo()));
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	930 builder.string(THIS_NODE_LOCAL_VAR_NAME);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	931 addValueParameterNames(builder, exception.getTransitionTo(), null, true);
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	932 builder.end().end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	933 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	934 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	935 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	936 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	937 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	938
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	939 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	940
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	941 public SpecializedNodeFactory(ProcessorContext context) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	942 super(context);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	943 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	944
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	945 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	946 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	947 NodeData node = specialization.getNode();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	948 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	949 return clazz;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	950 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	951
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	952 @Override
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	953 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	954 CodeTypeElement clazz = getElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	955 NodeData node = specialization.getNode();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	956
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	957 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	958 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	959 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	960 if (superConstructor != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	961 clazz.add(superConstructor);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	962 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	963 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	964
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	965 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	966 if (execType.isFinal()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	967 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	968 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	969 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	970 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	971 CodeVariableElement var = CodeVariableElement.clone(method.getParameters().get(0));
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	972 var.setName("frameValue");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	973 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	974 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	975 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	976 clazz.add(method);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	977
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	978 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	979 if (primaryType == execType.getType()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	980 buildFunctionalExecuteMethod(method.createBuilder(), specialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	981 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	982 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	983 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	984 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	985
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	986 if (node.needsRewrites(getContext()) && !specialization.isGeneric() && !specialization.isUninitialized()) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	987 buildSpecializeAndExecute(clazz, specialization);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	988 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	989 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	990
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	991 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	992 NodeData node = specialization.getNode();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	993 TypeSystemData typeSystem = node.getTypeSystem();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	994
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	995 ExecutableTypeData castedType = node.findExecutableType(type);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	996 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	997 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	998
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	999 boolean needsTry = execType.hasUnexpectedValue(getContext());
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1000 boolean returnVoid = type.isVoid();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1001
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1002 CodeTree primaryExecuteCall = null;
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1003
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1004 CodeTreeBuilder executeBuilder = CodeTreeBuilder.createBuilder();
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1005 buildExecute(executeBuilder, null, null, execType);
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1006 primaryExecuteCall = executeBuilder.getRoot();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1007
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1008 if (needsTry) {
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1009 if (!returnVoid) {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1010 builder.declaration(primaryType.getPrimitiveType(), "value");
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1011 }
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1012 builder.startTryBlock();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1013
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1014 if (returnVoid) {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1015 builder.statement(primaryExecuteCall);
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1016 } else {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1017 builder.startStatement();
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1018 builder.string("value = ");
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1019 builder.tree(primaryExecuteCall);
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1020 builder.end();
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1021 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1022
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1023 builder.end().startCatchBlock(getUnexpectedValueException(), "ex");
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1024 if (returnVoid) {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1025 builder.string("// ignore").newLine();
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1026 } else {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1027 builder.startReturn();
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1028 builder.tree(createExpectType(node, castedType, CodeTreeBuilder.singleString("ex.getResult()")));
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1029 builder.end();
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1030 }
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1031 builder.end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1032
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1033 if (!returnVoid) {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1034 builder.startReturn();
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1035 builder.tree(createExpectType(node, castedType, CodeTreeBuilder.singleString("value")));
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1036 builder.end();
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1037 }
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1038 } else {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1039 if (returnVoid) {
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1040 builder.statement(primaryExecuteCall);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1041 } else {
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1042 builder.startReturn();
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1043 builder.tree(createExpectType(node, castedType, primaryExecuteCall));
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1044 builder.end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1045 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1046 }
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1047 }
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1048
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1049 private CodeTree createExpectType(NodeData node, ExecutableTypeData castedType, CodeTree value) {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1050 if (castedType == null) {
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1051 return value;
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1052 } else if (castedType.getType().isVoid()) {
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1053 return value;
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1054 } else if (castedType.getType().isGeneric()) {
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1055 return value;
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1056 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1057
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1058 CodeTreeBuilder builder = CodeTreeBuilder.createBuilder();
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1059 String targetMethodName;
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1060 if (castedType.hasUnexpectedValue(getContext())) {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1061 targetMethodName = TypeSystemCodeGenerator.expectTypeMethodName(castedType.getType());
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1062 } else {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1063 targetMethodName = TypeSystemCodeGenerator.asTypeMethodName(castedType.getType());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1064 }
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1065 startCallTypeSystemMethod(getContext(), builder, node, targetMethodName);
06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1066
7750 bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1067 builder.tree(value);
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1068 builder.end().end();
bdcb3cc47e16 Generated nodes can now handle the case were a non generic execute methods does not throw an UVE. Christian Humer <christian.humer@gmail.com> parents: 7679 diff changeset	1069 return builder.getRoot();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1070 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1071
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1072 private void buildFunctionalExecuteMethod(CodeTreeBuilder builder, SpecializationData specialization) {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1073 if (specialization.isUninitialized()) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1074 builder.tree(createDeoptimize(builder));
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1075 }
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1076
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1077 builder.tree(createExecuteChildren(builder, specialization));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1078
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1079 if (specialization.isUninitialized()) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1080 builder.tree(createSpecializeCall(builder, specialization));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1081 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1082
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1083 CodeTree executeNode = createExecute(builder, specialization);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1084
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1085 SpecializationData next = specialization.findNextSpecialization();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1086 CodeTree returnSpecialized = null;
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1087 if (next != null) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1088 returnSpecialized = createReturnSpecializeAndExecute(builder, next, null);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1089 }
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1090 builder.tree(createGuardAndCast(builder, null, specialization, specialization, false, executeNode, returnSpecialized));
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1091 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1092
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1093 private CodeTree createDeoptimize(CodeTreeBuilder parent) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1094 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1095 builder.startStatement();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1096 builder.startStaticCall(getContext().getTruffleTypes().getTruffleIntrinsics(), "deoptimize").end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1097 builder.end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1098 return builder.getRoot();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1099 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1100
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1101 private CodeTree createSpecializeCall(CodeTreeBuilder parent, SpecializationData specialization) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1102 NodeData node = specialization.getNode();
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1103
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1104 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1105 emitSpecializationListeners(builder, node);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1106
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1107 builder.startStatement();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1108 builder.startCall("replace");
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1109 if (node.needsRewrites(getContext())) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1110 builder.startCall(factoryClassName(node), "specialize");
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1111 builder.string("this");
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1112 builder.typeLiteral(builder.findMethod().getEnclosingElement().asType());
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1113 addValueParameterNames(builder, specialization, null, false);
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1114 builder.end(); // call replace, call specialize
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1115 } else {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1116 builder.startCall(factoryClassName(node), "createSpecialized").string("this").string("null").end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1117 }
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1118 builder.end().end();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1119 return builder.getRoot();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1120 }
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1121
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1122 private CodeTree createExecute(CodeTreeBuilder parent, SpecializationData specialization) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1123 NodeData node = specialization.getNode();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1124 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1125 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	1126 builder.startTryBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1127 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1128
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1129 if ((specialization.isUninitialized() \|\| specialization.isGeneric()) && node.needsRewrites(getContext())) {
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	1130 builder.startReturn().startCall(factoryClassName(node), generatedGenericMethodName(null));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1131 builder.string("this");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1132 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	1133 builder.end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1134 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1135 builder.startReturn();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1136
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1137 if (specialization.isUninitialized()) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1138 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	1139 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1140 startCallOperationMethod(builder, specialization);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1141 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1142 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	1143 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	1144 builder.end(); // return
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1145 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1146
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1147 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	1148 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	1149 builder.end().startCatchBlock(exception.getJavaClass(), "ex");
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1150 builder.tree(createReturnSpecializeAndExecute(parent, exception.getTransitionTo(), null));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1151 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1152 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1153 }
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1154 return builder.getRoot();
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1155 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1156
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1157 private CodeTree createExecuteChildren(CodeTreeBuilder parent, SpecializationData specialization) {
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1158 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1159 for (ActualParameter parameter : specialization.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1160 NodeFieldData field = specialization.getNode().findField(parameter.getSpecification().getName());
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1161 if (field == null) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1162 continue;
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1163 }
91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1164
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1165 if (parameter.getActualTypeData(specialization.getNode().getTypeSystem()).isGeneric()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1166 buildGenericValueExecute(builder, specialization, parameter, field, null);
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1167 } else {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1168 buildSpecializedValueExecute(builder, specialization, parameter, field);
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1169 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1170 }
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1171 return builder.getRoot();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1172 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1173
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1174 private void emitSpecializationListeners(CodeTreeBuilder builder, NodeData node) {
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1175 for (TemplateMethod listener : node.getSpecializationListeners()) {
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1176 builder.startStatement();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1177 startCallOperationMethod(builder, listener);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1178 addValueParameterNames(builder, listener, null, false);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1179 builder.end().end();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1180 builder.end(); // statement
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1181 }
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1182 }
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1183
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1184 private void buildGenericValueExecute(CodeTreeBuilder builder, SpecializationData specialization, ActualParameter param, NodeFieldData field, ActualParameter exceptionParam) {
7794 b891ec348f8a Made the usage of generic types more flexible for short circuits and generic specializations. Christian Humer <christian.humer@gmail.com> parents: 7777 diff changeset	1185 NodeData node = specialization.getNode();
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1186 boolean shortCircuit = startShortCircuit(builder, specialization, param, exceptionParam);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1187
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1188 builder.startStatement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1189 if (!shortCircuit) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1190 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	1191 builder.string(" ");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1192 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1193
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1194 builder.string(valueName(param));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1195 builder.string(" = ");
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1196 ExecutableTypeData genericExecutableType = field.getNodeData().findGenericExecutableType(getContext(), param.getActualTypeData(node.getTypeSystem()));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1197 if (genericExecutableType == null) {
8242 ac4e8c16ffdf Added new codegen api classes NodeId, NodeClass to codegen along with some refactorings. Christian Humer <christian.humer@gmail.com> parents: 8237 diff changeset	1198 throw new AssertionError("Must have generic executable type. Parser validation most likely failed. " + (field.getNodeData().getExecutableTypes()));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1199 }
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1200 buildExecute(builder, param, field, genericExecutableType);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1201 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1202
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1203 endShortCircuit(builder, shortCircuit);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1204 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1205
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1206 private void buildExecute(CodeTreeBuilder builder, ActualParameter parameter, NodeFieldData field, ExecutableTypeData execType) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1207 if (field != null) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1208 Element accessElement = field.getAccessElement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1209 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	1210 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	1211 } 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	1212 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	1213 } else {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1214 throw new AssertionError();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1215 }
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1216 if (parameter.getSpecification().isIndexed()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1217 builder.string("[" + parameter.getIndex() + "]");
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1218 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1219 builder.string(".");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1220 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1221 builder.startCall(execType.getMethodName());
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1222 if (execType.getParameters().length == 1) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1223 builder.string("frameValue");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1224 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1225 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1226 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1227
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1228 private void buildSpecializedValueExecute(CodeTreeBuilder builder, SpecializationData specialization, ActualParameter param, NodeFieldData field) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1229 boolean shortCircuit = startShortCircuit(builder, specialization, param, null);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1230
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1231 if (!shortCircuit) {
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1232 builder.startStatement().type(param.getActualType()).string(" ").string(valueName(param)).end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1233 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1234
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1235 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	1236
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1237 if (execType.hasUnexpectedValue(getContext())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1238 builder.startTryBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1239 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1240
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1241 builder.startStatement().string(valueName(param)).string(" = ");
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1242 buildExecute(builder, param, field, execType);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1243 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1244
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1245 if (execType.hasUnexpectedValue(getContext())) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1246 builder.end().startCatchBlock(getUnexpectedValueException(), "ex");
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1247 SpecializationData generic = specialization.getNode().getGenericSpecialization();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1248 boolean execute = false;
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1249 for (ActualParameter exParam : generic.getParameters()) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1250 NodeFieldData exField = generic.getNode().findField(exParam.getSpecification().getName());
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1251 if (exField == null) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1252 continue;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1253 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1254 if (execute) {
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1255 buildGenericValueExecute(builder, specialization.getNode().getGenericSpecialization(), exParam, exField, param);
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1256 } else if (exParam.getName().equals(param.getName())) {
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1257 execute = true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1258 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1259 }
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1260 builder.tree(createReturnSpecializeAndExecute(builder, specialization.findNextSpecialization(), param));
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1261 builder.end(); // catch block
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1262 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1263
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1264 endShortCircuit(builder, shortCircuit);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1265 builder.newLine();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1266 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1267
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1268 private boolean startShortCircuit(CodeTreeBuilder builder, SpecializationData specialization, ActualParameter parameter, ActualParameter exceptionParam) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1269 NodeFieldData forField = specialization.getNode().findField(parameter.getSpecification().getName());
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1270 if (forField == null) {
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1271 return false;
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1272 }
6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1273
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1274 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	1275 return false;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1276 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1277
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1278 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	1279
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1280 int shortCircuitIndex = 0;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1281 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	1282 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	1283 if (field == forField) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1284 break;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1285 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1286 shortCircuitIndex++;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1287 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1288 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1289
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1290 builder.startStatement().type(shortCircuitParam.getActualType()).string(" ").string(valueName(shortCircuitParam)).string(" = ");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1291 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	1292
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1293 startCallOperationMethod(builder, shortCircuitData);
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1294 addValueParameterNames(builder, shortCircuitData, exceptionParam != null ? exceptionParam.getName() : null, false);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1295 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	1296
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1297 builder.end(); // statement
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1298
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1299 builder.declaration(parameter.getActualType(), valueName(parameter), CodeTreeBuilder.createBuilder().defaultValue(parameter.getActualType()));
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1300 builder.startIf().string(shortCircuitParam.getName()).end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1301 builder.startBlock();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1302
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1303 return true;
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1304 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1305
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1306 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	1307 if (shortCircuit) {
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1308 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1309 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1310 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1311
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1312 private CodeTree createReturnSpecializeAndExecute(CodeTreeBuilder parent, SpecializationData nextSpecialization, ActualParameter exceptionParam) {
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1313 CodeTreeBuilder specializeCall = new CodeTreeBuilder(parent);
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1314 specializeCall.startCall("specializeAndExecute");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1315 specializeCall.string(nodeClassName(nextSpecialization) + ".class");
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1316 addValueParameterNames(specializeCall, nextSpecialization.getNode().getGenericSpecialization(), exceptionParam != null ? exceptionParam.getName() : null, true);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1317 specializeCall.end().end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1318
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1319 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1320 builder.startReturn();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1321 builder.tree(specializeCall.getRoot());
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1322 builder.end();
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1323 return builder.getRoot();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1324 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1325
8237 6b74ffe38183 Implemented support for executing nodes in @Children fields. Christian Humer <christian.humer@gmail.com> parents: 7859 diff changeset	1326 private void buildSpecializeAndExecute(CodeTypeElement clazz, SpecializationData specialization) {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1327 NodeData node = specialization.getNode();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1328 TypeData returnType = specialization.getReturnType().getActualTypeData(node.getTypeSystem());
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1329 ExecutableTypeData returnExecutableType = node.findExecutableType(returnType);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1330 boolean canThrowUnexpected = returnExecutableType == null ? true : returnExecutableType.hasUnexpectedValue(getContext());
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1331
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1332 CodeExecutableElement method = new CodeExecutableElement(modifiers(PRIVATE), returnType.getPrimitiveType(), "specializeAndExecute");
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1333 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), "minimumState"));
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1334 if (canThrowUnexpected) {
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1335 method.addThrownType(getUnexpectedValueException());
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1336 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1337 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	1338 clazz.add(method);
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1339
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1340 CodeTreeBuilder builder = method.createBuilder();
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1341
7846 91cc98eae8ee Refactor guard creation methods are not flexible enough to handle two if guards. Christian Humer <christian.humer@gmail.com> parents: 7845 diff changeset	1342 builder.tree(createDeoptimize(builder));
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1343 emitSpecializationListeners(builder, specialization.getNode());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1344
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1345 builder.startStatement();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1346 builder.startCall("replace");
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1347 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	1348 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	1349 builder.end();
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1350 builder.end(); // call replace
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1351 builder.end(); // statement
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1352
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	1353 String generatedMethodName = generatedGenericMethodName(specialization.findNextSpecialization());
ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	1354 ExecutableElement generatedGeneric = clazz.getEnclosingClass().getMethod(generatedMethodName);
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1355
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1356 CodeTreeBuilder genericExecute = CodeTreeBuilder.createBuilder();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1357 genericExecute.startCall(factoryClassName(specialization.getNode()), generatedMethodName);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1358 genericExecute.string("this");
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1359 addValueParameterNames(genericExecute, specialization.getNode().getGenericSpecialization(), null, true);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1360 genericExecute.end(); // call generated generic
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1361
7847 06a7cd6aaf00 Casting is now done on demand using local variables for explicit guards. Christian Humer <christian.humer@gmail.com> parents: 7846 diff changeset	1362 CodeTree genericInvocation = createExpectType(node, returnExecutableType, genericExecute.getRoot());
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1363
7777 ca51efac4d57 Fixed rewrite in generated generic did not invoke guards. Christian Humer <christian.humer@gmail.com> parents: 7751 diff changeset	1364 if (generatedGeneric != null && Utils.isVoid(generatedGeneric.getReturnType())) {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1365 builder.statement(genericInvocation);
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1366
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1367 if (!Utils.isVoid(builder.findMethod().asType())) {
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1368 builder.startReturn().defaultValue(returnType.getPrimitiveType()).end();
4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1369 }
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1370 } else {
7843 4969921f57b7 Renamed generated specialize to specializeAndExecute. Christian Humer <christian.humer@gmail.com> parents: 7799 diff changeset	1371 builder.startReturn().tree(genericInvocation).end();
7502 6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1372 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1373 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1374
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1375 }
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1376
6343a09b2ec1 Codegen operation generation is inferred from the node type hierarchy. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1377 }

Mercurial > hg > graal-compiler

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeCodeGenerator.java @ 8242:ac4e8c16ffdf