method void org.apache.roller.weblogger.planet.tasks. SyncWebsitesTask()
postthis.clientId == &"unspecifiedClientId"
postthis.interval == 1_440
postthis.leaseTime == 30
postthis.startTimeDesc == &"startOfDay"









  infomethod not available-- call on void org.apache.roller.weblogger. business.runnable.RollerTaskWithLeasing()











method org.apache.roller.weblogger.planet.tasks. SyncWebsitesTask__static_init
postinit'ed(log)









  infomethod not available-- call on Log org.apache.commons.logging. LogFactory:getLog(Class)











method String getName()
postreturn_value == &"SyncWebsitesTask"










method String getClientId()
preinit'ed(this.clientId)
postreturn_value == this.clientId
postinit'ed(return_value)










method Date getStartTime(Date)
preinit'ed(this.startTimeDesc)
postinit'ed(return_value)









  infomethod not available-- call on Date org.apache.roller.weblogger.planet. tasks.SyncWebsitesTask:getAdjustedTime(Date, String)











method String getStartTimeDesc()
preinit'ed(this.startTimeDesc)
postreturn_value == this.startTimeDesc
postinit'ed(return_value)










method int getInterval()
preinit'ed(this.interval)
postreturn_value == this.interval
postinit'ed(return_value)










method int getLeaseTime()
preinit'ed(this.leaseTime)
postreturn_value == this.leaseTime
postinit'ed(return_value)










method void init()
pre(soft) log != null
presumptionorg.apache.roller.weblogger.planet.tasks. SyncWebsitesTask:getTaskProperties(...)@97 != null
postpossibly_updated(this.clientId)
postpossibly_updated(this.interval)
postpossibly_updated(this.leaseTime)
postpossibly_updated(this.startTimeDesc)
test_vectorjava.util.Properties:getProperty(...)@100: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Properties:getProperty(...)@106: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Properties:getProperty(...)@112: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Properties:getProperty(...)@122: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Properties org.apache.roller.weblogger. planet.tasks.SyncWebsitesTask:getTaskProperties()










  infomethod not available-- call on void org.apache.commons.logging. Log:warn(Object)










  infomethod not available-- call on void org.apache.commons.logging. Log:warn(Object)











method void runTask()
prelog != null
presumptioninit'ed(java.lang.Boolean.TRUE)
presumptionjava.util.Iterator:next(...)@158 != null
presumptionjava.util.Iterator:next(...)@197 != null
presumptionjava.util.Iterator:next(...)@212 != null
presumptionorg.apache.roller.planet.business.Planet:getPlanetM anager(...)@141 != null
presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@141 != null
presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@191 != null
presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@221 != null
presumptionorg.apache.roller.planet.business.PlanetFactory:get Planet(...)@228 != null
presumptionorg.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@179 != null
presumptionorg.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@196 != null
presumptionorg.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@216 != null
presumptionorg.apache.roller.planet.pojos.Subscription:getFeed URL(...)@202 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsites(...)@157 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@174 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@142 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@142 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@174 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@227 != null
test_vectorjava.lang.String:startsWith(...)@202: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@158: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@197: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@212: {0}, {1}
test_vectorjava.util.List:contains(...)@202: {1}, {0}
test_vectororg.apache.roller.planet.business.PlanetManager:get Group(...)@146: Inverse{null}, Addr_Set{null}
test_vectororg.apache.roller.planet.business.PlanetManager:get Subscription(...)@167: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on void org.apache.commons.logging. Log:info(Object)










  infomethod not available-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
  infomethod not available-- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()










  infomethod not available-- call on Planet org.apache.roller.planet. business.PlanetManager:getPlanetById(String)










  infomethod not available-- call on PlanetGroup org.apache.roller.planet. business.PlanetManager:getGroup(Planet, String)










  infomethod not available-- call on void org.apache.roller.planet.pojos. PlanetGroup()










  infomethod not available-- call on void org.apache.roller.planet.pojos. PlanetGroup:setPlanet(Planet)










  infomethod not available-- call on void org.apache.roller.planet.pojos. PlanetGroup:setHandle(String)










  infomethod not available-- call on void org.apache.roller.planet.pojos. PlanetGroup:setTitle(String)










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetManager:saveGroup(PlanetGroup)










  infomethod not available-- call on List org.apache.roller.weblogger. business.UserManager:getWebsites(User, Boolean, Boolean, Date, Date, int, int)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()










  infomethod not available-- call on Subscription org.apache.roller.planet. business.PlanetManager:getSubscription(String)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setTitle(String)










  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setFeedURL(String)










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogURL(Weblog, String, bool)
  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setSiteURL(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setAuthor(String)










  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setLastUpdated(Date)










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetManager:saveSubscription(Subscription)










  infomethod not available-- call on Set org.apache.roller.planet.pojos. PlanetGroup:getSubscriptions()










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetManager:saveGroup(PlanetGroup)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setTitle(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void org.apache.roller.planet.pojos. Subscription:setAuthor(String)










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetManager:saveSubscription(Subscription)










  infomethod not available-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
  infomethod not available-- call on void org.apache.roller.planet.business. Planet:flush()










  infomethod not available-- call on Set org.apache.roller.planet.pojos. PlanetGroup:getSubscriptions()










  infomethod not available-- call on String org.apache.roller.planet.pojos. Subscription:getFeedURL()










  infomethod not available-- call on String org.apache.roller.planet.pojos. Subscription:getFeedURL()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetManager:deleteSubscription(Subscription)










  infomethod not available-- call on Set org.apache.roller.planet.pojos. PlanetGroup:getSubscriptions()










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetManager:saveGroup(PlanetGroup)










  infomethod not available-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
  infomethod not available-- call on void org.apache.roller.planet.business. Planet:flush()










  infomethod not available-- call on void org.apache.commons.logging. Log:error(Object, Throwable)










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on void org.apache.roller.weblogger. business.Weblogger:release()










  infomethod not available-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
  infomethod not available-- call on void org.apache.roller.planet.business. Planet:release()











method void main(String[])
pre(soft) log != null
unanalyzedcall on org.apache.roller.weblogger.business. runnable.RollerTaskWithLeasing
unanalyzedcall on org.apache.roller.weblogger.planet.tasks. SyncWebsitesTask:getTaskProperties
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:warn









  infomethod not available-- call on void org.apache.roller.planet.business. startup.PlanetStartup:prepare()










  infomethod not available-- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)










  infomethod not available-- call on void org.apache.roller.planet.business. GuicePlanetProvider(String)










  infomethod not available-- call on void org.apache.roller.planet.business. PlanetFactory:bootstrap(PlanetProvider)










  infomethod not available-- call on void org.apache.roller.weblogger.planet. tasks.SyncWebsitesTask:run()