Examples of gov.nasa.jpf.conformanceChecker.providers.NativePeerProvider

Package gov.nasa.jpf.conformanceChecker.providers

Examples of gov.nasa.jpf.conformanceChecker.providers.NativePeerProvider

gov.nasa.jpf.conformanceChecker.providers.NativePeerProvider
This class serves as as provider for native peers. It is based on the {@link NativePeer} class.This class, given a ClassInfo object (or its name) returns the ClassInfo object that represents its native peer. @author Matteo Ceccarello

    return mod & ~Modifier.NATIVE;
  }
  
  public static void main(String[] args) {
    ClassInfo model = new ModelClassProvider().loadClassInfo("java.lang.System");
    ClassInfo peer  = new NativePeerProvider().loadNativePeerClass(model);
    
    MethodInfo modelMethod = model.getMethod("currentTimeMillis", "()J", false);
    System.out.println(modelMethod);
    
    MethodInfo peerMethod = peer.getMethod(

View Full Code Here

TOP

Related Classes of gov.nasa.jpf.conformanceChecker.providers.NativePeerProvider

gov.nasa.jpf.classfile.ClassFile

gov.nasa.jpf.conformanceChecker.comparators.MangledMethodInfoComparator

gov.nasa.jpf.jvm.ClassInfo

java.io.File

java.util.jar.JarFile

java.util.jar.JarEntry

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.