Messages

method

org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkWrapper__static_init

method	void org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkWrapper(WeblogBookmark)
post	this.pojo == toWrap
post	init'ed(this.pojo)

method	WeblogBookmarkWrapper wrap(WeblogBookmark)
post	return_value == One-of{&new WeblogBookmarkWrapp er(wrap#1), null}
post	return_value in Addr_Set{null,&new WeblogBookmarkWrapper(wrap#1)}
post	new WeblogBookmarkWrapper(wrap#1) num objects <= 1
post	new WeblogBookmarkWrapper(wrap#1).pojo == toWrap
post	new WeblogBookmarkWrapper(wrap#1).pojo != null
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.WeblogBookmark:getId()

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.pojos.WeblogBookmark:getFolder()

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

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