Package gov.nasa.jpf.jvm

Examples of gov.nasa.jpf.jvm.ClassInfo

37
38
39
40
41
42
43
44
45
46
47
48
49
*/
public class MethodInfoComparatorTest {

  @Test
  public void testEqual1() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.String").anyTimes();
    expect(ci.isInterface()).andReturn(false).anyTimes();
    replay(ci);
    MethodInfo m1 = new MethodInfo(ci, "substring", "(I)Ljava/lang/String;", 0, 0, Modifier.PUBLIC);
    MethodInfo m2 = new MethodInfo(ci, "substring", "(I)Ljava/lang/String;", 0, 0, Modifier.PUBLIC);
    int result = new MethodInfoComparator().compare(m1, m2);
    assertEquals(0, result);
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
*/
public class OrphanMethodCheckerTest {

  @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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
    assertEquals(0, result);
  }
 
  @Test
  public void testEqual2() {
    ClassInfo c1 =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int", "int"})
            );
    ClassInfo c2 =
        cls("java.lang.String",
            method(PUBLIC, "java.lang.String", "substring", new String[]{"int", "int"})
            );
    assertEquals(0, new ClassInfoComparator().compare(c1, c2));
  }
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
73
74
    assertEquals(0, new ClassInfoComparator().compare(c1, c2));
  }
 
  @Test
  public void testEqual3() {
    ClassInfo ci = createMock(ClassInfo.class);
    expect(ci.getName()).andReturn("java.lang.String").anyTimes();
    expect(ci.isInterface()).andReturn(false).anyTimes();
    replay(ci);
    MethodInfo m1 = new MethodInfo(ci, "substring", "(I)Ljava/lang/String;", 0, 0, Modifier.PUBLIC);
    MethodInfo m2 = new MethodInfo(ci, "substring", "(I)Ljava/lang/String;", 0, 0, Modifier.PUBLIC | Modifier.NATIVE);
    int result = new MethodInfoComparator().compare(m1, m2);
    assertEquals(0, result);
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
  }
 
  @Test
  public void testSuccess2() {
    // methods missing are not detected by this checker
    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[]{}),
            method(PROTECTED, "java.lang.Object", "clone", new String[]{})
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
View Full Code Here
74
75
76
77
78
79
80
81
82
83
    assertEquals(0, result);
  }
 
  @Test
  public void testNotEqual3() {
    ClassInfo c1 = cls("java.lang.String");
    MethodInfo m1 = method(c1, PUBLIC, "java.lang.String", "substring", new String[]{"int"});
    MethodInfo m2 = method(c1, PUBLIC, "java.lang.String", "substring", new String[]{"int", "int"});
    assertTrue(new MethodInfoComparator().compare(m1, m2) != 0);
  }
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
    assertTrue(checker.check(model));   
  }
 
  @Test
  public void testFailure1() {
    ClassInfo model =
        cls("java.lang.Object",
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PUBLIC, "void", "coolMethodThatDoesNotExist", new String[0])
            );
    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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
public class MissingFieldCheckerTest {

  @Test
  public void successInstanceTest() {
    ClassInfo model =
        cls("test.Class",
            field(PUBLIC, "java.lang.String", "name")
            );
    ClassInfo standard =
        cls("test.Class",
            field(PUBLIC, "java.lang.String", "name")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
  }
 
  @Test
  public void successStaticTest() {
    ClassInfo model =
        cls("test.Class",
            field(PUBLIC | STATIC, "java.lang.String", "name")
            );
    ClassInfo standard =
        cls("test.Class",
            field(PUBLIC | STATIC, "java.lang.String", "name")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
  }
 
  @Test
  public void failureInstanceTest() {
    ClassInfo model =
        cls("test.Class",
            field(PUBLIC, "java.lang.String", "name")
            );
    ClassInfo standard =
        cls("test.Class",
            field(PUBLIC, "java.lang.String", "name"),
            field(PUBLIC, "int", "number")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
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.