Messages

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

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

method	void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.OldPageHelper(HttpServletReques t, HttpServletResponse, Map, Weblog, Date, WeblogBookmarkFolder, String, PageContext, WeblogPageRequest)
presumption	org.apache.roller.weblogger.business. Weblogger:getPluginManager(...)@95 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@94 != null
post	this.mDate == date
post	init'ed(this.mDate)
post	this.mFolder == folder
post	init'ed(this.mFolder)
post	this.mPageContext == pageContext
post	init'ed(this.mPageContext)
post	this.mPageName == null
post	init'ed(this.mPagePlugins)
post	this.mPageRequest == pageRequest
post	init'ed(this.mPageRequest)
post	this.mRequest == request
post	init'ed(this.mRequest)
post	this.mResponse == response
post	init'ed(this.mResponse)
post	this.mWebsite == website
post	init'ed(this.mWebsite)

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

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

info method not available -- call on Map org.apache.roller.weblogger. business.plugins.PluginManager:getWeblogEntryPlugin s(Weblog)

method	Hashtable addParam(String, String, Hashtable)
post	return_value == One-of{map, &new Hashtable(addParam#1)}
post	return_value != null
post	new Hashtable(addParam#1) num objects <= 1
test_vector	key: Addr_Set{null}, Inverse{null}
test_vector	map: Inverse{null}, Addr_Set{null}
test_vector	value: Addr_Set{null}, Inverse{null}

method	String evaluateString(String)
post	return_value == str
post	init'ed(return_value)

method	String getEntryEditUrl(WeblogEntryWrapper)
pre	entry != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@128 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@128 != null
presumption	org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getWebsite(...)@128 != null
post	init'ed(return_value)

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

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

info method not available -- call on WeblogWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:getWebsi te()

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

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

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

method	String getToggleLinkbackDisplayHTML(WeblogReferrer Wrapper)
post	return_value == &""

method	bool isUserAuthorizedToEdit()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mRequest)
pre	(soft) init'ed(this.mWebsite)
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	init'ed(return_value)

info method not available -- call on RollerSession org.apache.roller. weblogger.ui.core.RollerSession:getRollerSession(Ht tpServletRequest)

info method not available -- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()

info method not available -- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)

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

method	void setContentType(String)
pre	this.mResponse != null

method	String showBigWeblogCalendar()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mPageRequest.localeInstance)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) this.mPageContext != null
pre	(soft) this.mPageRequest != null
pre	(soft) init'ed(this.mPageRequest.locale)
pre	(soft) init'ed(this.mPageRequest.weblogHandle)
post	init'ed(return_value)
post	init'ed(this.mPageRequest.localeInstance)
post	possibly_updated(this.mPageRequest.weblog)
post	new Locale(getLocaleInstance#1) num objects == 0
post	new Locale(getLocaleInstance#2) num objects == 0
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.BigWeblogCalendarModel
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.WeblogCalendarModel
unanalyzed	call on javax.servlet.jsp.PageContext:setAttribute
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setPageContext
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setName
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setModel
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on java.util.Locale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setLocale
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setClassSuffix
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:emit

method	String showEditorNavBar(bool)
post	return_value == null

method	String showMenu(String, String)
post	return_value == null

method	String showWeblogCalendar()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mPageRequest.localeInstance)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) this.mPageContext != null
pre	(soft) this.mPageRequest != null
pre	(soft) init'ed(this.mPageRequest.locale)
pre	(soft) init'ed(this.mPageRequest.weblogHandle)
post	init'ed(return_value)
post	init'ed(this.mPageRequest.localeInstance)
post	possibly_updated(this.mPageRequest.weblog)
post	new Locale(getLocaleInstance#1) num objects == 0
post	new Locale(getLocaleInstance#2) num objects == 0
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.BigWeblogCalendarModel
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.WeblogCalendarModel
unanalyzed	call on javax.servlet.jsp.PageContext:setAttribute
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setPageContext
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setName
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setModel
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on java.util.Locale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setLocale
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:setClassSuffix
unanalyzed	call on org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag:emit

method	String showWeblogCalendar(bool, String)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mPageRequest.localeInstance)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) this.mPageContext != null
pre	(soft) this.mPageRequest != null
pre	(soft) init'ed(this.mPageRequest.locale)
pre	(soft) init'ed(this.mPageRequest.weblogHandle)
post	init'ed(return_value)
post	init'ed(this.mPageRequest.localeInstance)
post	possibly_updated(this.mPageRequest.weblog)
post	new Locale(getLocaleInstance#1) num objects == 0
post	new Locale(getLocaleInstance#2) num objects == 0
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Locale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
test_vector	big: {0}, {1}
test_vector	java.lang.String:equals(...)@210: {0}, {1}

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.BigWeblogCalendarModel(WeblogPag eRequest, String)

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.WeblogCalendarModel(WeblogPageRe quest, String)

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag()

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag:setPageContext(PageC ontext)

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag:setName(String)

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag:setModel(String)

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag:setLocale(Locale)

info method not available -- call on void org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag:setClassSuffix(Strin g)

info method not available -- call on String org.apache.roller.weblogger.ui. core.tags.calendar.CalendarTag:emit()

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

method	String strutsUrlHelper(bool, bool, String, String, String)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getRelativeContextURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getLogoutURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getLoginURL

method	String strutsUrlHelper1(bool, bool, String, String, String, Hashtable)
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@282 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@284 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@282 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@284 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
test_vector	path: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@275: {0}, {1}
test_vector	java.lang.String:equals(...)@278: {0}, {1}
test_vector	java.lang.String:equals(...)@281: {0}, {1}
test_vector	java.lang.String:equals(...)@283: {0}, {1}

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

method	String renderPlugins(WeblogEntryWrapper, String)
pre	mLogger != null
pre	init'ed(this.mPagePlugins)
pre	(soft) entry != null
presumption	java.util.Map:get(...)@315 != null
presumption	java.util.Map:keySet(...)@311 != null
post	init'ed(return_value)
test_vector	this.mPagePlugins: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@312: {0}, {1}
test_vector	java.util.List:contains(...)@314: {0}, {1}
test_vector	java.util.List:isEmpty(...)@306: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getPluginsList(...)@304: 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 List org.apache.roller.weblogger.pojos. wrapper.WeblogEntryWrapper:getPluginsList()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getPojo()

info method not available -- call on String org.apache.roller.weblogger. business.plugins.entry.WeblogEntryPlugin:render(Web logEntry, String)

info method not available -- call on String org.apache.roller.weblogger. business.plugins.entry.WeblogEntryPlugin:getName()

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

method	Locale[] getSupportedLanguages()
post	return_value == null

method	String getPathInfo()
pre	this.mRequest != null
post	return_value != null
test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@347: Inverse{null}, Addr_Set{null}

method	String getCommentAuthenticatorHtml()
post	return_value == &""

info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
info	method not available	-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
info	method not available	-- call on WeblogWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:getWebsi te()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.wrapper.WeblogWrapper:getHandle()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getId()
info	method not available	-- call on String org.apache.roller.weblogger. business.URLStrategy:getEntryEditURL(String, String, bool)

	info	method not available	-- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()
	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)

	info	method not available	-- call on WeblogEntry org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getPojo()
	info	method not available	-- call on String org.apache.roller.weblogger. business.plugins.entry.WeblogEntryPlugin:render(Web logEntry, String)