1 /*

     2  * Copyright (c) 2015, 2015, Oracle and/or its affiliates. All rights reserved.

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

     4  *

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

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

     7  * published by the Free Software Foundation.

     8  *

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

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

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

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

    13  * accompanied this code).

    14  *

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

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

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

    18  *

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

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

    21  * questions.

    22  */

    23 package org.graalvm.compiler.replacements.verifier;

    24 

    25 import java.lang.annotation.Annotation;

    26 

    27 import javax.annotation.processing.ProcessingEnvironment;

    28 import javax.lang.model.element.AnnotationMirror;

    29 import javax.lang.model.element.Element;

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

    31 import javax.lang.model.element.ExecutableElement;

    32 import javax.lang.model.element.Modifier;

    33 import javax.lang.model.type.TypeKind;

    34 import javax.tools.Diagnostic.Kind;

    35 

    36 import org.graalvm.compiler.api.replacements.Fold;

    37 

    38 public final class FoldVerifier extends AbstractVerifier {

    39 

    40     public FoldVerifier(ProcessingEnvironment env) {

    41         super(env);

    42     }

    43 

    44     @Override

    45     public Class<? extends Annotation> getAnnotationClass() {

    46         return Fold.class;

    47     }

    48 

    49     @Override

    50     public void verify(Element element, AnnotationMirror annotation, PluginGenerator generator) {

    51         if (element.getKind() != ElementKind.METHOD) {

    52             assert false : "Element is guaranteed to be a method.";

    53             return;

    54         }

    55 

    56         ExecutableElement foldMethod = (ExecutableElement) element;

    57         if (foldMethod.getReturnType().getKind() == TypeKind.VOID) {

    58             env.getMessager().printMessage(Kind.ERROR,

    59                             String.format("A @%s method must not be void as it won't yield a compile-time constant (the reason for supporting folding!).", Fold.class.getSimpleName()), element,

    60                             annotation);

    61         } else if (foldMethod.getModifiers().contains(Modifier.PRIVATE)) {

    62             env.getMessager().printMessage(Kind.ERROR, String.format("A @%s method must not be private.", Fold.class.getSimpleName()), element, annotation);

    63         } else {

    64             generator.addPlugin(new GeneratedFoldPlugin(foldMethod));

    65         }

    66     }

    67 }