public class TestCallVirtual extends MyTestCase {
public static interface CallVirtualTest {
public int meth(CallVirtualTestClass arg0,int arg1) ;
}
public void test0() throws Exception {
CallVirtualTest obj = makeObject(CallVirtualTest.class,new CallExpr(new FieldVarExpr(ARG0,"addone",null),
new FIFO<Expr>(ARG1),null)) ;
CallVirtualTestClass o2 = new CallVirtualTestClass() ;
assertEquals(obj.meth(o2,5),6) ;
}