## theme.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- void backup()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:renameTo | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 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.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15

- void backup(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 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.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | test_vector | java.io.File:exists(...)@141: {0}, {1} | 2010-07-16 16:14:15

- void copy(File, File)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) log != null | 2010-07-16 16:14:15
U | pre | destination != null | 2010-07-16 16:14:15
U | pre | source != null | 2010-07-16 16:14:15
U | presumption | files.length@177 <= 232-1 | 2010-07-16 16:14:15
U | presumption | files[i]@177 != null | 2010-07-16 16:14:15
U | presumption | java.io.FileInputStream:getChannel(...)@184 != null | 2010-07-16 16:14:15
U | presumption | java.io.FileOutputStream:getChannel(...)@185 != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | test_vector | java.io.File:exists(...)@173: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.io.File:isDirectory(...)@180: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:listFiles(...)@177: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- void copy(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 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.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | test_vector | java.io.File:exists(...)@159: {0}, {1} | 2010-07-16 16:14:15

- String getBackupThemeDirectory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blog != null | 2010-07-16 16:14:15
U | presumption | init'ed(java.io.File.separator) | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15

- String getName()

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

- File getPathToLiveTheme()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | post | new File(getPathToLiveTheme#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(getPathToLiveTheme#1) | 2010-07-16 16:14:15

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

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

- net.sourceforge.pebble.domain.Theme__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(log) | 2010-07-16 16:14:15

- void restore()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:renameTo | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 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.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-16 16:14:15

- void restore(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | presumption | java.io.File:listFiles(...)@105 != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:renameTo | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 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.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-16 16:14:15
U | test_vector | java.io.File:exists(...)@105: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:listFiles(...).length@105: {1..+Inf}, {0} | 2010-07-16 16:14:15

- void restoreToSpecifiedTheme(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | pre | init'ed(this.pathToLiveThemes) | 2010-07-16 16:14:15
U | pre | log != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | unanalyzed | call on copy | 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:getAbsolutePath | 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:listFiles | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:mkdir | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:renameTo | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.FileOutputStream:getChannel | 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.nio.channels.FileChannel:close | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-16 16:14:15
U | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:14:15
U | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-16 16:14:15