Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.themes. WeblogSharedTheme__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.business.themes. WeblogSharedTheme(Weblog, SharedTheme)
post	this.theme == theme
post	init'ed(this.theme)

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

method	String getId()
pre	this.theme != null
pre	init'ed(this.theme.id)
post	return_value == this.theme.id
post	init'ed(return_value)

method	String getName()
pre	this.theme != null
pre	init'ed(this.theme.name)
post	return_value == this.theme.name
post	init'ed(return_value)

method	String getDescription()
pre	this.theme != null
pre	init'ed(this.theme.description)
post	return_value == this.theme.description
post	init'ed(return_value)

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

method	bool isEnabled()
pre	this.theme != null
pre	init'ed(this.theme.enabled)
post	return_value == this.theme.enabled
post	init'ed(return_value)

method	List getTemplates()
pre	(soft) log != null
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.theme != null
pre	(soft) this.weblog != null
presumption	getWeblogger(...).userManager != null
presumption	java.util.Iterator:next(...)@105 != null
presumption	java.util.Iterator:next(...)@91 != null
presumption	javax.persistence.Query:getResultList(...)@964 != null
presumption	org.apache.roller.weblogger.business.themes. SharedTheme:getTemplates(...)@103 != null
presumption	userMgr.strategy != null
presumption	userMgr.strategy.emf != null
presumption	userMgr.strategy.threadLocalEntityManager != null
post	return_value == &new ArrayList(getTemplates#2)
post	new ArrayList(getTemplates#2) num objects == 1
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

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

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

info method not available -- call on List org.apache.roller.weblogger. business.themes.SharedTheme:getTemplates()

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

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

method	ThemeTemplate getStylesheet()
pre	this.theme != null
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	org.apache.roller.weblogger.pojos.ThemeTemplate:get Link(...)@134 != null
presumption	umgr.strategy != null
presumption	umgr.strategy.emf != null
presumption	umgr.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	org.apache.roller.weblogger.business.themes. SharedTheme:getStylesheet(...)@130: Addr_Set{null}, Inverse{null}

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.business.themes.SharedTheme:getStylesheet ()

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

method	ThemeTemplate getDefaultTemplate()
pre	this.theme != null
post	init'ed(return_value)

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.business.themes.SharedTheme:getDefaultTem plate()

method	ThemeTemplate getTemplateByAction(String)
pre	(soft) this.theme != null
post	init'ed(return_value)
test_vector	action: Inverse{null}, Addr_Set{null}

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.business.themes.SharedTheme:getTemplateBy Action(String)

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.theme != 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 getUserManager
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink
unanalyzed	call on getPageByLink
unanalyzed	call on org.apache.roller.weblogger.business. themes.SharedTheme:getStylesheet
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}
test_vector	java.lang.String:equals(...)@181: {0}, {1}
test_vector	org.apache.roller.weblogger.business.themes. SharedTheme:getTemplateByName(...)@187: Inverse{null}, Addr_Set{null}

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

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.business.themes.SharedTheme:getTemplateBy Name(String)

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.theme != 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 getUserManager
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink
unanalyzed	call on getPageByLink
unanalyzed	call on org.apache.roller.weblogger.business. themes.SharedTheme:getStylesheet
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}
test_vector	java.lang.String:equals(...)@212: {0}, {1}
test_vector	org.apache.roller.weblogger.business.themes. SharedTheme:getTemplateByLink(...)@218: Inverse{null}, Addr_Set{null}

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

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.business.themes.SharedTheme:getTemplateBy Link(String)

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
pre	(soft) this.theme != null
post	init'ed(return_value)
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	new FileManagerImpl$WeblogResourceFile(getFile#3). relativePath != null
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
test_vector	path: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.business.themes. SharedTheme:getResource(...)@242: Inverse{null}, Addr_Set{null}

info method not available -- call on ThemeResource org.apache.roller. weblogger.business.themes.SharedTheme:getResource(S tring)

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