Messages

method

org.apache.roller.weblogger.webservices. atomprotocol.AtomMediaResource__static_init

method	void org.apache.roller.weblogger.webservices. atomprotocol.AtomMediaResource(ThemeResource)
pre	resource != null
presumption	javax.activation.FileTypeMap:getDefaultFileTypeMap( ...)@40 != null
presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Length(...)@48 in -2³¹..2³²-1
post	(soft) init'ed(this.contentLength)
post	init'ed(this.contentType)
post	init'ed(this.inputStream)
post	this.lastModified == &new Date(AtomMediaResourc e#1)
post	new Date(AtomMediaResource#1) num objects == 1

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

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

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

info method not available -- call on InputStream org.apache.roller.weblogger. pojos.ThemeResource:getInputStream()

method	String getContentType()
pre	init'ed(this.contentType)
post	return_value == this.contentType
post	init'ed(return_value)

method	void setContentType(String)
post	this.contentType == contentType
post	init'ed(this.contentType)

method	int getContentLength()
pre	init'ed(this.contentLength)
post	return_value == this.contentLength
post	init'ed(return_value)

method	void setContentLength(int)
post	this.contentLength == contentLength
post	init'ed(this.contentLength)

method	InputStream getInputStream()
pre	init'ed(this.inputStream)
post	return_value == this.inputStream
post	init'ed(return_value)

method	void setInputStream(InputStream)
post	this.inputStream == inputStream
post	init'ed(this.inputStream)

method	Date getLastModified()
pre	init'ed(this.lastModified)
post	return_value == this.lastModified
post	init'ed(return_value)

method	void setLastModified(Date)
post	this.lastModified == lastModified
post	init'ed(this.lastModified)