Messages

Last Msg First Msg

method

void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.ContextLoader()

method	org.apache.roller.weblogger.ui.rendering.velocity. deprecated.ContextLoader__static_init
post	init'ed(mLogger)

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

method	void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageReques t, URLStrategy)
pre	ctx != null
pre	mLogger != null
pre	init'ed(org/apache/roller/weblogger/ui/rendering/ve locity/deprecated/NewsfeedCache.instance)
pre	init'ed(pageRequest.localeInstance)
pre	init'ed(pageRequest.weblog)
pre	init'ed(pageRequest.weblogCategory)
pre	init'ed(pageRequest.weblogPage)
pre	pageRequest != null
pre	init'ed(pageRequest.locale)
pre	init'ed(pageRequest.weblogDate)
pre	request != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogPageRequest.log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/NewsfeedCache.log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldWeblogPageModel.mLogger != null
pre	(soft) init'ed(pageRequest.weblogAnchor)
pre	(soft) init'ed(pageRequest.weblogCategoryName)
pre	(soft) init'ed(pageRequest.weblogHandle)
pre	(soft) init'ed(pageRequest.weblogPageName)
pre	(soft) urlStrategy != null
presumption	java.text.SimpleDateFormat:parse(...)@135 != null
presumption	java.text.SimpleDateFormat:parse(...)@145 != null
presumption	org.apache.roller.util.DateUtil:get6charDateFormat( ...)@145 != null
presumption	org.apache.roller.util.DateUtil:get8charDateFormat( ...)@135 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@125 != null
post	org/apache/roller/weblogger/ui/rendering/velocity/d eprecated/NewsfeedCache.instance == One-of{old org/apache/roller/weblogger/ui/rendering/velocity/ deprecated/NewsfeedCache.instance, &new NewsfeedCache(getInstance#1)}
post	org/apache/roller/weblogger/ui/rendering/velocity/d eprecated/NewsfeedCache.instance != null
post	init'ed(pageRequest.localeInstance)
post	init'ed(pageRequest.weblog)
post	init'ed(pageRequest.weblogCategory)
post	possibly_updated(pageRequest.weblogEntry)
post	init'ed(pageRequest.weblogPage)
post	new LRUCache2(NewsfeedCache#2) num objects <= 1
post	new Locale(getLocaleInstance#1) num objects == 0
post	new Locale(getLocaleInstance#2) num objects == 0
post	new NewsfeedCache(getInstance#1) num objects <= 1
post	new NewsfeedCache(getInstance#1).aggregator_cache_ enabled == 1
post	init'ed(new NewsfeedCache(getInstance#1). aggregator_cache_timeout)
post	new NewsfeedCache(getInstance#1).aggregator_ enabled == 1
post	new NewsfeedCache(getInstance#1).mCache == &new LRUCache2(NewsfeedCache#2)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getPropertiesManager
unanalyzed	call on org.apache.roller.weblogger.business. PropertiesManager:getProperties
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.util.RegexUtil:encode
unanalyzed	call on org.apache.roller.util.RegexUtil:obfuscateE mail
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogWrapper:wrap
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTheme
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTheme:getTemplateByName
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. ThemeTemplateWrapper:wrap
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty
unanalyzed	call on java.lang.Boolean
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getRelativeContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:getHost
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEntryDisplayCount
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLastModified
unanalyzed	call on java.util.Date
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getVersion
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBuildTime
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBuildUser
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.util.LRUCache2
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameterMap
unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe ssion
unanalyzed	call on javax.servlet.http.HttpSession:getAttribute
unanalyzed	call on javax.servlet.http.HttpSession:removeAttrib ute
unanalyzed	call on javax.servlet.http.HttpServletRequest:getAt tribute
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper:wrap
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:wrap
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on getWeblogAnchor
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTheme:getTemplateByLink
unanalyzed	call on java.util.HashMap
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getBookmarkManager
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getRefererManager
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogTheme:getTemplates
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. ThemeTemplate:getName
unanalyzed	call on java.util.HashMap:put
unanalyzed	call on java.util.HashMap:values
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getPluginManager
unanalyzed	call on org.apache.roller.weblogger.business. plugins.PluginManager:getWeblogEntryPlugins
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
test_vector	pageRequest.weblogDate: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@132: {0..7, 9..2³²-1}, {8}
test_vector	java.lang.String:length(...)@142: {0..5, 7..2³²-1}, {6}
test_vector	java.util.Date:after(...)@136: {0}, {1}
test_vector	java.util.Date:after(...)@146: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires weblog != null

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

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

Prev Msg Next Msg

info method not available -- call on SimpleDateFormat org.apache.roller.util. DateUtil:get8charDateFormat()

info method not available -- call on SimpleDateFormat org.apache.roller.util. DateUtil:get6charDateFormat()

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires page != null

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/ui/rendering/velocity/d eprecated/ContextLoader.loadRssValues: website != null

Prev Msg Next Msg

method	void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
pre	(soft) ctx != null
pre	(soft) mLogger != null
presumption	java.util.Map:get(...)@236 != null
presumption	java.util.Map:get(...)@240 != null
presumption	org.apache.roller.weblogger.business. PropertiesManager:getProperties(...)@220 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPropertiesManager(...)@220 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@219 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@248 != null
test_vector	weblog: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@237: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.WeblogTheme:getTe mplateByName(...)@248: Addr_Set{null}, Inverse{null}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on PropertiesManager org.apache.roller. weblogger.business.Weblogger:getPropertiesManager()

info method not available -- call on Map org.apache.roller.weblogger. business.PropertiesManager:getProperties()

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

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

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

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

info method not available -- call on String org.apache.roller.util. RegexUtil:encode(String)

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

info method not available -- call on String org.apache.roller.util. RegexUtil:obfuscateEmail(String)

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

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

info method not available -- call on WeblogWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogWrapper:wrap(Weblog, URLStrategy)

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

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

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

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getTemplateByName(Strin g)

info method not available -- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

method	void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
pre	ctx != null
pre	entry != null
pre	mLogger != null
pre	request != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getSt atus(...)@309 != null
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper:wrap
test_vector	java.lang.String:equals(...)@309: {0}, {1}
test_vector	javax.servlet.http.HttpServletRequest:getAttribute( ...)@289: Inverse{null}, Addr_Set{null}

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.config. WebloggerRuntimeConfig:getBooleanProperty(String)

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

info method not available -- call on WeblogEntryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(Web logEntry, URLStrategy)

method	void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
pre	ctx != null
pre	mLogger != null
pre	request != null
pre	website != null
test_vector	category: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@329: {0}, {1}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@328: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getEntryDi splayCount(...)@335: {1..2³²-1}, {-2³¹..0}

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

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

info method not available -- call on int org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty(String)

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

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

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

method	void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
pre	ctx != null
pre	mLogger != null
pre	init'ed(org/apache/roller/weblogger/ui/rendering/ve locity/deprecated/NewsfeedCache.instance)
pre	request != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/NewsfeedCache.log != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@386 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@387 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@388 != null
post	org/apache/roller/weblogger/ui/rendering/velocity/d eprecated/NewsfeedCache.instance == One-of{old org/apache/roller/weblogger/ui/rendering/velocity/ deprecated/NewsfeedCache.instance, &new NewsfeedCache(getInstance#1)}
post	org/apache/roller/weblogger/ui/rendering/velocity/d eprecated/NewsfeedCache.instance != null
post	new LRUCache2(NewsfeedCache#2) num objects <= 1
post	new NewsfeedCache(getInstance#1) num objects == new LRUCache2(NewsfeedCache#2) num objects
post	new NewsfeedCache(getInstance#1).aggregator_cache_ enabled == 1
post	new NewsfeedCache(getInstance#1).aggregator_ enabled == 1
post	init'ed(new NewsfeedCache(getInstance#1). aggregator_cache_timeout)
post	new NewsfeedCache(getInstance#1).mCache == &new LRUCache2(NewsfeedCache#2)
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.util.LRUCache2
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.commons.logging.Log:debug
test_vector	website: 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 TimeZone org.apache.roller.weblogger. pojos.Weblog:getTimeZoneInstance()

info method not available -- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on String org.apache.roller.weblogger. business.Weblogger:getVersion()

method	void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
pre	ctx != null
pre	mLogger != null
pre	(soft) urlStrategy != null
test_vector	website: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@408: {1}, {0}

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

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

info method not available -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogURL(Weblog, String, bool)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getRelativeContextURL ()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getRelativeContextURL ()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

method	String figureResourcePath()
post	return_value == &".resources"

method	void loadStatusMessage(Map, HttpServletRequest)
pre	mLogger != null
pre	req != null
pre	(soft) ctx != null
test_vector	javax.servlet.http.HttpServletRequest:getSession(.. .)@446: Addr_Set{null}, Inverse{null}

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

method	void loadRequestParamKeys(Map)
pre	ctx != null
pre	mLogger != null

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

	info	method not available	-- call on PropertiesManager org.apache.roller. weblogger.business.Weblogger:getPropertiesManager()
	info	method not available	-- call on Map org.apache.roller.weblogger. business.PropertiesManager:getProperties()

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getEmailAddress()
	info	method not available	-- call on String org.apache.roller.util. RegexUtil:encode(String)

	info	method not available	-- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()
	info	method not available	-- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getTemplateByName(Strin g)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on String org.apache.roller.weblogger. business.Weblogger:getVersion()