Messages

method

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

method	net.sourceforge.pebble.webservice.SearchAPIHandler __static_init
post	init'ed(log)

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

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

method	Vector search(String, String, String, String, String)
pre	log != null
presumption	java.util.Iterator:next(...)@80 != null
presumption	net.sourceforge.pebble.domain.Blog:getSearchIndex(. ..)@69 != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@81 != null
presumption	net.sourceforge.pebble.index.SearchIndex:search(... )@69 != null
presumption	net.sourceforge.pebble.search.SearchResults:getHits (...)@77 != null
post	return_value == &new Vector(search#2)
post	new Vector(search#2) num objects == 1
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
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 java.util.Hashtable:put
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getAuthor
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getId
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
test_vector	sortBy: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@71: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@80: {1}, {0}

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

info method not available -- call on SearchResults net.sourceforge.pebble. index.SearchIndex:search(String)

info method not available -- call on void net.sourceforge.pebble.search. SearchResults:sortByDateDescending()

info method not available -- call on void net.sourceforge.pebble.search. SearchResults:sortByScoreDescending()

info method not available -- call on List net.sourceforge.pebble.search. SearchResults:getHits()

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

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

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

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

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

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

method	Vector search(String, String, String, String, String, int, int)
pre	log != null
presumption	java.util.Iterator:next(...)@132 != null
presumption	net.sourceforge.pebble.domain.Blog:getSearchIndex(. ..)@113 != null
presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@133 != null
presumption	net.sourceforge.pebble.index.SearchIndex:search(... )@113 != null
presumption	net.sourceforge.pebble.util.Pageable:getListForPage (...)@128 != null
post	return_value == &new Vector(search#2)
post	new Vector(search#2) num objects == 1
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
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 java.util.Hashtable:put
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getAuthor
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getId
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
test_vector	pageSize: {1..2³²-1}, {-2³¹..0}
test_vector	sortBy: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@115: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@132: {1}, {0}

info method not available -- call on void net.sourceforge.pebble.search. SearchResults:sortByDateDescending()

info method not available -- call on void net.sourceforge.pebble.search. SearchResults:sortByScoreDescending()

info method not available -- call on List net.sourceforge.pebble.search. SearchResults:getHits()

info method not available -- call on void net.sourceforge.pebble.util. Pageable(List)

info method not available -- call on void net.sourceforge.pebble.util. Pageable:setPageSize(int)

info method not available -- call on void net.sourceforge.pebble.util. Pageable:setPage(int)

info method not available -- call on List net.sourceforge.pebble.util. Pageable:getListForPage()

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

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

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

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	Map searchResultSummary(List, String, String, int, int)
pre	result != null
post	return_value == &new Hashtable(searchResultSumm ary#1)
post	new Hashtable(searchResultSummary#1) num objects == 1

	info	method not available	-- call on SearchIndex net.sourceforge.pebble. domain.Blog:getSearchIndex()
	info	method not available	-- call on SearchResults net.sourceforge.pebble. index.SearchIndex:search(String)

info	method not available	-- call on Blog net.sourceforge.pebble.search. SearchHit:getBlog()
info	method not available	-- call on String net.sourceforge.pebble.search. SearchHit:getId()
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 String net.sourceforge.pebble.domain. Blog:getId()
info	method not available	-- call on String net.sourceforge.pebble.domain. BlogEntry:getId()