| method | RollerMessages send() |
| pre | this.entry != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@51 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@109 != null |
| post | return_value == &new RollerMessages(send#1) |
| post | new ArrayList(RollerMessages#1) num objects == 1 |
| post | new ArrayList(RollerMessages#2) num objects == 1 |
| post | new RollerMessages(send#1) num objects == 1 |
| post | new RollerMessages(send#1).mErrors == &new ArrayList(RollerMessages#1) |
| post | new RollerMessages(send#1).mMessages == &new ArrayList(RollerMessages#2) |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.jdom.input.SAXBuilder |
| unanalyzed | call on org.apache.commons.lang.StringEscapeUtils:u nescapeHtml |
| unanalyzed | call on java.io.StringReader |
| unanalyzed | call on org.jdom.input.SAXBuilder:build |
| unanalyzed | call on org.jdom.Document:getRootElement |
| unanalyzed | call on org.jdom.Element:getName |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on org.jdom.Element:getChildText |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages$RollerMessage |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.net.URLEncoder:encode |
| unanalyzed | call on java.util.Map:keySet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on org.apache.commons.lang.StringUtils:replace |
| test_vector | org.apache.commons.httpclient.HttpClient:executeMet hod(...)@129: {-231..199, 201..403, 405..232-1}, {200}, {404} |
| method | RollerMessages parseTrackbackResponse(String, RollerMessages) |
| pre | messages != null |
| pre | (soft) messages.mErrors != null |
| pre | (soft) messages.mMessages != null |
| presumption | org.jdom.Document:getRootElement(...)@179 != null |
| presumption | org.jdom.input.SAXBuilder:build(...)@177 != null |
| post | return_value == messages |
| post | return_value != null |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages$RollerMessage |
| unanalyzed | call on java.util.List:add |
| test_vector | java.lang.String:equals(...)@181: {0}, {1} |