## 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 | presumption | java.io.FileInputStream:getChannel(...)@125 != null | 2010-07-16 16:14:15
U | presumption | java.io.FileOutputStream:getChannel(...)@126 != null | 2010-07-16 16:14:15

- void deleteFile(File)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | directory != null | 2010-07-16 16:14:15
U | presumption | files.length@104 <= 232-1 | 2010-07-16 16:14:15
U | presumption | files[i]@104 != null | 2010-07-16 16:14:15
U | unanalyzed | call on deleteFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:delete | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:isDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | test_vector | java.io.File:isDirectory(...)@107: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.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 != null | 2010-07-16 16:14:15
U | pre | (soft) name != null | 2010-07-16 16:14:15
U | presumption | java.net.URLConnection:getFileNameMap(...)@140 != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:lastIndexOf(...)@144: {-231..-1}, {0..232-1} | 2010-07-16 16:14:15
U | test_vector | java.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 | presumption | java.lang.Class:getClassLoader(...)@59 != null | 2010-07-16 16:14:15
U | presumption | org.apache.commons.logging.LogFactory:getLog(... )@51 != null | 2010-07-16 16:14:15
U | post | (soft) log != null | 2010-07-16 16:14:15
U | post | localFileNameMap in Addr_Set{null,&new Properties(FileUtils__static_init#1)} | 2010-07-16 16:14:15
U | post | new Properties(FileUtils__static_init#1) num objects <= 1 | 2010-07-16 16:14:15
U | test_vector | java.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 != null | 2010-07-16 16:14:15
U | pre | (soft) root != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | java.io.File:equals(...)@84: {0}, {1} | 2010-07-16 16:14:15