| method | Vector getRecentBlogEntries(String, String, String, int) |
| pre | log != null |
| pre | this.authenticationManager != null |
| presumption | java.util.Iterator:next(...)@99 != null |
| presumption | net.sourceforge.pebble.domain.Blog:getRecentPublish edBlogEntries(...)@95 != null |
| post | return_value == &new Vector(getRecentBlogEntrie s#2) |
| post | new Vector(getRecentBlogEntries#2) num objects == 1 |
| unanalyzed | call on net.sourceforge.pebble.api.decorator. ContentDecoratorContext |
| unanalyzed | call on net.sourceforge.pebble.api.decorator. ContentDecoratorContext:setView |
| unanalyzed | call on net.sourceforge.pebble.api.decorator. ContentDecoratorContext:setMedia |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getContentDecoratorChain |
| unanalyzed | call on net.sourceforge.pebble.decorator. ContentDecoratorChain:decorate |
| unanalyzed | call on java.util.Hashtable |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle |
| unanalyzed | call on java.util.Hashtable:put |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getSubtitle |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getExcerpt |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId |
| unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId |
| unanalyzed | call on formatPostId |
| unanalyzed | call on java.util.Vector |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on net.sourceforge.pebble.domain. Category:getId |
| unanalyzed | call on java.util.Vector:add |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTagsAsList |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAttachment |
| unanalyzed | call on net.sourceforge.pebble.domain. Attachment:getUrl |
| unanalyzed | call on net.sourceforge.pebble.domain. Attachment:getSize |
| unanalyzed | call on java.lang.Long:valueOf |
| unanalyzed | call on net.sourceforge.pebble.domain. Attachment:getType |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on org.apache.xmlrpc.XmlRpcException |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog |
| unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken |
| unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate |
| unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext |
| unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication |
| unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor |
| test_vector | java.util.Iterator:hasNext(...)@98: {1}, {0} |
| method | Hashtable adaptBlogEntry(BlogEntry) |
| pre | entry != null |
| presumption | java.util.Iterator:next(...)@133 != null |
| presumption | java.util.Iterator:next(...)@141 != null |
| presumption | net.sourceforge.pebble.domain.Blog:getContentDecora torChain(...)@117 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getAttachme nt(...)@148 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getAttachme nt(...)@149 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getAttachme nt(...)@150 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@117 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@128 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@131 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getTagsAsLi st(...)@139 != null |
| post | return_value == &new Hashtable(adaptBlogEntry#2 ) |
| post | new Hashtable(adaptBlogEntry#2) num objects == 1 |
| unanalyzed | call on java.lang.String:valueOf |
| test_vector | java.util.Iterator:hasNext(...)@132: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@140: {1}, {0} |
| test_vector | net.sourceforge.pebble.domain.BlogEntry:getAttachme nt(...)@146: Addr_Set{null}, Inverse{null} |