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.tools.Diagnostic.Kind; 34 35 import org.graalvm.compiler.api.replacements.Fold; 36 37 public final class FoldVerifier extends AbstractVerifier { 38 39 public FoldVerifier(ProcessingEnvironment env) { 40 super(env); 41 } 42 43 @Override 44 public Class<? extends Annotation> getAnnotationClass() { 45 return Fold.class; 46 } 47 48 @Override 49 public void verify(Element element, AnnotationMirror annotation, PluginGenerator generator) { 50 if (element.getKind() != ElementKind.METHOD) { 51 assert false : "Element is guaranteed to be a method."; 52 return; 53 } 54 55 ExecutableElement foldMethod = (ExecutableElement) element; 56 if (foldMethod.getModifiers().contains(Modifier.PRIVATE)) { 57 env.getMessager().printMessage(Kind.ERROR, String.format("A @%s method must not be private.", Fold.class.getSimpleName()), element, annotation); 58 } else { 59 generator.addPlugin(new GeneratedFoldPlugin(foldMethod)); 60 } 61 } 62 }