Package gov.nasa.jpf.conformanceChecker.providers

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

47
48
49
50
51
52
53
54
55
56
57
58
        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);
   
    MissingMethodChecker checker = new MissingMethodChecker();
    assertTrue(checker.check(model));   
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
            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>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.String")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    MissingMethodChecker checker = new MissingMethodChecker();
    assertTrue(checker.check(model));   
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
            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>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.String")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    MissingMethodChecker checker = new MissingMethodChecker();
    assertFalse(checker.check(model));   
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
127
            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>();
    versions.put(just(6), standard);
    StandardClassProvider provider = createMock(StandardClassProvider.class);
    expect(provider.loadClassInfo("java.lang.String")).andReturn(versions);
    replay(provider);
    ProviderFactory.setStandardProvider(provider);
   
    MissingMethodChecker checker = new MissingMethodChecker();
    assertFalse(checker.check(model));   
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
            field(PUBLIC, "java.lang.String", "name"),
            field(PROTECTED, "java.lang.String", "fullName")
            );
    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 OrphanInstanceFieldChecker();
    assertTrue(checker.check(model));   
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
        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 OrphanStaticFieldChecker();
    assertTrue(checker.check(model));   
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
        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 OrphanInstanceFieldChecker();
    assertFalse(checker.check(model));   
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
127
        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 OrphanStaticFieldChecker();
    assertFalse(checker.check(model));   
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
65
        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();
    assertTrue(checker.check(model));   
View Full Code Here
77
78
79
80
81
82
83
84
85
86
87
88
            method(PUBLIC, "java.lang.String", "toString", new String[]{}),
            method(PROTECTED, "java.lang.Object", "clone", 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();
    assertTrue(checker.check(model));   
View Full Code Here
TOP

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

  • 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.