Messages

method

org.apache.roller.weblogger.ui.rendering.model. URLModel$CommentFeedURLS__static_init

method

org.apache.roller.weblogger.ui.rendering.model. URLModel$EntryFeedURLS__static_init

method

org.apache.roller.weblogger.ui.rendering.model. URLModel$FeedURLS__static_init

method	org.apache.roller.weblogger.ui.rendering.model. URLModel__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.ui.rendering. model.URLModel()
post	this.locale == null
post	this.urlStrategy == null
post	this.weblog == null

method	String getModelName()
post	return_value == &"url"

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@68 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@79 != null
post	init'ed(this.locale)
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
test_vector	java.util.Map:get(...)@77: Inverse{null}, Addr_Set{null}

info method not available -- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getWeblog()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

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

method	String getSite()
post	init'ed(return_value)

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

method	String getAbsoluteSite()
post	init'ed(return_value)

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

method	String getLogin()
pre	this.urlStrategy != null
post	init'ed(return_value)

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

method	String getLogout()
pre	this.urlStrategy != null
post	init'ed(return_value)

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

method	String action(String, String)
pre	(soft) this.urlStrategy != null
pre	(soft) this.weblog != null
post	init'ed(return_value)
test_vector	namespace: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@111: {0}, {1}
test_vector	java.lang.String:equals(...)@113: {0}, {1}
test_vector	java.lang.String:equals(...)@115: {0}, {1}

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

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:getActionURL(String, String, String, Map, bool)

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

method	String getCommentAuthenticator()
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getRelativeContextURL

method	String themeResource(String, String)
post	java.lang.StringBuilder:toString(...)._tainted == theme._tainted \| filePath._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getRelativeContextURL

method	String themeResource(String, String, bool)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getRelativeContextURL
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
test_vector	absolute: {0}, {1}

method	String getHome()
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String home(int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String home(String)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String home(String, int)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String entry(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String comment(String, String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String comments(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String trackback(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String date(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String date(String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String category(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String category(String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String tag(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String tag(String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String tags(List)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String tags(List, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String collection(String, String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String collection(String, String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String getSearch()
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String search(String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String search(String, String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String absoluteSearch(String, String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String page(String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String page(String, String, String, int)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String resource(String)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String getRsd()
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	URLModel$FeedURLS getFeed()
post	return_value == &new URLModel$FeedURLS(getFeed# 1)
post	new URLModel$FeedURLS(getFeed#1) num objects == 1

method	String editEntry(String)
pre	(soft) log != null
pre	(soft) this.urlStrategy != null
pre	(soft) this.weblog != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@275 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@275 != 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 WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryByAnchor(Weblo g, String)

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.WeblogEntry:getId()

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

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

method	String getCreateEntry()
pre	this.urlStrategy != null
pre	this.weblog != null
post	init'ed(return_value)

method	String getEditSettings()
pre	this.urlStrategy != null
pre	this.weblog != null
post	init'ed(return_value)

method

void org.apache.roller.weblogger.ui.rendering. model.URLModel$FeedURLS(URLModel)

method	URLModel$EntryFeedURLS getEntries()
post	return_value == &new URLModel$EntryFeedURLS(get Entries#1)
post	new URLModel$EntryFeedURLS(getEntries#1) num objects == 1

method	URLModel$CommentFeedURLS getComments()
post	return_value == &new URLModel$CommentFeedURLS(g etComments#1)
post	new URLModel$CommentFeedURLS(getComments#1) num objects == 1

method

void org.apache.roller.weblogger.ui.rendering. model.URLModel$EntryFeedURLS(URLModel)

method	String getRss()
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String rss(String, bool)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String rssByTags(List, bool)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String getAtom()
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String atom(String, bool)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String search(String, String)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String atomByTags(List, bool)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method

void org.apache.roller.weblogger.ui.rendering. model.URLModel$CommentFeedURLS(URLModel)

method	String getRss()
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String rss(String, bool)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String getAtom()
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

method	String atom(String, bool)
pre	init'ed(this.locale)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)

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

	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 String org.apache.roller.weblogger. pojos.Weblog:getHandle()
	info	method not available	-- call on String org.apache.roller.weblogger. business.URLStrategy:getActionURL(String, String, String, Map, bool)