Package gov.nasa.jpf.conformanceChecker.providers

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

60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
   
    Config conf = JPF.createConfig(args);
   
    ProviderFactory.init(conf);
   
    ModelClassProvider modelProvider = ProviderFactory.getModelProvider(); 
   
    List<Reporter> reporters = buildReportersList(conf);
   
    List<Checker> checkers = buildCheckersList(conf,  reporters);
   
    Collection<MethodSpec> specs = getSpecs(conf);

    for (ClassInfo model : modelProvider.loadClassInfos(specs)) {
      checkModelClass(model, checkers);
    }
   
    for (Reporter reporter : reporters) {
      reporter.close();
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
  public static int getNonNativeMods(int mod) {
    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);
   
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
    return noInconsistencies;
  }
 
  public static void main(String[] args) {
    ProviderFactory.init(JPF.createConfig(args));
    ClassInfo cls = new ModelClassProvider().loadClassInfo("java.lang.System");
    MissingNativePeerChecker mnpc = new MissingNativePeerChecker();
    SimpleCmdLineReporter reporter = new SimpleCmdLineReporter(JPF.createConfig(args));
    mnpc.registerReporter(reporter);
    System.out.println(mnpc.check(cls));
  }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
  }
 
  public static void main(String[] args) {
    ProviderFactory.init(JPF.createConfig(args));
    logger.setLevel(Level.ALL);
    ClassInfo cls = new ModelClassProvider().loadClassInfo("java.lang.System");
    OrphanNativePeerChecker onpc = new OrphanNativePeerChecker();
    SimpleCmdLineReporter reporter = new SimpleCmdLineReporter(JPF.createConfig(args));
    onpc.registerReporter(reporter);
    System.out.println(onpc.check(cls));
  }
View Full Code Here
TOP

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

  • gov.nasa.jpf.classfile.ClassFile
  • gov.nasa.jpf.Config
  • gov.nasa.jpf.conformanceChecker.checkers.MissingNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.comparators.MangledMethodInfoComparator
  • gov.nasa.jpf.conformanceChecker.ConformanceChecker
  • gov.nasa.jpf.jvm.ClassInfo
  • java.io.File
  • java.io.FileInputStream
  • java.util.jar.JarFile
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.