add test for GetMethod context, interpreter and selector

com.ibm.wala.core.testdata/src/reflection/GetMethodContext.java

@@ -0,0 +1,75 @@
+/*******************************************************************************
+ * Copyright (c) 2006 IBM Corporation.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+
+package reflection;
+
+import java.lang.reflect.InvocationTargetException;
+import java.lang.reflect.Method;
+
+/**
+ * A test targeting the {@link com.ibm.wala.analysis.reflection.GetMethodContext}.
+ * @author Michael Heilmann
+ */
+public class GetMethodContext {
+
+  public static class A {
+    public void bar() {
+    }
+    public void foo() {
+    }
+    public void baz() {
+    }
+  };
+
+  public static class B extends A {
+    @Override
+    public void bar() {
+    }
+    @Override
+    public void foo() {
+    }
+    @Override
+    public void baz() {
+    }
+  };
+
+  public static class C extends B {
+    @Override
+    public void foo() {
+    }
+    @Override
+    public void baz() {
+    }
+  };
+
+  public static void main(String[] args) throws IllegalAccessException, NoSuchMethodException, IllegalArgumentException, InvocationTargetException {
+    Method m;
+    A a;
+    a = new B();
+    // Wala should return only GetMethodContext$A#foo() and GetMethodContext$B#foo().
+    // TODO
+    // Wala should return only GetMethodContext$B#foo().
+    m = a.getClass().getMethod("foo");
+    m.invoke(new Object[]{});
+    // Wala should return only GetMethodContext$B#bar().
+    m = a.getClass().getDeclaredMethod("bar");
+    m.invoke(new Object[]{});
+    a = new C();
+    // Wala should return only GetMethodContext$C#baz().
+    m = a.getClass().getDeclaredMethod("baz");
+    m.invoke(new Object[]{});
+    // To summarize:
+    // 1 x GetMethodContext$A#foo()
+    // 1 x GetMethodContext$B#foo()
+    // 1 x GetMethodContext$B#bar()
+    // 1 x GetMethodContext$C#baz()
+  }
+}

com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/ReflectionTest.java

@@ -638,4 +638,22 @@ public class ReflectionTest extends WalaTestCase {
     Set<CGNode> nodes = cg.getNodes(mr);
     Assert.assertFalse(nodes.isEmpty());
   }
+  
+  /**
+   * Test that when analyzing GetMethodContext, the call graph must contain exactly one call to each of the following methods:
+   * <ul>
+   *  <li>GetMethodContext$A#foo()</li>
+   *  <li>GetMethodContext$B#foo()</li>
+   *  <li>GetMethodContext$B#bar()</li>
+   *  <li>GetMethodContext$C#baz()</li>
+   * </ul>
+   */
+  public void testGetMethodContext() throws WalaException, IllegalArgumentException, CancelException, IOException {
+    AnalysisScope scope = findOrCreateAnalysisScope();
+    IClassHierarchy cha = findOrCreateCHA(scope);
+    Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
+        TestConstants.REFLECTGETMETHODCONTEXT_MAIN);
+    AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
+    CallGraph cg = CallGraphTestUtil.buildZeroOneCFA(options, new AnalysisCache(), cha, scope, false);
+  }
 }

com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/util/TestConstants.java

@@ -88,6 +88,8 @@ public interface TestConstants {
   
   public final static String REFLECT23_MAIN = "Lreflection/Reflect23";
 
+  public final static String REFLECTGETMETHODCONTEXT_MAIN = "Lreflection/GetMethodContext";
+  
   public final static String SLICE1_MAIN = "Lslice/Slice1";
 
   public final static String SLICE2_MAIN = "Lslice/Slice2";