예제 #1
0
 public void f2(B1 b) {
   // original is b.foo(0); this is the tagging:
   Class[] variants = {D.class, C.class, B1.class};
   ((B1) TLog.polycall(b, variants)).foo(0);
 }
예제 #2
0
 public void f1(A a) {
   // we just want to do a.foo(0); this gives the following tagging:
   Class[] variants = {D.class, C.class, B1.class, B2.class, A.class};
   ((A) TLog.polycall(a, variants)).foo(0);
 }