Messages

method | net.sourceforge.pebble.dao.file.FileStaticPageDAO$ StaticPageDateConverter__static_init

method | net.sourceforge.pebble.dao.file.FileStaticPageDAO$ 1__static_init

method | net.sourceforge.pebble.dao.file.FileStaticPageDAO_ _static_init
post | init'ed(log)

method | void net.sourceforge.pebble.dao.file. FileStaticPageDAO$1(FileStaticPageDAO)

method | void net.sourceforge.pebble.dao.file. FileStaticPageDAO$StaticPageDateConverter(FileStati cPageDAO, StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
presumption | init'ed(java.util.Locale.ENGLISH)
post | this.dateTimeFormats == &new SimpleDateFormat[] (FileStaticPageDAO$StaticPageDateConverter#1)
post | new SimpleDateFormat(FileStaticPageDAO$StaticPageDa teConverter#2) num objects == 1
post | new SimpleDateFormat(FileStaticPageDAO$StaticPageDa teConverter#3) num objects == 1
post | new SimpleDateFormat(FileStaticPageDAO$StaticPageDa teConverter#4) num objects == 1
post | new SimpleDateFormat(FileStaticPageDAO$StaticPageDa teConverter#5) num objects == 1
post | new SimpleDateFormat(FileStaticPageDAO$StaticPageDa teConverter#6) num objects == 1
post | new SimpleDateFormat(FileStaticPageDAO$StaticPageDa teConverter#7) num objects == 1
post | new SimpleDateFormat[](FileStaticPageDAO$StaticPage DateConverter#1) num objects == 1
post | this.dateTimeFormats.length == 6
post | this.dateTimeFormats[0] == &new SimpleDateFormat(FileStaticPageDAO$StaticPageDateC onverter#2)
post | this.dateTimeFormats[1] == &new SimpleDateFormat(FileStaticPageDAO$StaticPageDateC onverter#3)
post | this.dateTimeFormats[2] == &new SimpleDateFormat(FileStaticPageDAO$StaticPageDateC onverter#4)
post | this.dateTimeFormats[3] == &new SimpleDateFormat(FileStaticPageDAO$StaticPageDateC onverter#5)
post | this.dateTimeFormats[4] == &new SimpleDateFormat(FileStaticPageDAO$StaticPageDateC onverter#6)
post | this.dateTimeFormats[5] == &new SimpleDateFormat(FileStaticPageDAO$StaticPageDateC onverter#7)

method | void net.sourceforge.pebble.dao.file. FileStaticPageDAO()
presumption | java.lang.Class:getPackage(...)@36 != null
presumption | java.lang.Object:getClass(...)@36 != null
post | possibly_updated(this.jaxbContext)

method | Log access$0()
pre | init'ed(log)
post | return_value == log
post | init'ed(return_value)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | Collection loadStaticPages(Blog)
pre | blog != null
presumption | Local_8[Local_6]@58 != null
presumption | files.length@58 <= 232-1
post | return_value == &new ArrayList(loadStaticPages# 1)
post | new ArrayList(loadStaticPages#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on loadStaticPage
test_vector | java.io.File:listFiles(...)@58: Addr_Set{null}, Inverse{null}
test_vector | loadStaticPage(...)@88: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getRoot()

method | bool accept(File, String)
pre | (soft) name != null
post | init'ed(return_value)
test_vector | java.io.File:isDirectory(...)@60: {0}, {1}
test_vector | java.lang.String:matches(...)@60: {0}, {1}

method | StaticPage loadStaticPage(Blog, String)
pre | blog != null
post | init'ed(return_value)
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot

| info | method not available | -- call on StaticPage loadStaticPage(Blog, File)

method | void storeStaticPage(StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.id)
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
test_vector | java.io.File:exists(...)@145: {1}, {0}

| info | method not available | -- call on void storeStaticPage(StaticPage, File)

method | void removeStaticPage(StaticPage)
pre | log != null
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.blog.id)
pre | init'ed(staticPage.id)
presumption | java.io.File:renameTo(...)@230 == 1
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on java.lang.Exception
test_vector | java.io.File:exists(...)@218: {0}, {1}
test_vector | java.io.File:exists(...)@225: {0}, {1}

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

method | String getPath(Blog, String)
pre | blog != null
presumption | init'ed(java.io.File.separator)
post | return_value != null

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getRoot()

method | bool lock(StaticPage)
pre | staticPage.blog != null
pre | init'ed(staticPage.id)
pre | (soft) log != null
pre | (soft) staticPage != null
pre | (soft) init'ed(staticPage.blog.id)
post | init'ed(return_value)
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on getLockFile
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on getBlog
unanalyzed | call on getId
test_vector | java.io.File:createNewFile(...)@265: {0}, {1}
test_vector | java.lang.String:equals(...)@274: {0}, {1}

| info | method not available | -- call on String net.sourceforge.pebble.util. SecurityUtils:getUsername()

| info | method not available | -- call on String net.sourceforge.pebble.util. SecurityUtils:getUsername()

| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

method | bool unlock(StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.id)
post | init'ed(return_value)
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on getBlog
unanalyzed | call on getId
test_vector | java.io.File:exists(...)@291: {0}, {1}

method | File getLockFile(StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.id)
presumption | init'ed(java.io.File.separator)
post | return_value == &new File(getLockFile#2)
post | new File(getLockFile#2) num objects == 1

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getRoot()

method | String getUsernameHoldingLock(StaticPage)
pre | (soft) log != null
pre | (soft) staticPage != null
pre | (soft) staticPage.blog != null
pre | (soft) init'ed(staticPage.id)
post | init'ed(return_value)
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File
unanalyzed | call on getBlog
unanalyzed | call on getId
test_vector | java.io.File:exists(...)@321: {0}, {1}

| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

| info | method not available | -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

method | Date parse(String)
pre | this.dateTimeFormats != null
pre | this.dateTimeFormats.length <= 232-1
pre | (soft) net/sourceforge/pebble/dao/file/FileStaticPa geDAO.log != null
pre | (soft) this.dateTimeFormats[...] != null
post | init'ed(return_value)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

method | String format(Date)
pre | this.dateTimeFormats != null
pre | this.dateTimeFormats.length >= 1
pre | this.dateTimeFormats[0] != null
post | init'ed(return_value)