Advertisement
cecca

TestClassInfo

Mar 30th, 2012
50
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Java 0.60 KB | None
  1. package demo.conformanceChecker;
  2.  
  3. import java.io.File;
  4.  
  5. import gov.nasa.jpf.Config;
  6. import gov.nasa.jpf.JPF;
  7. import gov.nasa.jpf.JPFClassLoader;
  8. import gov.nasa.jpf.classfile.ClassFile;
  9. import gov.nasa.jpf.classfile.ClassFileException;
  10. import gov.nasa.jpf.jvm.ClassInfo;
  11. import gov.nasa.jpf.tool.RunTest;
  12.  
  13. public class Test {
  14.  
  15.   public static void main(String[] args) throws ClassFileException {
  16.  
  17.     File file = new File("bin_A/java/util/Random.class");
  18.     ClassFile classFile = new ClassFile(file);
  19.     ClassInfo info = new ClassInfo(classFile, 1);
  20.  
  21.     System.out.println(info);
  22.  
  23.   }
  24.  
  25. }
Advertisement
RAW Paste Data Copied
Advertisement