| method | String save() |
| pre | this.bean != null |
| pre | init'ed(this.bean.name) |
| pre | init'ed(this.bean.pingUrl) |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/admin /CommonPingTargetAdd.log != null |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/edito r/CustomPingTargetAdd.log != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@63 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@63 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@65 != null |
| post | return_value in Addr_Set{&"success", &"input"} |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getPingTargetManager |
| unanalyzed | call on org.apache.roller.weblogger.business.pings. PingTargetManager:isNameUnique |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. common.PingTargetAddBase:addError |
| unanalyzed | call on org.apache.roller.weblogger.business.pings. PingTargetManager:isUrlWellFormed |
| unanalyzed | call on org.apache.roller.weblogger.business.pings. PingTargetManager:isHostnameKnown |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getLogger |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on getBean |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. editor.CustomPingTargetAdd:getActionWeblog |
| unanalyzed | call on org.apache.roller.weblogger.pojos. PingTarget |
| test_vector | org.apache.roller.weblogger.ui.struts2.common. PingTargetAddBase:hasActionErrors(...)@61: {1}, {0} |
| method | void myValidate(PingTarget) |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/admin /CommonPingTargetAdd.log != null |
| pre | (soft) org/apache/roller/weblogger/ui/struts2/edito r/CustomPingTargetAdd.log != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@87 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null |
| test_vector | org.apache.roller.weblogger.business.pings. PingTargetManager:isHostnameKnown(...)@94: {1}, {0} |
| test_vector | org.apache.roller.weblogger.business.pings. PingTargetManager:isNameUnique(...)@88: {1}, {0} |
| test_vector | org.apache.roller.weblogger.business.pings. PingTargetManager:isUrlWellFormed(...)@92: {1}, {0} |