| method | int validate(WeblogEntryComment, RollerMessages) |
| pre | comment != null |
| pre | (soft) log != null |
| pre | (soft) messages != null |
| pre | (soft) messages.mErrors != null |
| pre | (soft) init'ed(this.apikey) |
| presumption | java.net.URL:openConnection(...)@72 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@58 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@58 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@75 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@58 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@63 != null |
| post | return_value in {0, 100} |
| unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages$RollerMessage |
| unanalyzed | call on java.util.List:add |
| test_vector | java.lang.String:equals(...)@86: {0}, {1} |