fileutils.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • void copyFile(File, File)

    • -/+ Kind Annotation Text Date
    U presumptionjava.io.FileInputStream:getChannel(...)@125 != null2010-07-16 16:14:15
    U presumptionjava.io.FileOutputStream:getChannel(...)@126 != null2010-07-16 16:14:15

  • void deleteFile(File)

    • -/+ Kind Annotation Text Date
    U predirectory != null2010-07-16 16:14:15
    U presumptionfiles.length@104 <= 232-12010-07-16 16:14:15
    U presumptionfiles[i]@104 != null2010-07-16 16:14:15
    U unanalyzedcall on deleteFile2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:delete2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U test_vectorjava.io.File:isDirectory(...)@107: {0}, {1}2010-07-16 16:14:15
    U test_vectorjava.io.File:listFiles(...)@104: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • String getContentType(String)

    • -/+ Kind Annotation Text Date
    U pre(soft) localFileNameMap != null2010-07-16 16:14:15
    U pre(soft) name != null2010-07-16 16:14:15
    U presumptionjava.net.URLConnection:getFileNameMap(...)@140 != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.lang.String:lastIndexOf(...)@144: {-231..-1}, {0..232-1}2010-07-16 16:14:15
    U test_vectorjava.net.FileNameMap:getContentTypeFor(...)@141: Inverse{null}, Addr_Set{null}2010-07-16 16:14:15

  • void net.sourceforge.pebble.util.FileUtils()

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.util.FileUtils__static_init

    • -/+ Kind Annotation Text Date
    U presumptionjava.lang.Class:getClassLoader(...)@59 != null2010-07-16 16:14:15
    U presumptionorg.apache.commons.logging.LogFactory:getLog(... )@51 != null2010-07-16 16:14:15
    U post(soft) log != null2010-07-16 16:14:15
    U postlocalFileNameMap in Addr_Set{null,&new Properties(FileUtils__static_init#1)}2010-07-16 16:14:15
    U postnew Properties(FileUtils__static_init#1) num objects <= 12010-07-16 16:14:15
    U test_vectorjava.lang.ClassLoader:getResourceAsStream(...)@59: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • bool underneathRoot(File, File)

    • -/+ Kind Annotation Text Date
    U pre(soft) file != null2010-07-16 16:14:15
    U pre(soft) root != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.io.File:equals(...)@84: {0}, {1}2010-07-16 16:14:15