src/tests/java8/JPF_java8_DefaultMethodTest$G1.java

   1 package java8;
   2
   3 import gov.nasa.jpf.annotation.MJI;
   4 import gov.nasa.jpf.vm.MJIEnv;
   5 import gov.nasa.jpf.vm.NativePeer;
   6
   7 /**
   8  * Created by pcmehlitz on 4/1/15.
   9  */
  10 public class JPF_java8_DefaultMethodTest$G1 extends NativePeer {
  11   @MJI
  12   public int foo____I (MJIEnv env, int objRef){
  13     System.out.println("this is native G1.foo()");
  14     return 42;
  15   }
  16 }