Package gov.nasa.jpf.conformanceChecker.providers

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

99
100
101
102
103
104
105
106
107
108
109
110
        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);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.Object")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    Checker checker = new OrphanMethodChecker();
    assertFalse(checker.check(model));   
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
58
        cls("test.Class",
            field(PUBLIC, "java.lang.String", "name")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("test.Class")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);

    Checker checker = new MissingInstanceFieldChecker();
    assertTrue(checker.check(model));   
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
80
        cls("test.Class",
            field(PUBLIC | STATIC, "java.lang.String", "name")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("test.Class")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);

    Checker checker = new MissingStaticFieldChecker();
    assertTrue(checker.check(model));   
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
            field(PUBLIC, "java.lang.String", "name"),
            field(PUBLIC, "int", "number")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("test.Class")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);

    Checker checker = new MissingInstanceFieldChecker();
    assertFalse(checker.check(model));   
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
126
            field(PUBLIC | STATIC, "java.lang.String", "name"),
            field(PUBLIC | STATIC, "int", "number")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("test.Class")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);

    Checker checker = new MissingStaticFieldChecker();
    assertFalse(checker.check(model));   
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
            field(PROTECTED, "java.lang.String", "name"),
            field(PRIVATE, "java.lang.String", "other")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.Object")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    StateChecker checker = new TestStateCheckerImpl();
    assertTrue(checker.compareArraysFast(
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
102
            field(PROTECTED |STATIC, "java.lang.String", "name"),
            field(PRIVATE, "java.lang.String", "other")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.Object")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    StateChecker checker = new TestStateCheckerImpl();
    assertTrue(checker.compareArraysFast(
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
128
            field(PROTECTED, "java.lang.String", "name"),
            field(PRIVATE, "java.lang.String", "other")
            );
    Map<MaybeVersion, ClassInfo> versions = new HashMap<MaybeVersion, ClassInfo>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.Object")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    StateChecker checker = new TestStateCheckerImpl();
    assertFalse(checker.compareArraysFast(
View Full Code Here
TOP

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

  • gov.nasa.jpf.classfile.ClassFile
  • gov.nasa.jpf.Config
  • gov.nasa.jpf.conformanceChecker.checkers.MissingFieldCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.MissingMethodCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanFieldCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.OrphanMethodCheckerTest
  • gov.nasa.jpf.conformanceChecker.checkers.StateCheckerTest
  • gov.nasa.jpf.jvm.ClassInfo
  • java.io.File
  • java.io.FileFilter
    • 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.