DMDircResourceManager.java


current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.util.resourcemanager.DMDircResourceManager()

  • Kind Annotation Text

  • com.dmdirc.util.resourcemanager.DMDircResourceManager__static_init

  • Kind Annotation Text

  • String getCurrentWorkingDirectory()

  • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    presumptionjava.lang.ClassLoader:getResource(...)@45 != null
    presumptionjava.lang.ClassLoader:getResource(...)@51 != null
    presumptionjava.lang.String:lastIndexOf(...)@62 <= 232-2
    presumptionjava.lang.System:getProperty(...)@56 != null
    presumptionjava.lang.Thread:currentThread(...)@45 != null
    presumptionjava.lang.Thread:currentThread(...)@51 != null
    presumptionjava.lang.Thread:getContextClassLoader(...)@45 != null
    presumptionjava.lang.Thread:getContextClassLoader(...)@51 != null
    presumptionjava.net.URL:getPath(...)@54 != null
    postinit'ed(return_value)
    postjava.lang.String:substring(...)._tainted == 0
    test_vectorjava.lang.String:equals(...)@50: {0}, {1}
    test_vectorjava.lang.String:equals(...)@53: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@56: {0}, {1}

  • bool isRunningFromJar()

  • Kind Annotation Text
    presumptionjava.lang.ClassLoader:getResource(...)@80 != null
    presumptionjava.lang.Thread:currentThread(...)@80 != null
    presumptionjava.lang.Thread:getContextClassLoader(...)@80 != null
    postinit'ed(return_value)