comparison graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/model/SpecializationData.java @ 18775:a069a87b9a02

Truffle-DSL: Added tests and verification of overridable generic execute methods.
author Christian Humer <christian.humer@gmail.com>
date Mon, 05 Jan 2015 01:31:08 +0100
parents a665483c3881
children c0fb70634640
comparison
equal deleted inserted replaced
18774:674c8a6d5e6c 18775:a069a87b9a02
131 } 131 }
132 if (!getAssumptions().isEmpty()) { 132 if (!getAssumptions().isEmpty()) {
133 return true; 133 return true;
134 } 134 }
135 for (Parameter parameter : getSignatureParameters()) { 135 for (Parameter parameter : getSignatureParameters()) {
136 ExecutableTypeData type = parameter.getSpecification().getExecution().getChild().findExecutableType(context, parameter.getTypeSystemType()); 136 NodeChildData child = parameter.getSpecification().getExecution().getChild();
137 ExecutableTypeData type = child.findExecutableType(parameter.getTypeSystemType());
138 if (type == null) {
139 type = child.findAnyGenericExecutableType(context);
140 }
137 if (type.hasUnexpectedValue(context)) { 141 if (type.hasUnexpectedValue(context)) {
138 return true; 142 return true;
139 } 143 }
140 if (type.getReturnType().getTypeSystemType().needsCastTo(parameter.getTypeSystemType())) { 144 if (type.getReturnType().getTypeSystemType().needsCastTo(parameter.getTypeSystemType())) {
141 return true; 145 return true;