Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business.themes. ThemeManagerImpl$1__static_init

method	org.apache.roller.weblogger.business.themes. ThemeManagerImpl__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. ThemeManagerImpl(Weblogger)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
presumption	java.io.File:canRead(...)@85 == 1
presumption	java.io.File:exists(...)@85 == 1
presumption	java.io.File:isDirectory(...)@85 == 1
presumption	java.lang.String:length(...)@75 >= 1
post	java.lang.String:substring(...)._tainted == 0
post	this.roller == roller
post	init'ed(this.roller)
post	this.themeDir != null
post	this.themes == null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
test_vector	java.lang.String:endsWith(...)@79: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

conditional throw check might fail: requires this.themeDir != null

Prev Msg Next Msg

method	void initialize()
pre	log != null
pre	init'ed(this.themeDir)
pre	(soft) org/apache/roller/weblogger/business/themes/ SharedThemeFromDir.log != null
post	this.themes == One-of{old this.themes, &new HashMap(loadAllThemesFromDisk#1)}
post	new HashMap(loadAllThemesFromDisk#1) num objects <= 1
unanalyzed	call on java.io.File
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.io.File:list
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.lang.StringUtils:replace
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getAction
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:canRead
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.InputStreamReader:read
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getName
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildText
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.HashSet
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Set:add
unanalyzed	call on setId
unanalyzed	call on setName
unanalyzed	call on setDescription
unanalyzed	call on setAuthor
unanalyzed	call on java.util.Date
unanalyzed	call on setLastModified
unanalyzed	call on setEnabled
unanalyzed	call on java.io.File:lastModified
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.roller.weblogger.business. themes.SharedTheme
unanalyzed	call on org.apache.roller.weblogger.pojos. Theme:getId
test_vector	this.themeDir: Addr_Set{null}, Inverse{null}

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

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

method	SharedTheme getTheme(String)
pre	this.themes != null
presumption	java.util.Map:get(...)@115 != null
post	(soft) return_value != null
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException

method	WeblogTheme getTheme(Weblog)
pre	(soft) log != null
pre	(soft) this.roller != null
pre	(soft) this.themes != null
post	return_value in Addr_Set{null,&new WeblogSharedTheme(getTheme#2),&new WeblogCustomTheme(getTheme#1)}
post	new WeblogCustomTheme(getTheme#1) num objects <= 1
post	new WeblogSharedTheme(getTheme#2) num objects <= 1
post	new WeblogSharedTheme(getTheme#2).theme != null
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTheme
test_vector	weblog: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@137: {0}, {1}
test_vector	java.util.Map:get(...)@144: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getEditorT heme(...)@137: Addr_Set{null}, Inverse{null}

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

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into themeMgr

Prev Msg Next Msg

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

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

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

method	List getEnabledThemesList()
pre	this.themes != null
post	return_value == &new ArrayList(getEnabledThemes List#1)
post	new ArrayList(getEnabledThemesList#1) num objects == 1

method	void importTheme(Weblog, SharedTheme)
pre	log != null
pre	theme != null
pre	init'ed(theme.name)
pre	theme.resources != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	website != null
pre	(soft) org/apache/roller/weblogger/business/FileMan agerImpl.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) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) this.roller...userManager != null
pre	(soft) this.roller...userManager.strategy != null
pre	(soft) this.roller...userManager.strategy. threadLocalEntityManager != null
pre	(soft) this.roller.fileManager != null
pre	(soft) init'ed(this.roller.fileManager.upload_dir)
pre	(soft) this.roller.userManager.roller != null
pre	(soft) this.roller.userManager.strategy.emf != null
presumption	java.util.Iterator:next(...)@192 != null
presumption	java.util.Iterator:next(...)@272 != null
presumption	getUserManager(...)@185...strategy != userMgr.roller.userManager.strategy
presumption	org.apache.roller.weblogger.business.themes. SharedTheme:getStylesheet(...)@260 != null
presumption	org.apache.roller.weblogger.business.themes. SharedTheme:getTemplates(...)@190 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get InputStream(...)@281 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@278 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@281 != null
presumption	org.apache.roller.weblogger.pojos.ThemeTemplate:get Action(...)@197 != null
presumption	org.apache.roller.weblogger.pojos.ThemeTemplate:get Action(...)@199 != null
presumption	org.apache.roller.weblogger.pojos.ThemeTemplate:get Name(...)@206 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate. ACTIONS != null
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate. ACTIONS.length <= 2³²-1
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate. ACTIONS[...] != null
presumption	this.roller.userManager.roller != getUserManager(.. .)@185.roller
presumption	userMgr.strategy.emf@199 != null
presumption	userMgr.strategy.emf@206 != null
presumption	userMgr.strategy.emf@248 != null
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on getUserManager
unanalyzed	call on saveWebsite
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
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
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTemplate:getWebsite
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on javax.persistence.EntityManager:remove
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 java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:canRead
unanalyzed	call on java.io.File:getCanonicalPath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:length
unanalyzed	call on getDirSize
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on getBooleanProperty
unanalyzed	call on org.apache.roller.weblogger.util. RollerMessages:addError
unanalyzed	call on getProperty
unanalyzed	call on java.math.BigDecimal
unanalyzed	call on java.math.BigDecimal:doubleValue
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.math.BigDecimal:toString
unanalyzed	call on org.apache.commons.lang.StringUtils:deleteW hitespace
unanalyzed	call on org.apache.commons.lang.StringUtils:split
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on org.apache.roller.weblogger.util. RollerMessages
unanalyzed	call on org.apache.roller.weblogger.util. RollerMessages:toString
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.InputStream:read
unanalyzed	call on java.io.OutputStream:write
unanalyzed	call on java.io.OutputStream:flush
unanalyzed	call on java.io.OutputStream:close
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
test_vector	java.lang.Object:equals(...)@223: {1}, {0}
test_vector	java.lang.String:equals(...)@197: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@191: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@271: {0}, {1}
test_vector	java.util.Set:contains(...)@247: {1}, {0}
test_vector	org.apache.roller.weblogger.business.themes. SharedTheme:getStylesheet(...)@259: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.ThemeResource:isD irectory(...)@277: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.ThemeTemplate:get Action(...)@197: Addr_Set{null}, Inverse{null}

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

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

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

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:getAction()

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

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

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

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setAction(String)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setName(String)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setDescription(String)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setLink(String)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setContents(String)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setHidden(bool)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setNavbar(bool)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setTemplateLanguage(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setDecoratorName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setLastModified(Date)

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

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

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

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

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()

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

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

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

info method not available -- call on bool org.apache.roller.weblogger.pojos. ThemeResource:isDirectory()

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

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

info method not available -- call on long org.apache.roller.weblogger.pojos. ThemeResource:getLength()

info method not available -- call on InputStream org.apache.roller.weblogger. pojos.ThemeResource:getInputStream()

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

method	Map loadAllThemesFromDisk()
pre	init'ed(this.themeDir)
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/business/themes/ SharedThemeFromDir.log != null
presumption	init'ed(java.io.File.separator)
presumption	themenames.length@313 <= 2³²-1
post	return_value == &new HashMap(loadAllThemesFromD isk#1)
post	new HashMap(loadAllThemesFromDisk#1) num objects == 1
unanalyzed	call on org.apache.commons.lang.StringUtils:replace
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getLink
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getAction
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:canRead
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.InputStreamReader:read
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getName
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildText
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.HashSet
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Set:add
unanalyzed	call on setId
unanalyzed	call on setName
unanalyzed	call on setDescription
unanalyzed	call on setAuthor
unanalyzed	call on java.util.Date
unanalyzed	call on setLastModified
unanalyzed	call on setEnabled
unanalyzed	call on java.io.File
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.io.File:lastModified
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.roller.weblogger.business. themes.SharedTheme
unanalyzed	call on java.util.HashMap
test_vector	java.io.File:list(...)@313: Inverse{null}, Addr_Set{null}

method

void org.apache.roller.weblogger.business.themes. ThemeManagerImpl$1(ThemeManagerImpl)

method	bool accept(File, String)
pre	dir != null
presumption	init'ed(java.io.File.separator)
post	init'ed(return_value)

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because theme != null

Prev Msg Next Msg

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

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

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getEditorTheme()
	info	method not available	-- call on void org.apache.commons.logging. Log:warn(Object)

	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. ThemeTemplate:isHidden()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogTemplate:setHidden(bool)

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()
info	method not available	-- call on void org.apache.roller.weblogger.pojos. Weblog:setCustomStylesheetPath(String)