graal-jvmci-8: 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 @ 8251:cb70ed101b5f

Added automatic generation of generic specialization which throws unsupported operation if reached.

author	Christian Humer <christian.humer@gmail.com>
date	Wed, 13 Mar 2013 11:32:43 +0100
parents	c4c3f50fa9c2
children	0905d796944a

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

Mercurial > hg > graal-jvmci-8

annotate graal/com.oracle.truffle.codegen.processor/src/com/oracle/truffle/codegen/processor/node/NodeCodeGenerator.java @ 8251:cb70ed101b5f