## bloggerapihandler.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- Hashtable adaptBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | entry != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@324 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@332 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@322 != null | 2010-07-22 12:56:56
+ | post | new Hashtable(adaptBlogEntry#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Hashtable(adaptBlogEntry#1 ) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@323: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@326: {0}, {1} | 2010-07-22 12:56:56

- bool addCategory(String, String, String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | postid != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@454 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@451 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56
+ | test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@454: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- bool deletePost(String, String, String, String, bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | postid != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@298 != null | 2010-07-22 12:56:56
+ | post | return_value == 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56

- bool editPost(String, String, String, String, String, bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | content != null | 2010-07-22 12:56:56
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | postid != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@257 != null | 2010-07-22 12:56:56
+ | post | return_value == 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56

- Hashtable getPost(String, String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | postid != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@180 != null | 2010-07-22 12:56:56
+ | post | new Hashtable(adaptBlogEntry#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Hashtable(adaptBlogEntry#1 ) | 2010-07-22 12:56:56
+ | unanalyzed | call on formatPostId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Category:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56

- Vector getRecentPosts(String, String, String, String, int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@150 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.Blog:getRecentBlogEnt ries(...)@145 != null | 2010-07-22 12:56:56
+ | post | new Vector(getRecentPosts#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Vector(getRecentPosts#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on formatPostId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Category:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@149: {1}, {0} | 2010-07-22 12:56:56

- String getTemplate(String, String, String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- Hashtable getUserInfo(String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | post | new Hashtable(getUserInfo#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Hashtable(getUserInfo#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56

- Vector getUsersBlogs(String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) this.authenticationManager != null | 2010-07-22 12:56:56
+ | pre | log != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@106 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogManager:getBlogs( ...)@103 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@103 != null | 2010-07-22 12:56:56
+ | post | new Vector(getUsersBlogs#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Vector(getUsersBlogs#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@106: {1}, {0} | 2010-07-22 12:56:56

- void net.sourceforge.pebble.webservice.BloggerAPIHandler()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- net.sourceforge.pebble.webservice.BloggerAPIHandler__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(log) | 2010-07-22 12:56:56

- String newPost(String, String, String, String, String, bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | content != null | 2010-07-22 12:56:56
+ | pre | log != null | 2010-07-22 12:56:56
+ | pre | this.authenticationManager != null | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56
+ | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56

- void populateEntry(BlogEntry, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | content != null | 2010-07-22 12:56:56
+ | pre | entry != null | 2010-07-22 12:56:56
+ | presumption | categories.length@371 <= 232-1 | 2010-07-22 12:56:56
+ | presumption | categories[i]@371 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@373 != null | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@370: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:indexOf(...)@350: {-231. .-1}, {0..232-1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:indexOf(...)@358: {-231. .-1}, {0..232-1} | 2010-07-22 12:56:56
+ | test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@373: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- bool setTemplate(String, String, String, String, String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---