Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.jpa. JPAUserManagerImpl__static_init
post	init'ed(log)
post	init'ed(statCountCountReverseComparator)

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

info method not available -- call on StatCountCountComparator org.apache.roller.weblogger.pojos.StatCountCountCo mparator:getInstance()

method	void org.apache.roller.weblogger.business.jpa. JPAUserManagerImpl(Weblogger, JPAPersistenceStrateg y)
pre	log != null
post	this.roller == roller
post	init'ed(this.roller)
post	this.strategy == strat
post	init'ed(this.strategy)
post	this.userNameToIdMap == &new Hashtable(JPAUserM anagerImpl#2)
post	this.weblogHandleToIdMap == &new Hashtable(JPAUserManagerImpl#1)
post	new Hashtable(JPAUserManagerImpl#1) num objects == 1
post	new Hashtable(JPAUserManagerImpl#2) num objects == 1

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

method	void saveWebsite(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist

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

method	void removeWebsite(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.weblogHandleToIdMap != null
pre	weblog != null
pre	(soft) this.strategy.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove

info call too complex - analysis skipped -- call on void removeWebsiteContents(Weblog)

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

method	void removeWebsiteContents(Weblog)
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null
pre	org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null
pre	this.roller != null
pre	this.roller.autoPingManager != null
pre	this.roller.autoPingManager.strategy != null
pre	this.roller.autoPingManager.strategy. threadLocalEntityManager != null
pre	this.roller.bookmarkManager != null
pre	this.roller.bookmarkManager.strategy != null
pre	this.roller.bookmarkManager.strategy. threadLocalEntityManager != null
pre	this.roller.pingTargetManager != null
pre	this.roller.pingTargetManager.strategy != null
pre	this.roller.pingTargetManager.strategy. threadLocalEntityManager != null
pre	this.roller.weblogManager != null
pre	this.roller.weblogManager.strategy != null
pre	this.roller.weblogManager.strategy.threadLocalEntit yManager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.roller...userManager != null
pre	(soft) this.roller...userManager.strategy != null
pre	(soft) this.roller...userManager.strategy. threadLocalEntityManager != null
pre	(soft) this.roller.weblogManager.roller != null
pre	(soft) this.strategy.emf != null
presumption	autoPingMgr.strategy.emf@139 != null
presumption	bmgr.strategy.emf@174 != null
presumption	getWeblogManager(...)@109.roller.userManager != wmgr.roller.userManager
presumption	getWeblogManager(...)@109.roller.userManager. strategy != wmgr.roller.userManager.strategy
presumption	getWeblogger(...).fileManager != null
presumption	getWeblogger(...)@226 init'ed
presumption	java.util.Iterator:next(...)@195 != null
presumption	java.util.Iterator:next(...)@208 != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
presumption	javax.persistence.Query:getResultList(...)@110 != null
presumption	javax.persistence.Query:getResultList(...)@114 != null
presumption	javax.persistence.Query:getResultList(...)@141 != null
presumption	javax.persistence.Query:getResultList(...)@167 != null
presumption	javax.persistence.Query:getResultList(...)@176 != null
presumption	javax.persistence.Query:getResultList(...)@185 != null
presumption	javax.persistence.Query:getResultList(...)@193 != null
presumption	org.apache.roller.weblogger.pojos.User:getPermissio ns(...)@215 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getPermiss ions(...)@207 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getUser(...)@214 != null
presumption	pingTargetMgr.strategy.emf@150 != null
presumption	this.roller.weblogManager.roller != getWeblogManager(...)@109.roller
presumption	wmgr.entryAnchorToIdMap@123 != null
presumption	wmgr.strategy.emf@112 != null
presumption	wmgr.strategy.emf@191 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzed	call on java.util.List:add
unanalyzed	call on javax.persistence.EntityManager:createQuery
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.persistence.Query:setMaxResults
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.lang.Long:intValue
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on javax.persistence.EntityTransaction:commit
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on javax.persistence.Query:setFirstResult
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTags
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTag:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getEntryAttributes
unanalyzed	call on javax.persistence.Query:executeUpdate
unanalyzed	call on getUserManager
unanalyzed	call on saveWebsite
unanalyzed	call on getComments
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal
unanalyzed	call on java.lang.Integer
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogReferrer:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:canRead
unanalyzed	call on java.io.File:getCanonicalPath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on deleteAllFiles
unanalyzed	call on java.io.File:delete
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzed	call on getWeblogger
test_vector	java.util.Iterator:hasNext(...)@116: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@143: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@152: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@160: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@168: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@177: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@194: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@207: {0}, {1}

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

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

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

method	void updateTagAggregates(List)
pre	tags != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@232 != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
presumption	javax.persistence.Query:getSingleResult(...)@237 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
test_vector	java.util.Iterator:hasNext(...)@231: {0}, {1}

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal(int)

method	void saveUser(User)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist

method	void removeUser(User)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.userNameToIdMap != null
pre	user != null
pre	(soft) this.strategy.emf != null
presumption	java.util.Iterator:next(...)@251 != null
presumption	org.apache.roller.weblogger.pojos.User:getPermissio ns(...)@250 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getPermiss ions(...)@258 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@257 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove
test_vector	java.util.Iterator:hasNext(...)@250: {0}, {1}

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

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

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

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

method	void savePermissions(WeblogPermission)
pre	perms != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	org.apache.roller.weblogger.pojos.User:getPermissio ns(...)@279 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getPermiss ions(...)@276 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getUser(...)@278 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@275 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on javax.persistence.EntityManager:find
test_vector	javax.persistence.EntityManager:find(...)@216: Inverse{null}, Addr_Set{null}

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

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

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

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

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

method	void removePermissions(WeblogPermission)
pre	perms != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	org.apache.roller.weblogger.pojos.User:getPermissio ns(...)@293 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getPermiss ions(...)@290 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getUser(...)@292 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@289 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove

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

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

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

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

method	void savePage(WeblogTemplate)
pre	page != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	getUserManager(...).strategy.emf@300 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate:ge tWebsite(...)@303 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified

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

method	void removePage(WeblogTemplate)
pre	page != null
pre	this.roller != null
pre	this.roller.userManager != null
pre	this.roller.userManager.strategy != null
pre	this.roller.userManager.strategy.threadLocalEntityM anager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	getUserManager(...).strategy.emf@308 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate:ge tWebsite(...)@311 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLastModified

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

method	void addUser(User)
pre	newUser != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.userNameToIdMap != null
pre	(soft) log != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	javax.persistence.Query:getResultList(...)@753 != null
presumption	org.apache.roller.weblogger.pojos.User:getUserName( ...)@332 != null
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getId
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on javax.persistence.EntityManager:createQuery
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on javax.persistence.Query:setFirstResult
unanalyzed	call on javax.persistence.Query:setMaxResults
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:equals
unanalyzed	call on java.util.Date
test_vector	java.util.List:size(...)@322: {-2³¹..-1, 1..2³²-1}, {0}

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

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

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires getUserByUserName(...) == null

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

Prev Msg Next Msg

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

method	void addWebsite(Weblog)
pre	newWeblog != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	this.roller != null
pre	this.roller.pingTargetManager != null
pre	this.roller.pingTargetManager.strategy != null
pre	this.roller.pingTargetManager.strategy. threadLocalEntityManager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.roller.autoPingManager != null
pre	(soft) this.roller.autoPingManager.strategy != null
pre	(soft) this.roller.autoPingManager.strategy. threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:setWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:setUser
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getPermissions
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getUser
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on java.lang.Integer
unanalyzed	call on getAutopingManager
unanalyzed	call on getPingTargetManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.persistence.EntityTransaction:commit
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getId
unanalyzed	call on getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:setPending
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setBloggerCategory
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setDefaultCategory
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark
unanalyzed	call on getCommonPingTargets
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:isAutoEnabled
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
unanalyzed	call on saveAutoPing
unanalyzed	call on javax.persistence.Query:getResultList

method	void addWeblogContents(Weblog)
pre	newWeblog != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	this.roller != null
pre	this.roller.pingTargetManager != null
pre	this.roller.pingTargetManager.strategy != null
pre	this.roller.pingTargetManager.strategy. threadLocalEntityManager != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.roller.autoPingManager != null
pre	(soft) this.roller.autoPingManager.strategy != null
pre	(soft) this.roller.autoPingManager.strategy. threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	autoPingMgr.strategy.emf@428 != null
presumption	java.util.Iterator:next(...)@431 != null
presumption	javax.persistence.Query:getResultList(...)@177 != null
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
presumption	pingTargetMgr.strategy.emf@399 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getUser
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getId
unanalyzed	call on getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on org.apache.roller.util.UUIDGenerator:genera teUUID
unanalyzed	call on javax.persistence.Query:getResultList
test_vector	java.lang.String:length(...)@374: {0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@430: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.PingTarget:isAuto Enabled(...)@433: {0}, {1}

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

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

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

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogPermission:setPending(bool)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask(short)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogCategory(Weblog, WeblogCategory, String, String, String)

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(splitcats. length)

+

warning

test always goes same way test predetermined because i == splitcats.length

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == splitcats.length

Prev Msg Next Msg

info dead code continues dead code continues

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

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogBookmarkFolder(WeblogBookmarkFolder, String, String, Weblog)

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(splitroll. length)

+

warning

test always goes same way test predetermined because i == splitroll.length

info dead code continues dead code continues

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == splitroll.length

Prev Msg Next Msg

info dead code continues dead code continues

info method not available -- call on bool org.apache.roller.weblogger.pojos. PingTarget:isAutoEnabled()

method	WeblogPermission inviteUser(Weblog, User, short)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	user != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	return_value == &new WeblogPermission(inviteUse r#1)
post	new WeblogPermission(inviteUser#1) num objects == 1
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getUser
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getId
unanalyzed	call on getPermissions
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite
unanalyzed	call on java.util.List:add

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

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

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask(short)

method	void retireUser(Weblog, User)
pre	user != null
pre	website != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@473 != null
presumption	org.apache.roller.weblogger.pojos.User:getId(... )@474 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getPermiss ions(...)@470 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getUser(...)@474 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove
test_vector	java.lang.String:equals(...)@474: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@472: {0}, {1}

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

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

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

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires target != null

Prev Msg Next Msg

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

method	void revokeRole(String, User)
pre	user != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@489 != null
presumption	org.apache.roller.weblogger.pojos.User:getRoles(... )@486 != null
presumption	org.apache.roller.weblogger.pojos.UserRole:getRole( ...)@490 != null
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:remove
test_vector	java.lang.String:equals(...)@490: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@488: {0}, {1}

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

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

method	Weblog getWebsite(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find

method	Weblog getWebsiteByHandle(String)
pre	handle != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.weblogHandleToIdMap != null
pre	(soft) log != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Boolean:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getId

method	Weblog getWebsiteByHandle(String, Boolean)
pre	handle != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.weblogHandleToIdMap != null
pre	(soft) log != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Boolean:equals(...)@522: {0}, {1}
test_vector	java.lang.Boolean:equals(...)@547: {0}, {1}
test_vector	java.util.Map:containsKey(...)@516: {0}, {1}
test_vector	javax.persistence.EntityManager:find(...)@216: Addr_Set{null}, Inverse{null}

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

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

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

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

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

method	List getWebsites(User, Boolean, Boolean, Date, Date, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.FALSE)
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.EntityManager:createQuery
test_vector	active: Addr_Set{null}, Inverse{null}
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	endDate: Addr_Set{null}, Inverse{null}
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}
test_vector	startDate: Addr_Set{null}, Inverse{null}
test_vector	user: Inverse{null}, Addr_Set{null}
test_vector	java.lang.StringBuffer:length(...)@581: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@587: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@592: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuffer:length(...)@597: {-2³¹..0}, {1..2³²-1}

method	User getUser(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find

method	User getUserByUserName(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.userNameToIdMap != null
pre	userName != null
pre	(soft) log != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getId
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getSingleResult
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on java.lang.Boolean:equals

method	User getUserByUserName(String, Boolean)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	this.userNameToIdMap != null
pre	userName != null
pre	(soft) log != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Boolean:equals(...)@648: {0}, {1}
test_vector	java.util.Map:containsKey(...)@642: {0}, {1}
test_vector	javax.persistence.EntityManager:find(...)@216: Addr_Set{null}, Inverse{null}

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

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

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

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

method	List getUsers(Weblog, Boolean, Date, Date, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.EntityManager:createQuery
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	endDate: Inverse{null}, Addr_Set{null}
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}
test_vector	startDate: Addr_Set{null}, Inverse{null}
test_vector	weblog: Addr_Set{null}, Inverse{null}
test_vector	java.lang.StringBuffer:length(...)@714: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	java.lang.StringBuffer:length(...)@724: {-2³¹..-1, 1..2³²-1}, {0}

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because endDate != null

Prev Msg Next Msg

method	List getUsers(int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on javax.persistence.Query:setFirstResult
unanalyzed	call on javax.persistence.Query:setMaxResults
unanalyzed	call on java.util.Date

method	List getUsers(Boolean, Date, Date, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	endDate: Inverse{null}, Addr_Set{null}
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}
test_vector	startDate: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into setRange

Prev Msg Next Msg

method	List getUsers(Weblog, Boolean, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	length: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}
test_vector	website: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into setRange

Prev Msg Next Msg

method	List getUsersStartingWith(String, Boolean, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	enabled: Addr_Set{null}, Inverse{null}
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}
test_vector	startsWith: Addr_Set{null}, Inverse{null}

method	WeblogTemplate getPage(String)
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find
test_vector	id: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:endsWith(...)@883: {0}, {1}

method	WeblogTemplate getPageByLink(Weblog, String)
pre	pagelink != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	WeblogTemplate getPageByAction(Weblog, String)
pre	action != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	WeblogTemplate getPageByName(Weblog, String)
pre	pagename != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getPages(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	WeblogPermission getPermissions(String)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:find

method	WeblogPermission getPermissions(Weblog, User)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getPendingPermissions(User)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getPendingPermissions(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getAllPermissions(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.FALSE)
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getAllPermissions(User)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.FALSE)
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method

void release()

method	Map getUserNameLetterMap()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.Query:getResultList(...)@1043 != null
post	return_value == &new TreeMap(getUserNameLetterM ap#1)
post	new TreeMap(getUserNameLetterMap#1) num objects == 1
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getUsersByLetter(char, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}

method	Map getWeblogHandleLetterMap()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.Query:getResultList(...)@1072 != null
post	return_value == &new TreeMap(getWeblogHandleLet terMap#1)
post	new TreeMap(getWeblogHandleLetterMap#1) num objects == 1
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getWeblogsByLetter(char, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}

method	List getMostCommentedWebsites(Date, Date, int, int)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	java.util.Iterator:next(...)@1123 != null
presumption	javax.persistence.Query:getResultList(...)@1120 != null
presumption	row.length@1123 >= 4
post	return_value == &new ArrayList(getMostCommented Websites#5)
post	new ArrayList(getMostCommentedWebsites#5) num objects == 1
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	endDate: Inverse{null}, Addr_Set{null}
test_vector	length: {-1}, {-2³¹..-2, 0.. 2³²-1}
test_vector	offset: {0}, {-2³¹..-1, 1.. 2³²-1}
test_vector	startDate: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@1122: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

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

info method not available -- call on void org.apache.roller.weblogger.pojos. StatCount(String, String, String, String, long)

Prev Msg Next Msg

method	long getWeblogCount()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	java.util.List:get(...)@1146 != null
presumption	javax.persistence.Query:getResultList(...)@1143 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	long getUserCount()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.List:get(...)@1160 != null
presumption	javax.persistence.Query:getResultList(...)@1159 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	User getUserByActivationCode(String)
pre	activationCode != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.ThreadLocal:get
unanalyzed	call on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzed	call on java.lang.ThreadLocal:set
unanalyzed	call on javax.persistence.EntityManager:getTransact ion
unanalyzed	call on javax.persistence.EntityTransaction:isActiv e
unanalyzed	call on javax.persistence.EntityTransaction:begin
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

	info	method not available	-- call on int org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal(int)

	info	method not available	-- call on User org.apache.roller.weblogger.pojos. Weblog:getCreator()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogPermission:setUser(User)

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