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 <= 2³²-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 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 Locale net.sourceforge.pebble.domain. Blog:getLocale()

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 <= 2³²-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)