UserWrapper.java

UserWrapper.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

+ Date getDateCreated()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-2	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.dateCreated)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Date:clone	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getEmailAddress()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-3	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.emailAddress)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.emailAddress	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getFullName()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-5	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.fullName)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.fullName	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getLocale()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-7	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.locale)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.locale	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getScreenName()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-11	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.screenName)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.screenName	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getTimeZone()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-12	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.timeZone)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.timeZone	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getUserName()

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 2³²-11	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.pcStateManager)	2009-09-04 18:33:31
+	pre	init'ed(this.pojo.screenName)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.pojo.screenName	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.pojos.wrapper.UserWrapper(User)

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

+ org.apache.roller.weblogger.pojos.wrapper.UserWrapper__static_init

-/+	Kind	Annotation Text	Date

+ UserWrapper wrap(User)

-/+	Kind	Annotation Text	Date
+	post	new UserWrapper(wrap#1) num objects <= 1	2009-09-04 18:33:31
+	post	new UserWrapper(wrap#1).pojo != null	2009-09-04 18:33:31
+	post	new UserWrapper(wrap#1).pojo == toWrap	2009-09-04 18:33:31
+	post	return_value == One-of{&new UserWrapper(wrap#1) , null}	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&new UserWrapper(wrap#1)}	2009-09-04 18:33:31
+	test_vector	toWrap: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31