Messages

method | void net.sourceforge.pebble.util.FileUtils()

method | net.sourceforge.pebble.util.FileUtils__static_ init
presumption | java.lang.Class:getClassLoader(...)@59 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@51 != null
post | localFileNameMap in Addr_Set{null,&new Properties(FileUtils__static_init#1)}
post | (soft) log != null
post | new Properties(FileUtils__static_init#1) num objects <= 1
test_vector | java.lang.ClassLoader:getResourceAsStream(...)@59: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | bool underneathRoot(File, File)
pre | (soft) file != null
pre | (soft) root != null
post | init'ed(return_value)
test_vector | java.io.File:equals(...)@84: {0}, {1}

method | void deleteFile(File)
pre | directory != null
presumption | files.length@104 <= 232-1
presumption | files[i]@104 != null
unanalyzed | call on java.io.File:listFiles
unanalyzed | call on java.io.File:isDirectory
unanalyzed | call on deleteFile
unanalyzed | call on java.io.File:delete
test_vector | java.io.File:isDirectory(...)@107: {0}, {1}
test_vector | java.io.File:listFiles(...)@104: Addr_Set{null}, Inverse{null}

method | void copyFile(File, File)
presumption | java.io.FileInputStream:getChannel(...)@125 != null
presumption | java.io.FileOutputStream:getChannel(...)@126 != null

method | String getContentType(String)
pre | (soft) localFileNameMap != null
pre | (soft) name != null
presumption | java.net.URLConnection:getFileNameMap(...)@140 != null
post | init'ed(return_value)
test_vector | java.lang.String:lastIndexOf(...)@144: {-231..-1}, {0..232-1}
test_vector | java.net.FileNameMap:getContentTypeFor(...)@141: Inverse{null}, Addr_Set{null}