예제 #1
0
 public void testVFE5() {
   try {
     Class.forName("dxc.junit.opcodes.lshr.jm.T_lshr_6");
     fail("expected a verification exception");
   } catch (Throwable t) {
     DxUtil.checkVerifyException(t);
   }
 }
예제 #2
0
 public void testVFE1() {
   try {
     Class.forName("dxc.junit.opcodes.if_acmpne.jm.T_if_acmpne_2");
     fail("expected a verification exception");
   } catch (Throwable t) {
     DxUtil.checkVerifyException(t);
   }
 }
예제 #3
0
 public void testVFE11() {
   // @uses dxc.junit.opcodes.invokeinterface.jm.ITest
   try {
     Class.forName("dxc.junit.opcodes.invokeinterface.jm.T_invokeinterface_20");
     fail("expected a verification exception");
   } catch (Throwable t) {
     DxUtil.checkVerifyException(t);
   }
 }
 /**
  * @constraint 4.8.2.14
  * @title assignment incompatible references
  */
 public void testVFE6() {
   // @uses dxc.junit.opcodes.areturn.jm.TInterface
   // @uses dxc.junit.opcodes.areturn.jm.TSuper
   // @uses dxc.junit.opcodes.areturn.jm.TChild
   try {
     Class.forName("dxc.junit.opcodes.areturn.jm.T_areturn_14");
     fail("expected a verification exception");
   } catch (Throwable t) {
     DxUtil.checkVerifyException(t);
   }
 }
 /**
  * @constraint 4.8.2.14
  * @title assignment incompatible references
  */
 @SuppressWarnings("cast")
 public void testVFE7() {
   // @uses dxc.junit.opcodes.areturn.jm.TSuper2
   // @uses dxc.junit.opcodes.areturn.Runner
   // @uses dxc.junit.opcodes.areturn.RunnerGenerator
   try {
     RunnerGenerator rg =
         (RunnerGenerator)
             Class.forName("dxc.junit.opcodes.areturn.jm.T_areturn_15").newInstance();
     Runner r = rg.run();
     assertFalse(r instanceof Runner);
     assertFalse(Runner.class.isAssignableFrom(r.getClass()));
     // only upon invocation of a concrete method,
     // a java.lang.IncompatibleClassChangeError is thrown
     r.doit();
     fail("expected a verification exception");
   } catch (Throwable t) {
     DxUtil.checkVerifyException(t);
   }
 }