SyncWebsitesTask.java

SyncWebsitesTask.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 getClientId()

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

+ int getInterval()

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

+ int getLeaseTime()

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

+ String getName()

-/+	Kind	Annotation Text	Date
+	post	return_value == &"SyncWebsitesTask"	2009-09-04 18:33:31

+ Date getStartTime(Date)

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

+ String getStartTimeDesc()

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

+ void init()

-/+	Kind	Annotation Text	Date
+	pre	(soft) log != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.planet.tasks. SyncWebsitesTask:getTaskProperties(...)@97 != null	2009-09-04 18:33:31
+	post	possibly_updated(this.clientId)	2009-09-04 18:33:31
+	post	possibly_updated(this.interval)	2009-09-04 18:33:31
+	post	possibly_updated(this.leaseTime)	2009-09-04 18:33:31
+	post	possibly_updated(this.startTimeDesc)	2009-09-04 18:33:31
+	test_vector	java.util.Properties:getProperty(...)@100: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	java.util.Properties:getProperty(...)@106: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	java.util.Properties:getProperty(...)@112: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	java.util.Properties:getProperty(...)@122: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31

+ void main(String[])

-/+	Kind	Annotation Text	Date
+	pre	(soft) log != null	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Integer:parseInt	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Throwable:__curr_excep_obj	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Properties:getProperty	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:warn	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. runnable.RollerTaskWithLeasing	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.planet.tasks. SyncWebsitesTask:getTaskProperties	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.planet.tasks.SyncWebsitesTask()

-/+	Kind	Annotation Text	Date
+	post	this.clientId == &"unspecifiedClientId"	2009-09-04 18:33:31
+	post	this.interval == 1_440	2009-09-04 18:33:31
+	post	this.leaseTime == 30	2009-09-04 18:33:31
+	post	this.startTimeDesc == &"startOfDay"	2009-09-04 18:33:31

+ org.apache.roller.weblogger.planet.tasks.SyncWebsitesTask__static_init

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

+ void runTask()

-/+	Kind	Annotation Text	Date
+	pre	log != null	2009-09-04 18:33:31
+	presumption	init'ed(java.lang.Boolean.TRUE)	2009-09-04 18:33:31
+	presumption	java.util.Iterator:next(...)@158 != null	2009-09-04 18:33:31
+	presumption	java.util.Iterator:next(...)@197 != null	2009-09-04 18:33:31
+	presumption	java.util.Iterator:next(...)@212 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@141 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@141 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@191 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@221 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@228 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@179 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@196 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@216 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.planet.pojos.Subscription:getFeed URL(...)@202 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. UserManager:getWebsites(...)@157 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@174 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@142 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@142 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@174 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@227 != null	2009-09-04 18:33:31
+	test_vector	java.lang.String:startsWith(...)@202: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@158: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@197: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@212: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.util.List:contains(...)@202: {1}, {0}	2009-09-04 18:33:31
+	test_vector	org.apache.roller.planet.business.PlanetManager:get Group(...)@146: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31
+	test_vector	org.apache.roller.planet.business.PlanetManager:get Subscription(...)@167: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31