## filemanager.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

- File copyFile(String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | post | new File(copyFile#2) num objects <= 1 | 2010-07-16 16:14:15
U | post | return_value in Addr_Set{null,&new File(copyFile#2)} | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@221: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@221: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | newName: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- File createDirectory(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | post | new File(createDirectory#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(createDirectory#1) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15

- void deleteFile(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15

- double getCurrentUsage(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) blog.editableTheme != null | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.editableTheme.name) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.editableTheme.pathToLiveThemes) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.root) | 2010-07-22 12:56:56
U | pre | blog != null | 2010-07-16 16:14:15
U | post | return_value in (-Inf..+Inf) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15

- File getFile(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | post | new File(getFile#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(getFile#1) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:startsWith(...)@158: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | path: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- File getFile(FileMetaData)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | file != null | 2010-07-16 16:14:15
U | pre | file.path != null | 2010-07-16 16:14:15
U | pre | init'ed(file.name) | 2010-07-16 16:14:15
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | post | new File(getFile#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(getFile#1) | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15

- FileMetaData getFileMetaData(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | java.util.Iterator:next(...)@110 != null | 2010-07-16 16:14:15
U | post | init'ed(return_value.directory) | 2010-07-16 16:14:15
U | post | init'ed(return_value.lastModified) | 2010-07-16 16:14:15
U | post | init'ed(return_value.size) | 2010-07-16 16:14:15
U | post | init'ed(return_value.type) | 2010-07-16 16:14:15
U | post | new Date(getFileMetaData#2) num objects <= 1 | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new FileMetaData(getFileMetaDa ta#1) | 2010-07-16 16:14:15
U | post | return_value.context != null | 2010-07-16 16:14:15
U | post | return_value.context == this | 2010-07-16 16:14:15
U | post | return_value.name != null | 2010-07-16 16:14:15
U | post | return_value.path != null | 2010-07-16 16:14:15
U | post | return_value.type == this.type | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | java.io.File:exists(...)@102: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:isDirectory(...)@103: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@109: {1}, {0} | 2010-07-16 16:14:15

- FileMetaData getFileMetaData(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1*). directory) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1*). lastModified) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1*).size) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1*).type) | 2010-07-16 16:14:15
U | post | new Date(getFileMetaData#2*) num objects <= 1 | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1*) num objects == 1 | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1*).context != null | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1*).name != null | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1*).path != null | 2010-07-16 16:14:15
U | post | return_value == &new FileMetaData(getFileMetaDa ta#1*) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | java.lang.String:endsWith(...)@142: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | path: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- List getFiles(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | post | new ArrayList(getFiles#1*) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getFiles#1*) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15

- List getFiles(String, bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | post | new ArrayList(getFiles#1*) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getFiles#1*) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15

- List getFiles(FileMetaData, bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(path.name) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.type) | 2010-07-16 16:14:15
U | pre | (soft) path != null | 2010-07-16 16:14:15
U | pre | (soft) path.path != null | 2010-07-16 16:14:15
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | presumption | f.length@389 <= 232-1 | 2010-07-16 16:14:15
U | presumption | f[i]@389 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(getFiles#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getFiles#1) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | includeChildren: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:isDirectory(...)@394: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:isFile(...)@408: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:listFiles(...)@389: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- FileMetaData getParent(FileMetaData)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.type) | 2010-07-16 16:14:15
U | pre | file != null | 2010-07-16 16:14:15
U | pre | file.path != null | 2010-07-16 16:14:15
U | pre | init'ed(file.name) | 2010-07-16 16:14:15
U | post | (soft) init'ed(new FileMetaData(getFileMetaData#1). type) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1). directory) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1). lastModified) | 2010-07-16 16:14:15
U | post | init'ed(new FileMetaData(getFileMetaData#1).size) | 2010-07-16 16:14:15
U | post | new Date(getFileMetaData#2) num objects <= 1 | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1) num objects <= 1 | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1).context != null | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1).context == this | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1).name != null | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1).path != null | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1).type == this.type | 2010-07-16 16:14:15
U | post | return_value in Addr_Set{null,&new FileMetaData(getFileMetaData#1)} | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@127: {0}, {1} | 2010-07-16 16:14:15

- File getRootDirectory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.root | 2010-07-16 16:14:15

- bool hasEnoughSpace(Blog, double)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) blog != null | 2010-07-16 16:14:15
+ | pre | (soft) blog.editableTheme != null | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.editableTheme.name) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.editableTheme.pathToLiveThemes) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.root) | 2010-07-22 12:56:56
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration.fileUploadQuota) | 2010-07-16 16:59:22
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-16 16:59:22
+ | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@447 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@447 != null | 2010-07-22 12:56:56
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on getSizeInKB | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
+ | test_vector | net.sourceforge.pebble.PebbleContext:getConfigurati on(...).fileUploadQuota@447: {-1}, {-9_223_372_036_ 854_775_808..-2, 0..264-1} | 2010-07-22 12:56:56
- | test_vector | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration.fileUploadQuota: {-1}, {-263..-2, 0.. 264-1} | 2010-07-16 16:59:22

- bool isUnderneathRootDirectory(File)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- String loadFile(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | java.io.BufferedReader:readLine(...)@306: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- void net.sourceforge.pebble.domain.FileManager(Blog, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) blog.editableTheme != null | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.editableTheme.name) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.editableTheme.pathToLiveThemes) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(blog.root) | 2010-07-22 12:56:56
U | pre | blog != null | 2010-07-16 16:14:15
U | pre | type != null | 2010-07-16 16:14:15
U | post | new File(FileManager#1) num objects <= 1 | 2010-07-16 16:14:15
U | post | new File(FileManager#2) num objects <= 1 | 2010-07-16 16:14:15
U | post | new File(FileManager#3) num objects <= 1 | 2010-07-16 16:14:15
U | post | new File(getPathToLiveTheme#1) num objects <= 1 | 2010-07-16 16:14:15
U | post | this.root in Addr_Set{&new File(FileManager#3), &new File(FileManager#2),&new File(getPathToLiveTheme#1),&new File(FileManager#1)} | 2010-07-16 16:14:15
U | post | this.type != null | 2010-07-16 16:14:15
U | post | this.type == type | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
U | test_vector | java.lang.String:equals(...)@70: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@72: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@74: {0}, {1} | 2010-07-16 16:14:15

- net.sourceforge.pebble.domain.FileManager__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- File renameFile(String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | post | new File(renameFile#2) num objects <= 1 | 2010-07-16 16:14:15
U | post | return_value in Addr_Set{null,&new File(renameFile#2)} | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@249: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@249: {0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | newName: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- void saveFile(String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15

- FileMetaData saveFile(String, byte[])

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.root) | 2010-07-16 16:14:15
U | pre | init'ed(this.type) | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.util.FileUtils:underneathRoo t(...)@187 == 1 | 2010-07-16 16:14:15
U | post | init'ed(return_value.directory) | 2010-07-16 16:14:15
U | post | init'ed(return_value.lastModified) | 2010-07-16 16:14:15
U | post | init'ed(return_value.size) | 2010-07-16 16:14:15
U | post | init'ed(return_value.type) | 2010-07-16 16:14:15
U | post | new Date(getFileMetaData#2) num objects <= 1 | 2010-07-16 16:14:15
U | post | new FileMetaData(getFileMetaData#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new FileMetaData(getFileMetaDa ta#1) | 2010-07-16 16:14:15
U | post | return_value.context != null | 2010-07-16 16:14:15
U | post | return_value.context == this | 2010-07-16 16:14:15
U | post | return_value.name != null | 2010-07-16 16:14:15
U | post | return_value.path != null | 2010-07-16 16:14:15
U | post | return_value.type == this.type | 2010-07-16 16:14:15
U | unanalyzed | call on getAbsolutePath | 2010-07-16 16:14:15
U | unanalyzed | call on getFile | 2010-07-16 16:14:15
U | unanalyzed | call on getFileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on getFiles | 2010-07-16 16:14:15
U | unanalyzed | call on getSize | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getName | 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:isFile | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:lastModified | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:indexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:startsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Collections:sort | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:addAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.List:iterator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.comparator. FileMetaDataComparator | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.FileMetaData | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:underneathRoot | 2010-07-16 16:14:15
U | unanalyzed | call on setDirectory | 2010-07-16 16:14:15
U | unanalyzed | call on setLastModified | 2010-07-16 16:14:15
U | unanalyzed | call on setSize | 2010-07-16 16:14:15
U | unanalyzed | call on setType | 2010-07-16 16:14:15