ThemeTemplateWrapper.java

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

+ String getContents()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.pojo.contents)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	(soft) init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getDescription()

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

+ String getId()

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

+ Date getLastModified()

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

+ String getLink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.pojo.link)	2009-09-04 18:33:31
+	pre	this.pojo != null	2009-09-04 18:33:31
+	post	(soft) init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ String getName()

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

+ bool isHidden()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.pojo.hidden)	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 org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ bool isNavbar()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.pojo.navbar)	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 org.apache.openjpa.enhance.StateManager:acc essingField	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)

-/+	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.ThemeTemplateWrapper__static_init

-/+	Kind	Annotation Text	Date

+ ThemeTemplateWrapper wrap(ThemeTemplate)

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