Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.themes. SharedThemeFromDir__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. SharedThemeFromDir(String)
pre	log != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(this.author)
post	init'ed(this.description)
post	this.enabled == 1
post	init'ed(this.id)
post	this.lastModified == &new Date(loadThemeFromDis k#8)
post	init'ed(this.name)
post	this.previewImage == One-of{null, &new SharedThemeResourceFromDir(loadThemeFromDisk#12)}
post	this.previewImage in Addr_Set{null,&new SharedThemeResourceFromDir(loadThemeFromDisk#12)}
post	this.resources == &new HashMap(SharedThemeFromD ir#4)
post	this.stylesheet == One-of{null, &new SharedThemeTemplate(loadThemeFromDisk#16)}
post	this.stylesheet in Addr_Set{null,&new SharedThemeTemplate(loadThemeFromDisk#16)}
post	this.templatesByAction == &new HashMap(SharedTh emeFromDir#3)
post	this.templatesByLink == &new HashMap(SharedThem eFromDir#2)
post	this.templatesByName == &new HashMap(SharedThem eFromDir#1)
post	this.themeDir == themeDirPath
post	init'ed(this.themeDir)
post	new Date(loadThemeFromDisk#18) num objects <= 1
post	new SharedThemeTemplate(loadThemeFromDisk#16) num objects == new Date(loadThemeFromDisk#18) num objects
post	new Date(loadThemeFromDisk#8) num objects == 1
post	new File(loadThemeFromDisk#9) num objects == 1
post	new HashMap(SharedThemeFromDir#1) num objects == 1
post	new HashMap(SharedThemeFromDir#2) num objects == 1
post	new HashMap(SharedThemeFromDir#3) num objects == 1
post	new HashMap(SharedThemeFromDir#4) num objects == 1
post	new SharedThemeResourceFromDir(loadThemeFromDisk#12 ) num objects <= 1
post	init'ed(new SharedThemeResourceFromDir(loadThemeFro mDisk#12).relativePath)
post	new SharedThemeResourceFromDir(loadThemeFromDisk#12 ).resourceFile == &new File(loadThemeFromDisk#9 )
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).action)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).contents)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).description)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).hidden)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).id)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).lastModified)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).link)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).myTheme)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).name)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).navbar)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).outputContentType)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).templateLanguage)
post	init'ed(new String(loadTemplateFile#5) num objects)
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

method	ThemeResource getPreviewImage()
pre	init'ed(this.previewImage)
post	return_value == this.previewImage
post	init'ed(return_value)

method	List getTemplates()
pre	this.templatesByName != null
post	return_value == &new ArrayList(getTemplates#1)
post	new ArrayList(getTemplates#1) num objects == 1

method	ThemeTemplate getStylesheet()
pre	init'ed(this.stylesheet)
post	return_value == this.stylesheet
post	init'ed(return_value)

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

method	ThemeTemplate getTemplateByName(String)
pre	this.templatesByName != null
post	init'ed(return_value)

method	ThemeTemplate getTemplateByLink(String)
pre	this.templatesByLink != null
post	init'ed(return_value)

method	ThemeTemplate getTemplateByAction(String)
pre	this.templatesByAction != null
post	init'ed(return_value)

method	List getResources()
pre	this.resources != null
post	return_value == &new ArrayList(getResources#1)
post	new ArrayList(getResources#1) num objects == 1

method	ThemeResource getResource(String)
pre	this.resources != null
post	init'ed(return_value)

method	String toString()
pre	init'ed(this.name)
pre	this.templatesByName != null
presumption	java.util.Map:values(...)@175 != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	java.util.Iterator:hasNext(...)@176: {0}, {1}

method	void loadThemeFromDisk()
pre	log != null
pre	init'ed(this.themeDir)
pre	(soft) this.resources != null
pre	(soft) this.templatesByAction != null
pre	(soft) this.templatesByLink != null
pre	(soft) this.templatesByName != null
presumption	init'ed(java.io.File.separator)
presumption	java.util.Iterator:next(...)@283 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(this.author)
post	init'ed(this.description)
post	this.enabled == 1
post	init'ed(this.id)
post	this.lastModified == &new Date(loadThemeFromDis k#8)
post	init'ed(this.name)
post	this.previewImage == One-of{old this.previewImage, &new SharedThemeResourceFromDir(loadThemeFromD isk#12)}
post	this.stylesheet == One-of{old this.stylesheet, &new SharedThemeTemplate(loadThemeFromDisk#16) }
post	new Date(loadThemeFromDisk#18) num objects <= 1
post	new Date(loadThemeFromDisk#8) num objects == 1
post	new File(loadThemeFromDisk#9) num objects == 1
post	new SharedThemeResourceFromDir(loadThemeFromDisk#12 ) num objects <= 1
post	init'ed(new SharedThemeResourceFromDir(loadThemeFro mDisk#12).relativePath)
post	new SharedThemeResourceFromDir(loadThemeFromDisk#12 ).resourceFile == &new File(loadThemeFromDisk#9 )
post	new SharedThemeTemplate(loadThemeFromDisk#16) num objects <= 1
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).action)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).contents)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).description)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).hidden)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).id)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).lastModified)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).link)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).myTheme)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).name)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).navbar)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).outputContentType)
post	init'ed(new SharedThemeTemplate(loadThemeFromDisk#1 6).templateLanguage)
post	init'ed(new String(loadTemplateFile#5) num objects)
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 org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
test_vector	java.io.File:canRead(...)@215: {1}, {0}
test_vector	java.io.File:canRead(...)@269: {1}, {0}
test_vector	java.io.File:exists(...)@215: {0}, {1}
test_vector	java.io.File:exists(...)@269: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@262: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@282: {0}, {1}

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:warn(Object)

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

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 low

conditional throw check might fail: requires contents != null

Prev Msg Next Msg

method	String loadTemplateFile(File)
pre	templateFile != null
pre	(soft) log != null
pre	(soft) init'ed(this.name)
presumption	java.io.File:length(...)@327 >= 0
post	return_value in Addr_Set{null,&new String(loadTemplateFile#5)}
post	new String(loadTemplateFile#5) num objects <= 1
test_vector	java.io.File:canRead(...)@320: {1}, {0}
test_vector	java.io.File:exists(...)@320: {1}, {0}

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

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

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

method	void addTemplate(ThemeTemplate)
pre	template != null
pre	this.templatesByLink != null
pre	this.templatesByName != null
pre	(soft) this.templatesByAction != null
test_vector	java.lang.String:equals(...)@348: {1}, {0}

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

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

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

method	void setResource(String, SharedThemeResourceFromDi r)
pre	this.resources != null

info method not available -- call on String org.apache.commons.lang. StringUtils:replace(String, String, String)