FileResourceManager.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.FileResourceManager(String)

    • Kind Annotation Text
    postinit'ed(this.basePath)
    postthis.basePath == basePath

  • com.dmdirc.util.resourcemanager.FileResourceManager__static_init

    • Kind Annotation Text

  • List getFileListing(File)

    • Kind Annotation Text
    prestartingDirectory != null
    presumptionjava.util.Arrays:asList(...)@226 != null
    presumptionjava.util.Iterator:next(...)@227 != null
    postnew ArrayList(getFileListing#1) num objects == 1
    postreturn_value == &new ArrayList(getFileListing#1 )
    unanalyzedcall on getFileListing
    unanalyzedcall on java.io.File:isFile
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.io.File:isFile(...)@228: {0}, {1}
    test_vectorjava.io.File:listFiles(...)@222: Inverse{null}, Addr_Set{null}
    test_vectorjava.util.Iterator:hasNext(...)@227: {0}, {1}

  • byte[] getResourceBytes(String)

    • Kind Annotation Text
    preresource != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.io.File:length(...)@92 >= 0
    postnew byte[](getResourceBytes#3) num objects <= 1
    postnew byte[](getResourceBytes#3).length == 0
    postnew byte[](getResourceBytes#4) num objects <= 1
    postnew byte[](getResourceBytes#4).length == 0
    postnew byte[](getResourceBytes#5) num objects <= 1
    postnew byte[](getResourceBytes#5).length <= 264-1
    postnew byte[](getResourceBytes#7) num objects <= 1
    postnew byte[](getResourceBytes#7).length == 0
    postnew byte[](getResourceBytes#8) num objects <= 1
    postnew byte[](getResourceBytes#8).length == 0
    postreturn_value in Addr_Set{&amp;new byte[](getResourc eBytes#5),&amp;new byte[](getResourceBytes#8), &amp;new byte[](getResourceBytes#7),&amp;new byte[](getResourceBytes#4),&amp;new byte[](getResourceBytes#3)}
    test_vectorjava.io.File:exists(...)@84: {1}, {0}
    test_vectorjava.io.File:isDirectory(...)@88: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@78: {0}, {1}

  • InputStream getResourceInputStream(String)

    • Kind Annotation Text
    preresource != null
    postnew FileInputStream(getResourceInputStream#3) num objects <= 1
    postreturn_value in Addr_Set{null,&amp;new FileInputStream(getResourceInputStream#3)}
    test_vectorjava.io.File:exists(...)@126: {1}, {0}
    test_vectorjava.io.File:isDirectory(...)@130: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@120: {0}, {1}

  • Map getResourcesEndingWithAsBytes(String)

    • Kind Annotation Text
    pre(soft) this.basePath != null
    presumptionjava.io.File:getPath(...)@149 != null
    presumptionjava.util.Iterator:next(...)@148 != null
    postnew HashMap(getResourcesEndingWithAsBytes#2) num objects == 1
    postreturn_value == &amp;new HashMap(getResourcesEnding WithAsBytes#2)
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on getFileListing
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:isFile
    unanalyzedcall on java.io.File:length
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.FileInputStream:close
    unanalyzedcall on java.io.FileInputStream:read
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.lang.String:endsWith(...)@151: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@148: {0}, {1}

  • List getResourcesStartingWith(String)

    • Kind Annotation Text
    pre(soft) this.basePath != null
    presumptionjava.io.File:getPath(...)@202 != null
    presumptionjava.util.Iterator:next(...)@201 != null
    postnew ArrayList(getResourcesStartingWith#2) num objects == 1
    postreturn_value == &amp;new ArrayList(getResourcesStar tingWith#2)
    unanalyzedcall on getFileListing
    unanalyzedcall on java.io.File:isFile
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.lang.String:startsWith(...)@204: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@201: {0}, {1}

  • Map getResourcesStartingWithAsBytes(String)

    • Kind Annotation Text
    pre(soft) this.basePath != null
    presumptionjava.io.File:getPath(...)@167 != null
    presumptionjava.util.Iterator:next(...)@166 != null
    postnew HashMap(getResourcesStartingWithAsBytes#2) num objects == 1
    postreturn_value == &amp;new HashMap(getResourcesStarti ngWithAsBytes#2)
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on getFileListing
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:isFile
    unanalyzedcall on java.io.File:length
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.FileInputStream:close
    unanalyzedcall on java.io.FileInputStream:read
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.lang.String:startsWith(...)@169: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@166: {0}, {1}

  • Map getResourcesStartingWithAsInputStreams(String)

    • Kind Annotation Text
    pre(soft) this.basePath != null
    presumptionjava.io.File:getPath(...)@185 != null
    presumptionjava.util.Iterator:next(...)@184 != null
    postnew HashMap(getResourcesStartingWithAsInputStreams# 2) num objects == 1
    postreturn_value == &amp;new HashMap(getResourcesStarti ngWithAsInputStreams#2)
    unanalyzedcall on getFileListing
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:isFile
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.lang.String:startsWith(...)@187: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@184: {0}, {1}

  • bool resourceExists(String)

    • Kind Annotation Text
    preresource != null
    postinit'ed(return_value)
    test_vectorjava.lang.String:startsWith(...)@63: {0}, {1}