--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/tests/gov/nasa/jpf/test/java/lang/reflect/MethodTest.java	Fri Jan 23 10:14:01 2015 -0800
@@ -0,0 +1,184 @@
+/*
+ * Copyright (C) 2014, United States Government, as represented by the
+ * Administrator of the National Aeronautics and Space Administration.
+ * All rights reserved.
+ *
+ * The Java Pathfinder core (jpf-core) platform is licensed under the
+ * Apache License, Version 2.0 (the "License"); you may not use this file except
+ * in compliance with the License. You may obtain a copy of the License at
+ * 
+ *        http://www.apache.org/licenses/LICENSE-2.0. 
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and 
+ * limitations under the License.
+ */
+
+package gov.nasa.jpf.test.java.lang.reflect;
+
+import gov.nasa.jpf.util.test.TestJPF;
+import java.lang.reflect.Method;
+import org.junit.Test;
+
+public class MethodTest extends TestJPF {
+
+  public static void main (String[] args){
+    runTestsOfThisClass(args);
+  }
+
+  @Test
+  public void equalsTest () throws SecurityException, NoSuchMethodException{
+    if (verifyNoPropertyViolation()){
+      Method m1 = MethodTest.class.getMethod("equalsTest", new Class[0]);
+      Method m2 = MethodTest.class.getMethod("equalsTest", new Class[0]);
+      assertTrue(m1.equals(m2));
+      assertFalse(m1 == m2);
+    }
+  }
+
+  public void testIsVarArg1s (Class<?>... argTypes){
+  }
+
+  public void testIsVarArgs2 (Class<?>[] argTypes){
+  }
+
+  @Test
+  public void isVarArgsTest () throws SecurityException, NoSuchMethodException{
+    if (verifyNoPropertyViolation()){
+      for (Method m : MethodTest.class.getDeclaredMethods()){
+        if (m.getName().equals("testIsVarArg1s"))
+          assertTrue(m.isVarArgs());
+        else if (m.getName().equals("testIsVarArg1s")) {
+          assertFalse(m.isVarArgs());
+        }
+      }
+    }
+  }
+
+  @Test
+  public void hashCodeTest () throws SecurityException, NoSuchMethodException{
+    if (verifyNoPropertyViolation()){
+      Method m1 = MethodTest.class.getMethod("hashCodeTest", new Class[0]);
+      Method m2 = MethodTest.class.getMethod("hashCodeTest", new Class[0]);
+      Method m3 = MethodTest.class.getMethod("equalsTest", new Class[0]);
+      assertTrue(m1.equals(m2));
+      assertTrue(m1.hashCode() == m2.hashCode());
+      assertFalse(m1.hashCode() == m3.hashCode());
+    }
+  }
+
+  public static class A {
+    public A foo (int a){
+      return new A();
+    }
+  }
+
+  public static class B extends A {
+    @Override
+	public B foo (int x){
+      return new B();
+    }
+  }
+
+  @Test
+  public void isBridgeTest (){
+    if (verifyNoPropertyViolation()){
+      assertFalse(B.class.getDeclaredMethods()[0].isBridge());
+      assertTrue(B.class.getDeclaredMethods()[1].isBridge());
+    }
+  }
+  
+  //--- aux
+  
+  void recordSeen (boolean[] seen, String[] expected, Method m){
+    String mname = m.toString();
+    for (int i=0; i<expected.length; i++){
+      if (expected[i].equals(mname)){
+        seen[i] = true;
+      }
+    }
+  }
+  
+  boolean checkSeen(boolean[] seen, String[] expected){
+    for (int i=0; i<expected.length; i++){
+      if (!seen[i]){
+        System.out.println("NOT seen: " + expected[i]);
+        return false;
+      }
+    }
+    return true;
+  }
+  
+  //------------ getMethods() on interfaces
+  interface I1 {
+    void i1();
+  }
+  
+  interface I2 extends I1 {
+    void i2();
+  }
+  
+  @Test
+  public void testGetMethodsOnIfc(){
+    if (verifyNoPropertyViolation()){
+      String[] expected = {
+        "public abstract void gov.nasa.jpf.test.java.lang.reflect.MethodTest$I2.i2()",
+        "public abstract void gov.nasa.jpf.test.java.lang.reflect.MethodTest$I1.i1()"
+      };
+      boolean[] seen = new boolean[expected.length];
+      
+      Method[] methods = I2.class.getMethods();
+      
+      for (Method m : methods){
+        System.out.println(m);
+        recordSeen(seen, expected, m);
+      }
+      assertTrue(methods.length == expected.length);
+      //assertTrue(checkSeen(seen, expected));
+    }
+  }
+  
+  
+  //------------ getMethods() on classes
+  public static class C extends B {
+    static {
+      System.out.println("C.<clinit>");
+    }
+    
+    // non-public method
+    void nope(){
+    }
+    
+    // ctor
+    C (){
+      System.out.println("C.<init>");      
+    }
+  } 
+  
+  @Test
+  public void testGetMethodsOnClass(){
+    if (verifyNoPropertyViolation()){
+      String[] expected = {
+        "public native int java.lang.Object.hashCode()",
+        "public final native void java.lang.Object.notify()",
+        "public final native void java.lang.Object.notifyAll()",
+        "public java.lang.String java.lang.Object.toString()",
+        "public final native java.lang.Class java.lang.Object.getClass()",
+        "public final native void java.lang.Object.wait(long)",
+        "public final void java.lang.Object.wait(long,int)",
+        "public gov.nasa.jpf.test.java.lang.reflect.MethodTest$B gov.nasa.jpf.test.java.lang.reflect.MethodTest$B.foo(int)",
+        "public boolean java.lang.Object.equals(java.lang.Object)",
+        "public volatile gov.nasa.jpf.test.java.lang.reflect.MethodTest$A gov.nasa.jpf.test.java.lang.reflect.MethodTest$B.foo(int)",
+        "public final void java.lang.Object.wait()"
+      };
+      boolean[] seen = new boolean[expected.length];
+      
+      Method[] methods = C.class.getMethods();
+      for (Method m : methods){
+        System.out.println(m);
+      }
+    }
+  }
+}