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 <= 2³²-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: {-2³¹..-1}, {0..2³²-1}
test_vector	java.net.FileNameMap:getContentTypeFor(...)@141: Inverse{null}, Addr_Set{null}