Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business.themes. WeblogCustomTheme__static_init

method

void org.apache.roller.weblogger.business.themes. WeblogCustomTheme(Weblog)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTheme(Weblog)

method	String getId()
post	return_value == &"custom"

method	String getName()
post	return_value == &"custom"

method	String getDescription()
post	return_value == &"custom"

method	String getAuthor()
post	return_value == &"N.A"

method	Date getLastModified()
pre	this.weblog != null
post	init'ed(return_value)

info method not available -- call on Date org.apache.roller.weblogger.pojos. Weblog:getLastModified()

method	bool isEnabled()
post	return_value == 1

method	List getTemplates()
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null
pre	this.weblog != null
presumption	getWeblogger(...).userManager != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList

method	ThemeTemplate getStylesheet()
pre	this.weblog != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on getUserManager
unanalyzed	call on getPageByLink
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getCustomStylesheetPath()

method	ThemeTemplate getDefaultTemplate()
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null
pre	this.weblog != null
presumption	getWeblogger(...).userManager != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	ThemeTemplate getTemplateByAction(String)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
pre	(soft) this.weblog != null
presumption	getWeblogger(...).userManager != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	action: Inverse{null}, Addr_Set{null}

method	ThemeTemplate getTemplateByName(String)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
pre	(soft) this.weblog != null
presumption	getWeblogger(...).userManager != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	name: Inverse{null}, Addr_Set{null}

method	ThemeTemplate getTemplateByLink(String)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
pre	(soft) this.weblog != null
presumption	getWeblogger(...).userManager != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	link: Inverse{null}, Addr_Set{null}

method	ThemeResource getResource(String)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	return_value == One-of{&new FileManagerImpl$Web logResourceFile(getFile#3), null}
post	return_value in Addr_Set{null,&new FileManagerImpl$WeblogResourceFile(getFile#3)}
post	new File(getRealFile#6) num objects <= 1
post	new FileManagerImpl$WeblogResourceFile(getFile#3) num objects <= 1
post	new FileManagerImpl$WeblogResourceFile(getFile#3). relativePath == path
post	init'ed(new FileManagerImpl$WeblogResourceFile(getF ile#3).relativePath)
post	new FileManagerImpl$WeblogResourceFile(getFile#3). resourceFile == &new File(getRealFile#6)
post	new FileManagerImpl$WeblogResourceFile(getFile#3). weblog == this.weblog
post	new FileManagerImpl$WeblogResourceFile(getFile#3). weblog != null
unanalyzed	call on getWeblogger
unanalyzed	call on java.lang.String:replace
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:canRead
unanalyzed	call on java.io.File:getCanonicalPath
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.File:isDirectory

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/FileManagerImp l.getFile: weblog != null

Prev Msg Next Msg