Messages

Last Msg First Msg

method

org.apache.roller.weblogger.pojos.wrapper. WeblogWrapper__static_init

method	void org.apache.roller.weblogger.pojos.wrapper. WeblogWrapper(Weblog, URLStrategy)
post	this.pojo == toWrap
post	init'ed(this.pojo)
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)

method	WeblogWrapper wrap(Weblog, URLStrategy)
post	return_value == One-of{&new WeblogWrapper(wrap# 1), null}
post	return_value in Addr_Set{null,&new WeblogWrapper(wrap#1)}
post	new WeblogWrapper(wrap#1) num objects <= 1
post	new WeblogWrapper(wrap#1).pojo == toWrap
post	new WeblogWrapper(wrap#1).pojo != null
post	new WeblogWrapper(wrap#1).urlStrategy == strat
post	init'ed(new WeblogWrapper(wrap#1).urlStrategy)
test_vector	toWrap: Addr_Set{null}, Inverse{null}

method	ThemeTemplateWrapper getPageByAction(String)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@69 != null
post	init'ed(return_value)

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:getTemplateByAction(Str ing)

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

method	ThemeTemplateWrapper getPageByName(String)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@75 != null
post	init'ed(return_value)

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)

method	ThemeTemplateWrapper getPageByLink(String)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@81 != null
post	init'ed(return_value)

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:getTemplateByLink(Strin g)

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

method	List getPages()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@87 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTheme:getTe mplates(...)@87 != null
post	return_value == &new ArrayList(getPages#1)
post	new ArrayList(getPages#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@95: {0}, {1}

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

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

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

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	String getId()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getHandle()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getName()
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String getDescription()
pre	this.pojo != null
post	init'ed(return_value)

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

method	UserWrapper getCreator()
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on UserWrapper org.apache.roller.weblogger. pojos.wrapper.UserWrapper:wrap(User)

method	String getDefaultPageId()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getWeblogDayPageId()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getEnableBloggerApi()
pre	this.pojo != null
post	init'ed(return_value)

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

method	WeblogCategoryWrapper getBloggerCategory()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@145 != null
post	return_value == &new WeblogCategoryWrapper(wrap #1)
post	new WeblogCategoryWrapper(wrap#1) num objects == 1
post	new WeblogCategoryWrapper(wrap#1).pojo != null
post	new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogCategoryWrapper(wrap#1). urlStrategy)

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

method	WeblogCategoryWrapper getDefaultCategory()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@150 != null
post	return_value == &new WeblogCategoryWrapper(wrap #1)
post	new WeblogCategoryWrapper(wrap#1) num objects == 1
post	new WeblogCategoryWrapper(wrap#1).pojo != null
post	new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogCategoryWrapper(wrap#1). urlStrategy)

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

method	String getEditorPage()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getBlacklist()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getAllowComments()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getDefaultAllowComments()
pre	this.pojo != null
post	init'ed(return_value)

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

method	int getDefaultCommentDays()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getModerateComments()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getEmailComments()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getEmailFromAddress()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getEmailAddress()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getEditorTheme()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getLocale()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getTimeZone()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Date getDateCreated()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getDefaultPlugins()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Locale getLocaleInstance()
pre	this.pojo != null
post	init'ed(return_value)

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

method	TimeZone getTimeZoneInstance()
pre	this.pojo != null
post	init'ed(return_value)

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

method	int getEntryDisplayCount()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getEnabled()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getActive()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Date getLastModified()
pre	this.pojo != null
post	init'ed(return_value)

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

method	bool isEnableMultiLang()
pre	this.pojo != null
post	init'ed(return_value)

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

method	bool isShowAllLangs()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getStylesheet()
pre	this.pojo != null
pre	(soft) this.urlStrategy != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@266 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@267 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTheme:getSt ylesheet(...)@267 != null
post	init'ed(return_value)
test_vector	org.apache.roller.weblogger.pojos.WeblogTheme:getSt ylesheet(...)@266: Addr_Set{null}, Inverse{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:getStylesheet()

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. business.URLStrategy:getWeblogPageURL(Weblog, String, String, String, String, String, List, int, bool)

method	String getIcon()
pre	this.pojo != null
pre	(soft) this.urlStrategy != null
post	init'ed(return_value)
test_vector	java.lang.String:startsWith(...)@288: {1}, {0}
test_vector	java.lang.String:startsWith(...)@288: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getIconPat h(...)@283: Inverse{null}, Addr_Set{null}

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

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

method	String getAbout()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getURL()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getAbsoluteURL()
pre	this.pojo != null
post	init'ed(return_value)

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

method	WeblogEntryWrapper getWeblogEntry(String)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getWeblogE ntry(...)@316 != null
post	return_value == &new WeblogEntryWrapper(wrap#1)
post	new WeblogEntryWrapper(wrap#1) num objects == 1
post	new WeblogEntryWrapper(wrap#1).pojo != null
post	new WeblogEntryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntryWrapper(wrap#1). urlStrategy)

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

method	List getWeblogCategories()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getWeblogC ategories(...)@321 != null
post	return_value == &new ArrayList(getWeblogCategor ies#1)
post	new ArrayList(getWeblogCategories#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@329: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	List getWeblogCategories(String)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getWeblogC ategories(...)@339 != null
post	return_value == &new ArrayList(getWeblogCategor ies#1)
post	new ArrayList(getWeblogCategories#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@347: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	WeblogCategoryWrapper getWeblogCategory(String)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getWeblogC ategory(...)@357 != null
post	return_value == &new WeblogCategoryWrapper(wrap #1)
post	new WeblogCategoryWrapper(wrap#1) num objects == 1
post	new WeblogCategoryWrapper(wrap#1).pojo != null
post	new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogCategoryWrapper(wrap#1). urlStrategy)

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

method	List getRecentWeblogEntries(String, int)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getRecentW eblogEntries(...)@362 != null
post	return_value == &new ArrayList(getRecentWeblogE ntries#1)
post	new ArrayList(getRecentWeblogEntries#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@370: {0}, {1}

info method not available -- call on List org.apache.roller.weblogger.pojos. Weblog:getRecentWeblogEntries(String, int)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	List getRecentWeblogEntriesByTag(String, int)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getRecentW eblogEntriesByTag(...)@380 != null
post	return_value == &new ArrayList(getRecentWeblogE ntriesByTag#1)
post	new ArrayList(getRecentWeblogEntriesByTag#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@388: {0}, {1}

info method not available -- call on List org.apache.roller.weblogger.pojos. Weblog:getRecentWeblogEntriesByTag(String, int)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	List getRecentComments(int)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getRecentC omments(...)@398 != null
post	return_value == &new ArrayList(getRecentComment s#1)
post	new ArrayList(getRecentComments#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@406: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	WeblogBookmarkFolderWrapper getBookmarkFolder(Stri ng)
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFold er)

method	List getTodaysReferrers()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTodaysR eferrers(...)@421 != null
post	return_value == &new ArrayList(getTodaysReferre rs#1)
post	new ArrayList(getTodaysReferrers#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@429: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	int getTodaysHits()
pre	this.pojo != null
post	init'ed(return_value)

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

method	List getPopularTags(int, int)
pre	this.pojo != null
post	init'ed(return_value)

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

method	long getCommentCount()
pre	this.pojo != null
post	init'ed(return_value)

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

method	long getEntryCount()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Weblog getPojo()
post	return_value == this.pojo
post	init'ed(return_value)

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:getTemplateByAction(Str ing)
info	method not available	-- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

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

	info	method not available	-- call on User org.apache.roller.weblogger.pojos. Weblog:getCreator()
	info	method not available	-- call on UserWrapper org.apache.roller.weblogger. pojos.wrapper.UserWrapper:wrap(User)

	info	method not available	-- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.Weblog:getBookmarkFolder(String)
	info	method not available	-- call on WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFold er)