Mercurial > hg > graal-compiler
view graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/GuardParser.java @ 18781:941761f6b736
Truffle-DSL: fixed thrown exception messages should provide more contextual information. (reported by Benoit Daloze)
author | Christian Humer <christian.humer@gmail.com> |
---|---|
date | Mon, 05 Jan 2015 20:23:22 +0100 |
parents | 8eca9a00aaba |
children |
line wrap: on
line source
/* * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.truffle.dsl.processor.parser; import java.lang.annotation.*; import java.util.*; import javax.lang.model.element.*; import javax.lang.model.type.*; import com.oracle.truffle.api.dsl.*; import com.oracle.truffle.dsl.processor.*; import com.oracle.truffle.dsl.processor.java.*; import com.oracle.truffle.dsl.processor.model.*; public class GuardParser extends NodeMethodParser<GuardData> { private final GuardExpression expression; private final TemplateMethod guardedMethod; public GuardParser(ProcessorContext context, NodeData node, TemplateMethod compatibleSource, GuardExpression expression) { super(context, node); this.expression = expression; this.guardedMethod = compatibleSource; getParser().setEmitErrors(false); setParseNullOnError(false); } @Override protected ParameterSpec createValueParameterSpec(NodeExecutionData execution) { return super.createValueParameterSpec(execution); } @Override public MethodSpec createSpecification(ExecutableElement method, AnnotationMirror mirror) { MethodSpec spec = createDefaultMethodSpec(method, mirror, true, null); spec.setIgnoreAdditionalSpecifications(true); spec.getRequired().clear(); if (expression.getResolvedChildren() != null) { for (NodeExecutionData execution : expression.getResolvedChildren()) { List<Parameter> foundInGuardedMethod = guardedMethod.findByExecutionData(execution); for (Parameter guardedParameter : foundInGuardedMethod) { spec.addRequired(createParameterSpec(guardedParameter)); } } } else { for (Parameter parameter : guardedMethod.getRequiredParameters()) { spec.addRequired(createParameterSpec(parameter)); } } return spec; } private ParameterSpec createParameterSpec(Parameter parameter) { List<TypeMirror> typeMirrors = ElementUtils.getAssignableTypes(getContext(), parameter.getType()); Set<String> typeIds = new HashSet<>(); for (TypeMirror typeMirror : typeMirrors) { typeIds.add(ElementUtils.getUniqueIdentifier(typeMirror)); } if (parameter.getSpecification().isSignature()) { typeIds.retainAll(getTypeSystem().getTypeIdentifiers()); } return new ParameterSpec(parameter.getSpecification(), typeMirrors, typeIds); } @Override protected List<TypeMirror> nodeTypeMirrors(NodeData nodeData) { Set<TypeMirror> typeMirrors = new LinkedHashSet<>(); typeMirrors.addAll(nodeData.getTypeSystem().getPrimitiveTypeMirrors()); typeMirrors.addAll(nodeData.getTypeSystem().getBoxedTypeMirrors()); return new ArrayList<>(typeMirrors); } @Override protected Set<String> nodeTypeIdentifiers(NodeData nodeData) { return nodeData.getTypeSystem().getTypeIdentifiers(); } @Override protected ParameterSpec createReturnParameterSpec() { return new ParameterSpec("returnType", getContext().getType(boolean.class)); } @Override public boolean isParsable(ExecutableElement method) { return true; } @Override public GuardData create(TemplateMethod method, boolean invalid) { Implies impliesAnnotation = method.getMethod().getAnnotation(Implies.class); String[] impliesExpressions = new String[0]; if (impliesAnnotation != null) { impliesExpressions = impliesAnnotation.value(); } List<GuardExpression> guardExpressions = new ArrayList<>(); for (String string : impliesExpressions) { guardExpressions.add(new GuardExpression(string, false)); } return new GuardData(method, guardExpressions); } @Override public Class<? extends Annotation> getAnnotationType() { return null; } }