duke@1: /*
darcy@699:  * Copyright (c) 2006, 2010, Oracle and/or its affiliates. All rights reserved.
duke@1:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1:  *
duke@1:  * This code is free software; you can redistribute it and/or modify it
duke@1:  * under the terms of the GNU General Public License version 2 only, as
duke@1:  * published by the Free Software Foundation.
duke@1:  *
duke@1:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@1:  * version 2 for more details (a copy is included in the LICENSE file that
duke@1:  * accompanied this code).
duke@1:  *
duke@1:  * You should have received a copy of the GNU General Public License version
duke@1:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@1:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1:  *
ohair@554:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554:  * or visit www.oracle.com if you need additional information or have any
ohair@554:  * questions.
duke@1:  */
duke@1: 
duke@1: /*
duke@1:  * @test
duke@1:  * @bug     6453386
duke@1:  * @summary Verify that example code in Elements.overrides works as spec'ed.
duke@1:  * @author  Scott Seligman
darcy@1466:  * @library /tools/javac/lib
darcy@699:  * @build JavacTestingAbstractProcessor
duke@1:  * @compile -g OverridesSpecEx.java
duke@1:  * @compile -processor OverridesSpecEx -proc:only OverridesSpecEx.java
duke@1:  */
duke@1: 
duke@1: import java.util.Set;
duke@1: import javax.annotation.processing.*;
duke@1: import javax.lang.model.SourceVersion;
duke@1: import javax.lang.model.element.*;
duke@1: import javax.lang.model.type.*;
duke@1: import javax.lang.model.util.*;
duke@1: 
duke@1: import static javax.lang.model.util.ElementFilter.*;
duke@1: 
darcy@699: public class OverridesSpecEx extends JavacTestingAbstractProcessor {
duke@1:     public boolean process(Set<? extends TypeElement> annoTypes,
duke@1:                            RoundEnvironment round) {
duke@1:         if (!round.processingOver())
duke@1:             doit(annoTypes, round);
duke@1:         return true;
duke@1:     }
duke@1: 
duke@1:     private void doit(Set<? extends TypeElement> annoTypes,
duke@1:                       RoundEnvironment round) {
duke@1:         TypeElement string = elements.getTypeElement("java.lang.String");
duke@1:         TypeElement object = elements.getTypeElement("java.lang.Object");
duke@1: 
duke@1:         ExecutableElement m1 = null;
duke@1:         ExecutableElement m2 = null;
duke@1:         for (ExecutableElement m : methodsIn(string.getEnclosedElements())) {
duke@1:             if (m.getSimpleName().contentEquals("hashCode")) {
duke@1:                 m1 = m;
duke@1:                 break;
duke@1:             }
duke@1:         }
duke@1:         for (ExecutableElement m : methodsIn(object.getEnclosedElements())) {
duke@1:             if (m.getSimpleName().contentEquals("hashCode")) {
duke@1:                 m2 = m;
duke@1:                 break;
duke@1:             }
duke@1:         }
duke@1: 
duke@1:         boolean res =
duke@1:             elements.overrides(m1, m2, (TypeElement) m1.getEnclosingElement());
duke@1:         System.out.println("String.hashCode overrides Object.hashCode?  " + res);
duke@1:         checkResult(res);
duke@1: 
duke@1:         TypeElement a = elements.getTypeElement("OverridesSpecEx.A");
duke@1:         TypeElement b = elements.getTypeElement("OverridesSpecEx.B");
duke@1:         TypeElement c = elements.getTypeElement("OverridesSpecEx.C");
duke@1: 
duke@1:         m1 = null;
duke@1:         m2 = null;
duke@1:         for (ExecutableElement m : methodsIn(a.getEnclosedElements()))
duke@1:             m1 = m;
duke@1:         for (ExecutableElement m : methodsIn(b.getEnclosedElements()))
duke@1:             m2 = m;
duke@1: 
duke@1:         res = elements.overrides(m1, m2, a);
duke@1:         System.out.println("A.m overrides B.m in B?  " + res);
duke@1:         checkResult(!res);
duke@1:         res = elements.overrides(m1, m2, c);
duke@1:         System.out.println("A.m overrides B.m in C?  " + res);
duke@1:         checkResult(res);
duke@1:     }
duke@1: 
duke@1:     private static void checkResult(boolean truthiness) {
duke@1:         if (!truthiness)
duke@1:             throw new AssertionError("Bogus result");
duke@1:     }
duke@1: 
duke@1:     // Fodder for the processor
duke@1:     class A {
duke@1:         public void m() {}
duke@1:     }
duke@1:     interface B {
duke@1:         void m();
duke@1:     }
duke@1:     class C extends A implements B {
duke@1:     }
duke@1: }