Package gov.nasa.jpf.jvm

Examples of gov.nasa.jpf.jvm.ClassInfo

206
207
208
209
210
211
212
213
214
215
216
   *
   * @param className the desired class
   * @return the {@link ClassInfo} object for the desired class.
   */
  public ClassInfo loadClassInfo(String className) {
    ClassInfo ci = null;
    for (File f : files) {
      if (f.isFile() && f.getName().endsWith(".jar")) {
        ci = loadFromJar(f, className);
      } else if (f.isDirectory()) {
        ci = loadFromDir(f, className);
View Full Code Here
232
233
234
235
236
237
238
239
240
241
242
    if(file != null) {
      try {
        byte[] data = Util.getClassBytes(new FileInputStream(file));
        ClassFile cf = new ClassFile(className, data);
//        return new UnregisteredClassInfo(cf);
        return new ClassInfo(cf, rnd.nextInt(1000));
      } catch (FileNotFoundException e) {
        logger.warning(e.getMessage());
      } catch (IOException e) {
        logger.warning(e.getMessage());
      } catch (ClassFileException e) {
View Full Code Here
285
286
287
288
289
290
291
292
293
    return null;
  }
 
  public static void main(String[] args) {
    ModelClassProvider mcp = new ModelClassProvider();
    ClassInfo ci = mcp.loadClassInfo("gov.nasa.jpf.jvm.AtomicFieldUpdater");
    System.out.println(ci);
    System.out.println(mcp.loadClassInfos());
  }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
public class MissingMethodCheckerTest {
 
  @Test
  public void testSuccess1() {
    ClassInfo model =
        cls("java.lang.Object",
            method(PUBLIC, "java.lang.String", "toString", new String[]{})
            );
    ClassInfo standard =
        cls("java.lang.Object",
            method(PUBLIC, "java.lang.String", "toString", new String[]{})
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
    assertTrue(checker.check(model));   
  }
 
  @Test
  public void testSuccess2() {
    ClassInfo model =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int"})
            );
    ClassInfo standard =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int"})
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
    assertTrue(checker.check(model));   
  }
 
  @Test
  public void testFailure1() {
    ClassInfo model =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int"})
            );
    ClassInfo standard =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int","int"})
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
    assertFalse(checker.check(model));   
  }
 
  @Test
  public void testFailure2() {
    ClassInfo model =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PROTECTED, "java.lang.String", "substring", new String[]{"int"})
            );
    ClassInfo standard =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int"})
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
44
public class FieldInfoComparatorTest {
 

  @Test
  public void compareEquals1() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.System").times(2);
    replay(ci);
    FieldInfo f1 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    FieldInfo f2 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    int result = new FieldInfoComparator().compare(f1, f2);
    assertEquals(result, 0);
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
55
    assertEquals(result, 0);
  }
 
  @Test
  public void compareNotEquals2() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.System").anyTimes();
    replay(ci);
    FieldInfo f1 = FieldInfo.create(ci, "out", "Ljava/io/PrintStrea;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    FieldInfo f2 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    int result = new FieldInfoComparator().compare(f1, f2);
    assertTrue(result < 0);
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
    assertTrue(result < 0);
  }
 
  @Test
  public void compareNotEquals3() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.System").anyTimes();
    replay(ci);
    FieldInfo f1 = FieldInfo.create(ci, "out", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    FieldInfo f2 = FieldInfo.create(ci, "in", "Ljava/io/PrintStream;", Modifier.PUBLIC | Modifier.STATIC, 0, 0);
    int result = new FieldInfoComparator().compare(f1, f2);
    assertTrue(result > 0);
View Full Code Here
TOP

Related Classes of gov.nasa.jpf.jvm.ClassInfo

  • gov.nasa.jpf.conformanceChecker.checkers.MissingFieldCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.MissingInstanceFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.MissingMethodCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.MissingNativePeerChecker
  • gov.nasa.jpf.conformanceChecker.checkers.MissingStaticFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.ModifierChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanFieldCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanInstanceFieldChecker
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanMethodCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanNativePeerChecker
    • 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.