Examples of gov.nasa.jpf.vm.NativeMethodInfo

gov.nasa.jpf.vm.NativeMethodInfo

      }
    }
  }


  private boolean isHandled(MethodInfo mi) {
    NativeMethodInfo nmi = (NativeMethodInfo) mi;
    NativePeer nativePeer = nmi.getNativePeer();


    // check if there is any native peer class associated to the class of this
    // method at all
    if(nativePeer == null) {
      return false;
    }


    Method[] mth = nativePeer.getPeerClass().getMethods();
    for(Method m: mth) {
      String jniName = nmi.getJNIName();
      if(m.getName().equals(jniName) || jniName.contains(m.getName())) {
        return true;
      }
    }

View Full Code Here

      }
    }
  }


  private void delegateUnhandledNative (MethodInfo mi){
    NativeMethodInfo new_m = new DelegatedNativeMethodInfo(mi);
    new_m.replace(mi);
  }

View Full Code Here

    NativeMethodInfo new_m = new DelegatedNativeMethodInfo(mi);
    new_m.replace(mi);
  }


  private void skipUnhandledNative (MethodInfo mi){
    NativeMethodInfo new_m = new SkippedNativeMethodInfo(mi);
    new_m.replace(mi);
  }

View Full Code Here

    NativeMethodInfo new_m = new SkippedNativeMethodInfo(mi);
    new_m.replace(mi);
  }


  private void delegateMethod (MethodInfo mi){
    NativeMethodInfo new_m = new DelegatedMethodInfo(mi);
    new_m.replace(mi);
  }

View Full Code Here

    NativeMethodInfo new_m = new DelegatedMethodInfo(mi);
    new_m.replace(mi);
  }


  private void skipMethod (MethodInfo mi){
    NativeMethodInfo new_m = new SkippedMethodInfo(mi);
    new_m.replace(mi);
  }

View Full Code Here

TOP

Related Classes of gov.nasa.jpf.vm.NativeMethodInfo

gov.nasa.jpf.vm.JVMForwarder

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.