Messages

Last Msg First Msg

method	net.sourceforge.pebble.webservice.BloggerAPIHandle r__static_init
post	init'ed(log)

method

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

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	Hashtable getUserInfo(String, String, String)
pre	log != null
pre	this.authenticationManager != null
post	return_value == &new Hashtable(getUserInfo#2)
post	new Hashtable(getUserInfo#2) num objects == 1
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

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	Vector getUsersBlogs(String, String, String)
pre	log != null
pre	(soft) this.authenticationManager != null
presumption	java.util.Iterator:next(...)@106 != null
presumption	net.sourceforge.pebble.domain.BlogManager:getBlogs( ...)@103 != null
presumption	net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@103 != null
post	return_value == &new Vector(getUsersBlogs#2)
post	new Vector(getUsersBlogs#2) num objects == 1
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(...)@106: {1}, {0}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()

info method not available -- call on Collection net.sourceforge.pebble. domain.BlogManager:getBlogs()

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getUrl()

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getId()

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getName()

method	Vector getRecentPosts(String, String, String, String, int)
pre	log != null
pre	this.authenticationManager != null
presumption	java.util.Iterator:next(...)@150 != null
presumption	net.sourceforge.pebble.domain.Blog:getRecentBlogEnt ries(...)@145 != null
post	return_value == &new Vector(getRecentPosts#2)
post	new Vector(getRecentPosts#2) num objects == 1
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getId
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getCategories
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on net.sourceforge.pebble.domain. Category:getId
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 formatPostId
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBody
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(...)@149: {1}, {0}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on List net.sourceforge.pebble.domain. Blog:getRecentBlogEntries(int)

method	Hashtable getPost(String, String, String, String)
pre	log != null
pre	postid != null
pre	this.authenticationManager != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@180 != null
post	return_value == &new Hashtable(adaptBlogEntry#1 )
post	new Hashtable(adaptBlogEntry#1) num objects == 1
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getId
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getCategories
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on net.sourceforge.pebble.domain. Category:getId
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 formatPostId
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBody
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:substring
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

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

method	String newPost(String, String, String, String, String, bool)
pre	content != null
pre	log != null
pre	this.authenticationManager != null
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addCategory
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
unanalyzed	call on java.lang.String:valueOf

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry(Blog)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:setPublished(bool)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getId()

method	bool editPost(String, String, String, String, String, bool)
pre	content != null
pre	log != null
pre	postid != null
pre	this.authenticationManager != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@257 != null
post	return_value == 1
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:addCategory
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on java.lang.String:lastIndexOf
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

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:setPublished(bool)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

method	bool deletePost(String, String, String, String, bool)
pre	log != null
pre	postid != null
pre	this.authenticationManager != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@298 != null
post	return_value == 1
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:substring
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

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService:removeBlogEntry(BlogEntry)

method	Hashtable adaptBlogEntry(BlogEntry)
pre	entry != null
presumption	java.util.Iterator:next(...)@324 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@332 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@322 != null
post	return_value == &new Hashtable(adaptBlogEntry#1 )
post	new Hashtable(adaptBlogEntry#1) num objects == 1
unanalyzed	call on java.lang.String:valueOf
test_vector	java.util.Iterator:hasNext(...)@323: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@326: {0}, {1}

info method not available -- call on Set net.sourceforge.pebble.domain. BlogEntry:getCategories()

info method not available -- call on String net.sourceforge.pebble.domain. Category:getId()

info method not available -- call on Date net.sourceforge.pebble.domain. BlogEntry:getDate()

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getAuthor()

info method not available -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getId()

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getId()

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getBody()

method	void populateEntry(BlogEntry, String, String)
pre	content != null
pre	entry != null
presumption	categories.length@371 <= 2³²-1
presumption	categories[i]@371 != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@373 != null
test_vector	java.lang.String:equals(...)@370: {1}, {0}
test_vector	java.lang.String:indexOf(...)@350: {-2³¹. .-1}, {0..2³²-1}
test_vector	java.lang.String:indexOf(...)@358: {-2³¹. .-1}, {0..2³²-1}
test_vector	net.sourceforge.pebble.domain.Blog:getCategory(... )@373: Addr_Set{null}, Inverse{null}

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:setTitle(String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:setAuthor(String)

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because category != null

Prev Msg Next Msg

info method not available -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()

info method not available -- call on Category net.sourceforge.pebble.domain. Blog:getCategory(String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:addCategory(Category)

method

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

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires log != null

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

Prev Msg Next Msg

info method not available -- call on void org.apache.xmlrpc.XmlRpcException(i nt, String)

method

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

info method not available -- call on void org.apache.xmlrpc.XmlRpcException(i nt, String)

method	bool addCategory(String, String, String, String, String)
pre	log != null
pre	postid != null
pre	this.authenticationManager != null
presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@454 != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@451 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:substring
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	net.sourceforge.pebble.domain.Blog:getCategory(... )@454: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService()

info method not available -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

info method not available -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()

info method not available -- call on Category net.sourceforge.pebble.domain. Blog:getCategory(String)

info method not available -- call on void net.sourceforge.pebble.domain. BlogEntry:addCategory(Category)

info method not available -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

	info	method not available	-- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
	info	method not available	-- call on Collection net.sourceforge.pebble. domain.BlogManager:getBlogs()

info	method not available	-- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
info	method not available	-- call on String net.sourceforge.pebble.domain. Blog:getId()
info	method not available	-- call on String net.sourceforge.pebble.domain. BlogEntry:getId()