| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |
| -/+ |
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 |