Messages

Last Msg First Msg

method	org.apache.roller.weblogger.webservices.xmlrpc. MetaWeblogAPIHandler__static_init
post	init'ed(mLogger)

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

method	void org.apache.roller.weblogger.webservices. xmlrpc.MetaWeblogAPIHandler()
unanalyzed	call on org.apache.roller.weblogger.webservices. xmlrpc.BaseAPIHandler

method	Object getCategories(String, String, String)
pre	mLogger != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
presumption	java.util.Iterator:next(...)@87 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogCategories(...)@85 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@84 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@81 != null
post	return_value == &new Hashtable(getCategories#3)
post	new Hashtable(getCategories#3) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.util.Hashtable
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on org.apache.commons.lang.StringUtils:replace
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
test_vector	java.util.Iterator:hasNext(...)@86: {0}, {1}

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

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogCategories(Weblog, bool)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

method	bool editPost(String, String, String, Hashtable, int)
pre	mLogger != null
pre	struct != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
post	return_value == 1
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on validate
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setTitle
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setText
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setStatus
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setCategory
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:saveWeblogEntry
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on flushPageCache
unanalyzed	call on java.lang.Thread:sleep
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate

method	bool editPost(String, String, String, Hashtable, bool)
pre	mLogger != null
pre	struct != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
presumption	cats.length@142 >= 1
presumption	java.lang.Boolean:valueOf(...)@156 != null
presumption	java.util.Hashtable:get(...)@142 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@128 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@127 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@126 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@130 != null
post	return_value == 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
test_vector	java.lang.Boolean:booleanValue(...)@156: {0}, {1}
test_vector	java.lang.String:equals(...)@153: {1}, {0}
test_vector	java.util.Hashtable:get(...)@134: Inverse{null}, Addr_Set{null}
test_vector	java.util.Hashtable:get(...)@137: Inverse{null}, Addr_Set{null}
test_vector	java.util.Hashtable:get(...)@141: 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 Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)

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.Weblog:getHandle()

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setTitle(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setText(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime(Timestamp)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setStatus(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime(Timestamp)

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because cat == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because cat == null

Prev Msg Next Msg

info method not available -- call on void org.apache.roller.weblogger. business.WeblogManager:saveWeblogEntry(WeblogEntry)

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()

method	String newPost(String, String, String, Hashtable, int)
pre	mLogger != null
pre	struct != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on validate
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setTitle
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setText
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setStatus
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setCategory
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:saveWeblogEntry
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on flushPageCache
unanalyzed	call on java.lang.Thread:sleep
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:truncateNicely
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDefaultCommentDays
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setCommentDays
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDefaultAllowComments
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setAllowComments
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDefaultPlugins
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setPlugins
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getBloggerCategory
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate

method	String newPost(String, String, String, Hashtable, bool)
pre	mLogger != null
pre	struct != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
presumption	cats.length@268 <= 2³²-1
presumption	java.lang.Boolean:valueOf(...)@258 != null
presumption	java.lang.Object:getClass(...)@270 != null
presumption	org.apache.commons.lang.StringUtils:isEmpty(... )@223 == 0
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@239 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@238 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@237 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
test_vector	cats.length@268: {0}, {1..2³²-1}
test_vector	java.lang.Boolean:booleanValue(...)@258: {0}, {1}
test_vector	java.util.Hashtable:get(...)@231: Inverse{null}, Addr_Set{null}
test_vector	java.util.Hashtable:get(...)@267: Addr_Set{null}, Inverse{null}
test_vector	java.util.Hashtable:get(...)@268: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@223: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@227: {0}, {1}
test_vector	org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath(...)@274: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getDefault Plugins(...)@254: 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 bool org.apache.commons.lang. StringUtils:isEmpty(String)

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

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:truncateNicely(String, int, int, String)

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

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setTitle(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setText(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getLocale()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setLocale(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime(Timestamp)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime(Timestamp)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setWebsite(Weblog)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCreator(User)

info method not available -- call on int org.apache.roller.weblogger.pojos. Weblog:getDefaultCommentDays()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCommentDays(Integer)

info method not available -- call on Boolean org.apache.roller.weblogger. pojos.Weblog:getDefaultAllowComments()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setAllowComments(Boolean)

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getDefaultPlugins()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getDefaultPlugins()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setPlugins(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setStatus(String)

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires not_init'ed(cats[0])

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

Prev Msg Next Msg

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategoryB yPath(Weblog, String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCategory(WeblogCategory)

info method not available -- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getBloggerCategory()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCategory(WeblogCategory)

info method not available -- call on void org.apache.roller.weblogger. business.WeblogManager:saveWeblogEntry(WeblogEntry)

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

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:getId()

method	Object getPost(String, String, String)
pre	mLogger != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@324 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@323 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@322 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@326 != null
post	return_value == &new Hashtable(createPostStruct #2)
post	new Hashtable(createPostStruct#2) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.util.Hashtable
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getLink
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:escapeHTML
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on java.util.Vector
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzed	call on java.util.Vector:addElement
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException

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

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)

method	Object newMediaObject(String, String, String, Hashtable)
pre	mLogger != null
pre	struct != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
presumption	bits.length@359 <= 2⁶⁴-1
presumption	java.util.Hashtable:get(...)@353 != null
presumption	java.util.Hashtable:get(...)@359 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@362 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@368 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@361 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@368 != null
post	return_value == &new Hashtable(newMediaObject#7 )
post	new Hashtable(newMediaObject#7) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException

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

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into msgs

info method not available -- call on void org.apache.roller.weblogger.util. RollerMessages()

Prev Msg Next Msg

info method not available -- call on void org.apache.roller.weblogger. business.FileManager:saveFile(Weblog, String, String, long, InputStream)

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 String org.apache.roller.weblogger. business.URLStrategy:getWeblogResourceURL(Weblog, String, bool)

method	Object getRecentPosts(String, String, String, int)
pre	mLogger != null
pre	(soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null
pre	(soft) password != null
presumption	java.util.Iterator:next(...)@424 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@408 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@406 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@405 != null
post	return_value == &new Vector(getRecentPosts#4)
post	new Vector(getRecentPosts#4) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.util.Hashtable
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getLink
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:escapeHTML
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on java.util.Vector
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzed	call on java.util.Vector:addElement
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.xmlrpc.XmlRpcException
test_vector	java.util.Iterator:hasNext(...)@423: {0}, {1}

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

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)

method	Hashtable createPostStruct(WeblogEntry, String)
pre	entry != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@461 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@457 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@458 != null
post	return_value == &new Hashtable(createPostStruct #2)
post	new Hashtable(createPostStruct#2) num objects == 1
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getLi nk(...)@445: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@449: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getPermaLink()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getTitle()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getLink()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getLink()

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:escapeHTML(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getText()

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:escapeHTML(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getId()

info method not available -- call on User org.apache.roller.weblogger.pojos. WeblogEntry:getCreator()

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getUserName()

info method not available -- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogEntry:getCategory()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

method	Hashtable createCategoryStruct(WeblogCategory, String)
pre	category != null
post	return_value == &new Hashtable(createCategorySt ruct#1)
post	new Hashtable(createCategoryStruct#1) num objects == 1

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

info method not available -- call on String org.apache.commons.lang. StringUtils:replace(String, String, String)

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into rssUrl

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

Prev Msg Next Msg

info method not available -- call on String org.apache.commons.lang. StringUtils:replace(String, String, String)

	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.Weblog:getHandle()

	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
	info	method not available	-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)

	info	method not available	-- call on int org.apache.roller.weblogger.pojos. Weblog:getDefaultCommentDays()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCommentDays(Integer)

	info	method not available	-- call on Boolean org.apache.roller.weblogger. pojos.Weblog:getDefaultAllowComments()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setAllowComments(Boolean)

	info	method not available	-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getBloggerCategory()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCategory(WeblogCategory)

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 String org.apache.roller.weblogger. business.URLStrategy:getWeblogResourceURL(Weblog, String, bool)