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 preinit'ed(this.name)2010-07-16 16:14:15
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:renameTo2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.Blog:getRoot2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.util. FileUtils:deleteFile2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15

  • void backup(String)

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.Blog:getRoot2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@141: {0}, {1}2010-07-16 16:14:15

  • void copy(File, File)

    • -/+ Kind Annotation Text Date
    U pre(soft) log != null2010-07-16 16:14:15
    U predestination != null2010-07-16 16:14:15
    U presource != null2010-07-16 16:14:15
    U presumptionfiles.length@177 <= 232-12010-07-16 16:14:15
    U presumptionfiles[i]@177 != null2010-07-16 16:14:15
    U presumptionjava.io.FileInputStream:getChannel(...)@184 != null2010-07-16 16:14:15
    U presumptionjava.io.FileOutputStream:getChannel(...)@185 != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@173: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.io.File:isDirectory(...)@180: {0}, {1}2010-07-16 16:14:15
    U test_vectorjava.io.File:listFiles(...)@177: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15

  • void copy(String)

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.Blog:getRoot2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@159: {0}, {1}2010-07-16 16:14:15

  • String getBackupThemeDirectory()

    • -/+ Kind Annotation Text Date
    U prethis.blog != null2010-07-16 16:14:15
    U presumptioninit'ed(java.io.File.separator)2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15

  • String getName()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.name2010-07-16 16:14:15

  • File getPathToLiveTheme()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U postnew File(getPathToLiveTheme#1) num objects == 12010-07-16 16:14:15
    U postreturn_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 postinit'ed(this.blog)2010-07-16 16:14:15
    U postinit'ed(this.name)2010-07-16 16:14:15
    U postinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U postthis.blog == blog2010-07-16 16:14:15
    U postthis.name == name2010-07-16 16:14:15
    U postthis.pathToLiveThemes == pathToLiveThemes2010-07-16 16:14:15

  • net.sourceforge.pebble.domain.Theme__static_init

    • -/+ Kind Annotation Text Date
    U postinit'ed(log)2010-07-16 16:14:15

  • void restore()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:renameTo2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.Blog:getRoot2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.util. FileUtils:deleteFile2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:info2010-07-16 16:14:15

  • void restore(String)

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U presumptionjava.io.File:listFiles(...)@105 != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:renameTo2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.Blog:getRoot2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.util. FileUtils:deleteFile2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:info2010-07-16 16:14:15
    U test_vectorjava.io.File:exists(...)@105: {0}, {1}2010-07-16 16:14:15
    U test_vectorjava.io.File:listFiles(...).length@105: {1..+Inf}, {0}2010-07-16 16:14:15

  • void restoreToSpecifiedTheme(String)

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.name)2010-07-16 16:14:15
    U preinit'ed(this.pathToLiveThemes)2010-07-16 16:14:15
    U prelog != null2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U unanalyzedcall on copy2010-07-16 16:14:15
    U unanalyzedcall on java.io.File2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:exists2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getAbsolutePath2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:getName2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:isDirectory2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:listFiles2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:mkdir2010-07-16 16:14:15
    U unanalyzedcall on java.io.File:renameTo2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileInputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream2010-07-16 16:14:15
    U unanalyzedcall on java.io.FileOutputStream:getChannel2010-07-16 16:14:15
    U unanalyzedcall on java.lang.String:valueOf2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:close2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:size2010-07-16 16:14:15
    U unanalyzedcall on java.nio.channels.FileChannel:transferFrom2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.Blog:getRoot2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.util. FileUtils:deleteFile2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:error2010-07-16 16:14:15
    U unanalyzedcall on org.apache.commons.logging.Log:info2010-07-16 16:14:15