Messages

Last Msg First Msg

method

org.apache.roller.weblogger.pojos.wrapper. WeblogCategoryWrapper__static_init

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

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

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

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

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

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

method	WeblogWrapper getWebsite()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@85 != 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.WeblogCategory:getWebsite()

method	WeblogCategoryWrapper getParent()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@90 != 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.WeblogCategory:getParent()

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

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogCategory: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 retrieveWeblogEntries(bool)
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:re trieveWeblogEntries(...)@115 != null
post	return_value == &new ArrayList(retrieveWeblogEn tries#1)
post	new ArrayList(retrieveWeblogEntries#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@123: {0}, {1}

info method not available -- call on List org.apache.roller.weblogger.pojos. WeblogCategory:retrieveWeblogEntries(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	bool descendentOf(WeblogCategory)
pre	this.pojo != null
post	init'ed(return_value)

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

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