Messages

Last Msg First Msg

method

org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper__static_init

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

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

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

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

method	WeblogCategoryWrapper getCategory()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@69 != 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.WeblogEntry:getCategory()

method	List getCategories()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCa tegories(...)@74 != null
post	return_value == &new ArrayList(getCategories#1)
post	new ArrayList(getCategories#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@82: {0}, {1}

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

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	WeblogWrapper getWebsite()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@92 != null
post	return_value == &new WeblogWrapper(wrap#1)
post	new WeblogWrapper(wrap#1) num objects == 1
post	new WeblogWrapper(wrap#1).pojo != null
post	new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogWrapper(wrap#1).urlStrategy)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

method	List getEntryAttributes()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@136 != null
post	return_value == &new ArrayList(getEntryAttribut es#1)
post	new ArrayList(getEntryAttributes#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@144: {0}, {1}

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

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 findEntryAttribute(String)
pre	this.pojo != null
post	init'ed(return_value)

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

method	Timestamp getPubTime()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Timestamp getUpdateTime()
pre	this.pojo != null
post	init'ed(return_value)

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

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

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

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

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

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

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

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

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

method	Integer getCommentDays()
pre	this.pojo != null
post	init'ed(return_value)

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

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

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

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

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

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

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

method	List getTags()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@209 != null
post	return_value == &new ArrayList(getTags#1)
post	new ArrayList(getTags#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@217: {0}, {1}

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

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 getTagsAsString()
pre	this.pojo != null
post	init'ed(return_value)

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

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

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

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

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

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

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

method	List getComments()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@247 != null
post	return_value == &new ArrayList(getComments#1)
post	new ArrayList(getComments#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@255: {0}, {1}

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

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 getComments(bool, bool)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@265 != null
post	return_value == &new ArrayList(getComments#1)
post	new ArrayList(getComments#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@273: {0}, {1}

info method not available -- call on List org.apache.roller.weblogger.pojos. WeblogEntry:getComments(bool, bool)

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 getCommentCount()
pre	this.pojo != null
post	init'ed(return_value)

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

method	List getReferers()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getRe ferers(...)@288 != null
post	return_value == &new ArrayList(getReferers#1)
post	new ArrayList(getReferers#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@296: {0}, {1}

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

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 getPermalink()
pre	this.pojo != null
post	init'ed(return_value)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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