| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | this.commonPingTargets != null | 2009-09-04 18:33:31 |
| + | pre | this.customPingTargets != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Collections.EMPTY_LIST != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@226 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@233 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@241 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@212 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@212 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite(...)@219 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.AutoPing:getPingT arget(...)@227 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.struts2.editor. Pings:getActionWeblog(...)@221 != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(buildIsEnabledMap#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@225: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@232: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@240: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@234: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@242: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:size(...)@247: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pingTargetId) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pingTarget) | 2009-09-04 18:33:31 |
| + | pre | this.commonPingTargets != null | 2009-09-04 18:33:31 |
| + | pre | this.customPingTargets != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@146 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@148 != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(buildIsEnabledMap#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on buildIsEnabledMap | 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.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. PingTarget:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog | 2009-09-04 18:33:31 |
| + | test_vector | this.pingTarget: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pingTargetId) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pingTarget) | 2009-09-04 18:33:31 |
| + | pre | this.commonPingTargets != null | 2009-09-04 18:33:31 |
| + | pre | this.customPingTargets != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@126 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@126 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@129 != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(buildIsEnabledMap#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on buildIsEnabledMap | 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.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. PingTarget:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog | 2009-09-04 18:33:31 |
| + | test_vector | this.pingTarget: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | this.commonPingTargets != null | 2009-09-04 18:33:31 |
| + | pre | this.customPingTargets != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(buildIsEnabledMap#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)} | 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.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. PingTarget:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pingTargetId) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@82 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@82 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.struts2.editor. Pings:getActionWeblog(...)@101 != null | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.commonPingTargets) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.customPingTargets) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.pingTarget) | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.PingConfig:getDi sallowCustomTargets(...)@96: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.pingTargetId: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(java.util.Collections.EMPTY_LIST) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.util.Collections.EMPTY_MAP) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.commonPingTargets) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.pingStatus) | 2009-09-04 18:33:31 |
| + | post | this.actionName == &"pings" | 2009-09-04 18:33:31 |
| + | post | this.commonPingTargets == java.util.Collections. EMPTY_LIST | 2009-09-04 18:33:31 |
| + | post | this.customPingTargets == this.commonPingTargets | 2009-09-04 18:33:31 |
| + | post | this.desiredMenu == &"editor" | 2009-09-04 18:33:31 |
| + | post | this.pageTitle == &"pings.title" | 2009-09-04 18:33:31 |
| + | post | this.pingStatus == java.util.Collections.EMPTY_MAP | 2009-09-04 18:33:31 |
| + | post | this.pingTarget == null | 2009-09-04 18:33:31 |
| + | post | this.pingTargetId == null | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pingTarget) | 2009-09-04 18:33:31 |
| + | pre | this.commonPingTargets != null | 2009-09-04 18:33:31 |
| + | pre | this.customPingTargets != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.pings. WeblogUpdatePinger:sendPing(...)@169 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.pings. WeblogUpdatePinger_PingResult:getMessage(...)@172 != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(buildIsEnabledMap#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &"list" | 2009-09-04 18:33:31 |
| + | post | this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on buildIsEnabledMap | 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.net.SocketException:instanceof | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.UnknownHostException:instanceof | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. PingTarget:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Pings:addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@172: {0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business.pings. WeblogUpdatePinger_PingResult:getMessage(...)@172: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business.pings. WeblogUpdatePinger_PingResult:isError(...)@170: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.PingConfig:getSu spendPingProcessing(...)@165: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.pingTarget: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |