AtomMediaResource.java

AtomMediaResource.java

current inspection = 2009-09-04 18:33:31 (id #2)

base = 2009-09-04 18:33:31 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

+ int getContentLength()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.contentLength)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.contentLength	2009-09-04 18:33:31

+ String getContentType()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.contentType)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.contentType	2009-09-04 18:33:31

+ InputStream getInputStream()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.inputStream)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.inputStream	2009-09-04 18:33:31

+ Date getLastModified()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.lastModified)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.lastModified	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.webservices.atomprotocol.AtomMediaResource(ThemeResource)

-/+	Kind	Annotation Text	Date
+	pre	resource != null	2009-09-04 18:33:31
+	presumption	javax.activation.FileTypeMap:getDefaultFileTypeMap( ...)@40 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.pojos.ThemeResource:get Length(...)@48 in -2³¹..2³²-1	2009-09-04 18:33:31
+	post	(soft) init'ed(this.contentLength)	2009-09-04 18:33:31
+	post	init'ed(this.contentType)	2009-09-04 18:33:31
+	post	init'ed(this.inputStream)	2009-09-04 18:33:31
+	post	new Date(AtomMediaResource#1) num objects == 1	2009-09-04 18:33:31
+	post	this.lastModified == &new Date(AtomMediaResourc e#1)	2009-09-04 18:33:31

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

-/+	Kind	Annotation Text	Date

+ void setContentLength(int)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.contentLength)	2009-09-04 18:33:31
+	post	this.contentLength == contentLength	2009-09-04 18:33:31

+ void setContentType(String)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.contentType)	2009-09-04 18:33:31
+	post	this.contentType == contentType	2009-09-04 18:33:31

+ void setInputStream(InputStream)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.inputStream)	2009-09-04 18:33:31
+	post	this.inputStream == inputStream	2009-09-04 18:33:31

+ void setLastModified(Date)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.lastModified)	2009-09-04 18:33:31
+	post	this.lastModified == lastModified	2009-09-04 18:33:31