Messages

method

org.apache.roller.weblogger.pojos.wrapper. WeblogEntryTagWrapper__static_init

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

method	WeblogEntryTagWrapper wrap(WeblogEntryTag)
post	return_value == One-of{&new WeblogEntryTagWrapp er(wrap#1), null}
post	return_value in Addr_Set{null,&new WeblogEntryTagWrapper(wrap#1)}
post	new WeblogEntryTagWrapper(wrap#1) num objects <= 1
post	new WeblogEntryTagWrapper(wrap#1).pojo == toWrap
post	new WeblogEntryTagWrapper(wrap#1).pojo != null
test_vector	toWrap: Addr_Set{null}, Inverse{null}

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

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

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

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

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

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

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

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