List of loadClassInfo() Examples

Examples of loadClassInfo()

gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()
Loads a {@link ClassInfo} object from the given java version.If the version is is {@link Maybe#NOTHING}, then the method looks into the external library array. If the class is not found, this method will return null. This may be caused by IO exceptions, {@link ClassFileException}s and other error conditions that generally means that the class is not located in the given jars. This should be interpreted as the fact that the requested class is not present in the java version requested. @param javaVersion the java version desired for the class @param className the class to look for @return a {@link ClassInfo} object representing the requested class ifthe class is found in the requested version, null otherwise.

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

Examples of gov.nasa.jpf.conformanceChecker.providers.StandardClassProvider.loadClassInfo()

            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

0 1

TOP

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.