| method | int validate(WeblogEntryComment, RollerMessages) |
| pre | (soft) comment != null |
| pre | (soft) messages != null |
| pre | (soft) messages.mErrors != null |
| pre | (soft) org/apache/roller/weblogger/util/LinkbackExt ractor.mLogger != null |
| presumption | org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL(...)@53 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@53 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@53 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@53 != null |
| post | return_value in {0, 100} |
| unanalyzed | call on com.sun.syndication.io.SyndFeedInput |
| unanalyzed | call on java.net.URL |
| unanalyzed | call on java.net.URL:openStream |
| unanalyzed | call on java.io.InputStreamReader |
| unanalyzed | call on com.sun.syndication.io.SyndFeedInput:build |
| unanalyzed | call on com.sun.syndication.feed.synd. SyndFeed:getEntries |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on com.sun.syndication.feed.synd. SyndFeed:getTitle |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on com.sun.syndication.feed.synd. SyndEntry:getDescription |
| unanalyzed | call on com.sun.syndication.feed.synd. SyndContent:getValue |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on com.sun.syndication.feed.synd. SyndEntry:getLink |
| unanalyzed | call on java.lang.String:toString |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on com.sun.syndication.feed.synd. SyndEntry:getTitle |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit:getPars er |
| unanalyzed | call on java.io.BufferedReader |
| unanalyzed | call on java.io.BufferedReader:readLine |
| unanalyzed | call on java.io.BufferedReader:close |
| unanalyzed | call on java.io.StringReader |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit$ParserC allback |
| unanalyzed | call on java.util.Arrays:asList |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit$Parser: parse |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages$RollerMessage |
| unanalyzed | call on java.util.List:add |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@46: {1}, {0} |
|   |
info | method not available | -- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getUrl() |
|   |
info | method not available | -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger() |
|   |
info | method not available | -- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy() |
|   |
info | method not available | -- call on WeblogEntry org.apache.roller.weblogger. pojos.WeblogEntryComment:getWeblogEntry() |
|   |
info | method not available | -- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite() |
|   |
info | method not available | -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getAnchor() |
|   |
info | method not available | -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogEntryURL(Weblog, String, String, bool) |