Last Msg First Msg
























method org.apache.roller.weblogger.business.jpa. JPAWeblogManagerImpl__static_init
postinit'ed(log)
postreverseComparator == &new ReverseComparator(JPA WeblogManagerImpl__static_init#1)
postinit'ed(statCountCountReverseComparator)
postinit'ed(tagStatCountReverseComparator)
posttagStatNameComparator == &new TagStatComparator (JPAWeblogManagerImpl__static_init#2)
postnew ReverseComparator(JPAWeblogManagerImpl__static_ init#1) num objects == 1
postnew TagStatComparator(JPAWeblogManagerImpl__static_ init#2) num objects == 1









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










  infomethod not available-- call on void org.apache.commons.collections. comparators.ReverseComparator()










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











method void org.apache.roller.weblogger.business.jpa. JPAWeblogManagerImpl(Weblogger, JPAPersistenceStrat egy)
prelog != null
postthis.entryAnchorToIdMap == &new Hashtable(JPAWeblogManagerImpl#1)
postthis.roller == roller
postinit'ed(this.roller)
postthis.strategy == strategy
postinit'ed(this.strategy)
postnew Hashtable(JPAWeblogManagerImpl#1) num objects == 1









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











method void saveWeblogCategory(WeblogCategory)
precat != null
prethis.roller != null
prethis.roller.userManager != null
prethis.roller.userManager.strategy != null
prethis.roller.userManager.strategy.threadLocalEntityM anager != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptiongetUserManager(...).strategy.emf@104 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@113 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@118 != null
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on javax.persistence.EntityManager:find
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getParent
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vectorjavax.persistence.EntityManager:find(...)@216: Inverse{null}, Addr_Set{null}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@111: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getId()










Prev Msg Next Msg
+
low
conditional throwcheck might fail: requires isDuplicateWeblogCategor yName(...) == 0
Prev Msg Next Msg










  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogCategory:getParent()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()











method void removeWeblogCategory(WeblogCategory)
precat != null
prethis.roller != null
prethis.roller.userManager != null
prethis.roller.userManager.strategy != null
prethis.roller.userManager.strategy.threadLocalEntityM anager != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptiongetUserManager(...).strategy.emf@132 != null
presumptionjava.util.List:size(...)@127 <= 0
presumptionorg.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@140 != null
presumptionorg.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@146 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@136 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@140 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@141 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@142 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@146 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@147 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@148 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@153 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:re trieveWeblogEntries(...)@127 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.EntityManager:remove
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@140: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@146: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@134: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on List org.apache.roller.weblogger.pojos. WeblogCategory:retrieveWeblogEntries(bool)










  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogCategory:getParent()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getBloggerCategory()
  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:equals(Object)










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getDefaultCategory()
  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:equals(Object)










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()











method void moveWeblogCategory(WeblogCategory, WeblogCategory)
predestCat != null
prelog != null
presrcCat != null
prethis.roller != null
prethis.roller.userManager != null
prethis.roller.userManager.strategy != null
prethis.roller.userManager.strategy.threadLocalEntityM anager != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@164 == 0
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@175 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@178 != null
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on javax.persistence.EntityManager:find
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on getUserManager
unanalyzedcall on saveWebsite
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getParent
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getName
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:setPath
unanalyzedcall on saveWeblogCategory
unanalyzedcall on updatePathTree
unanalyzedcall on java.util.Set:add
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vectorjava.lang.String:equals(...)@180: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@173: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:descendentOf(WeblogCategory)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogCategory:getParent()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogCategory:setParent(WeblogCategory)










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()










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










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogCategory:setPath(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogCategory:setPath(String)











method void updatePathTree(WeblogCategory)
precat != null
prelog != null
pre(soft) this.roller != 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.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
presumptionjava.util.Iterator:next(...)@202 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@200 != null
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on javax.persistence.EntityManager:find
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on getUserManager
unanalyzedcall on saveWebsite
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getParent
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getName
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:setPath
unanalyzedcall on saveWeblogCategory
unanalyzedcall on updatePathTree
unanalyzedcall on java.util.Set:add
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vectorjava.lang.String:equals(...)@207: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@201: {0}, {1}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










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










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogCategory:setPath(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogCategory:setPath(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method void moveWeblogCategoryContents(WeblogCategory, WeblogCategory)
predestCat != null
presrcCat != null
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
presumptionjava.util.Iterator:next(...)@241 != null
presumptionorg.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@257 != null
presumptionorg.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@250 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@229 == 0
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@250 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@257 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@250 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@253 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@257 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@260 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:re trieveWeblogEntries(...)@235 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
test_vectorjava.lang.String:equals(...)@250: {1}, {0}
test_vectorjava.lang.String:equals(...)@257: {1}, {0}
test_vectorjava.util.Iterator:hasNext(...)@240: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@250: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@257: {0}, {1}









  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:descendentOf(WeblogCategory)










  infomethod not available-- call on List org.apache.roller.weblogger.pojos. WeblogCategory:retrieveWeblogEntries(bool)










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()










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










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getDefaultCategory()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getId()
  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:descendentOf(WeblogCategory)










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getBloggerCategory()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getId()
  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:descendentOf(WeblogCategory)










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()











method void saveComment(WeblogEntryComment)
precomment != null
prethis.roller != null
prethis.roller.userManager != null
prethis.roller.userManager.strategy != null
prethis.roller.userManager.strategy.threadLocalEntityM anager != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptiongetUserManager(...).strategy.emf@269 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@272 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@272 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified









  infomethod not available-- call on WeblogEntry org.apache.roller.weblogger. pojos.WeblogEntryComment:getWeblogEntry()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()











method void removeComment(WeblogEntryComment)
precomment != null
prethis.roller != null
prethis.roller.userManager != null
prethis.roller.userManager.strategy != null
prethis.roller.userManager.strategy.threadLocalEntityM anager != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptiongetUserManager(...).strategy.emf@280 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@283 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@283 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on javax.persistence.EntityManager:remove
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified









  infomethod not available-- call on WeblogEntry org.apache.roller.weblogger. pojos.WeblogEntryComment:getWeblogEntry()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()











method void saveWeblogEntry(WeblogEntry)
preentry != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
pre(soft) org/apache/roller/weblogger/business/jpa/JPA AutoPingManagerImpl.logger != null
pre(soft) org/apache/roller/weblogger/business/jpa/JPA PingQueueManagerImpl.log != null
pre(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre(soft) org/apache/roller/weblogger/pojos/AutoPing. pcInheritedFieldCount <= 232-3
pre(soft) this.roller != null
pre(soft) this.roller...pingQueueManager != null
pre(soft) this.roller...pingQueueManager.strategy != null
pre(soft) this.roller...pingQueueManager.strategy. threadLocalEntityManager != null
pre(soft) this.roller.autoPingManager != null
pre(soft) this.roller.autoPingManager.roller != null
pre(soft) this.roller.autoPingManager.strategy != null
pre(soft) this.roller.autoPingManager.strategy. threadLocalEntityManager != 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.strategy.emf != null
presumptiongetAutopingManager(...).strategy.emf@318 != null
presumptiongetUserManager(...).strategy.emf@318 != null
presumptionjava.lang.System:currentTimeMillis(...)@310 <= 18_446_744_073_709_491_615
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getAd dedTags(...)@297 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getAn chor(...)@293 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@310 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getRe movedTags(...)@302 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@299 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@304 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@322 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on javax.persistence.EntityManager:find
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:createAnchorBase
unanalyzedcall on java.util.Date
unanalyzedcall on javax.persistence.Query:executeUpdate
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal
unanalyzedcall on java.lang.Integer
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
unanalyzedcall on getBooleanProperty
unanalyzedcall on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on getPingQueueManager
unanalyzedcall on java.util.List:iterator
unanalyzedcall on addQueueEntry
unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField
unanalyzedcall on java.lang.System:currentTimeMillis
unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID
unanalyzedcall on getWeblogger
unanalyzedcall on getPropertiesManager
unanalyzedcall on getProperty
unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzedcall on org.apache.commons.logging.Log:warn
unanalyzedcall on java.lang.Boolean
unanalyzedcall on java.lang.Boolean:booleanValue
test_vectorjava.lang.String:equals(...)@293: {0}, {1}
test_vectorjava.lang.String:equals(...)@310: {0}, {1}
test_vectorjava.sql.Timestamp:after(...)@310: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@297: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@302: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:getAn chor(...)@293: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@321: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@326: {0}, {1}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getAnchor()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setAnchor(String)










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getAddedTags()










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










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getRemovedTags()










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










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getStatus()
  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()










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










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










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()










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










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()











method void removeWeblogEntry(WeblogEntry)
preentry != null
prethis.entryAnchorToIdMap != null
prethis.roller != null
prethis.roller.userManager != null
prethis.roller.userManager.strategy != null
prethis.roller.userManager.strategy.threadLocalEntityM anager != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptiongetUserManager(...).strategy.emf@390 != null
presumptionjava.util.Iterator:next(...)@346 != null
presumptionjava.util.Iterator:next(...)@371 != null
presumptionjavax.persistence.Query:getResultList(...)@344 != null
presumptionjavax.persistence.Query:getResultList(...)@924 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@380 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@370 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@340 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@372 != null
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on javax.persistence.EntityManager:remove
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on javax.persistence.Query:setFirstResult
unanalyzedcall on javax.persistence.EntityManager:find
unanalyzedcall on java.util.Date
unanalyzedcall on javax.persistence.Query:executeUpdate
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal
unanalyzedcall on java.lang.Integer
unanalyzedcall on javax.persistence.EntityTransaction:commit
unanalyzedcall on org.apache.roller.RollerException
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vectorjava.util.Iterator:hasNext(...)@345: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@364: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@370: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@380: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@379: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@369: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getAnchor()










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










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getId()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getTags()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getTags()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntryTag:getName()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getEntryAttributes()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getEntryAttributes()










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











method List getNextPrevEntries(WeblogEntry, String, String, int, bool)
precurrent != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@407 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@432 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.roller.RollerException
test_vectorcatName: Addr_Set{null}, Inverse{null}
test_vectorlocale: Addr_Set{null}, Inverse{null}
test_vectornext: {0}, {1}
test_vectorjava.lang.String:equals(...)@406: {1}, {0}
test_vectorjava.lang.String:equals(...)@431: {1}, {0}









Prev Msg Next Msg
+
warning
unused assignmentunused assignment into category
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
Prev Msg Next Msg










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










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










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










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










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires category != null
Prev Msg Next Msg











method WeblogCategory getRootWeblogCategory(Weblog)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
prewebsite != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method List getWeblogCategories(Weblog, bool)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
prewebsite != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorincludeRoot: {0}, {1}










method List getWeblogCategories(Weblog)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
prewebsite != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method List getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptioninit'ed(java.lang.Boolean.TRUE)
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
test_vectorendDate: Addr_Set{null}, Inverse{null}
test_vectorlength: {-1}, {-231..-2, 0.. 232-1}
test_vectorlocale: Addr_Set{null}, Inverse{null}
test_vectoroffset: {0}, {-231..-1, 1.. 232-1}
test_vectorsortOrder: Addr_Set{null}, Inverse{null}
test_vectorsortby: Addr_Set{null}, Inverse{null}
test_vectorstartDate: Addr_Set{null}, Inverse{null}
test_vectorstatus: Addr_Set{null}, Inverse{null}
test_vectortags: Addr_Set{null}, Inverse{null}
test_vectortext: Addr_Set{null}, Inverse{null}
test_vectoruser: Addr_Set{null}, Inverse{null}
test_vectorwebsite: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@531: {0}, {1}
test_vectorjava.lang.String:equals(...)@620: {0}, {1}
test_vectorjava.lang.String:equals(...)@626: {0}, {1}
test_vectorjava.util.List:size(...)@540: {-231..-1, 1..232-1}, {0}
test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@527: {0}, {1}









  infomethod not available-- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getId()
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getId()
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
Prev Msg Next Msg










Prev Msg Next Msg
+
warning
test always goes same waytest predetermined because website != null
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getId()
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
Prev Msg Next Msg










Prev Msg Next Msg
+
low
overflowcheck might fail: requires size in -231-1.. 232-2
Prev Msg Next Msg











method List getWeblogEntriesPinnedToMain(Integer)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptioninit'ed(java.lang.Boolean.TRUE)
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectormax: Addr_Set{null}, Inverse{null}










method void removeWeblogEntryAttribute(String, WeblogEntry)
preentry != null
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
presumptionjava.util.Iterator:next(...)@666 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@665 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntryAttrib ute:getName(...)@667 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:remove
test_vectorjava.lang.String:equals(...)@667: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@665: {0}, {1}









  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getEntryAttributes()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntryAttribute:getName()











method void removeWeblogEntryTag(String, WeblogEntry)
preentry != null
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
presumptionjava.util.Iterator:next(...)@679 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@678 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntryTag:ge tName(...)@680 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:remove
test_vectorjava.lang.String:equals(...)@680: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@678: {0}, {1}









  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getTags()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntryTag:getName()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:onRemoveTag(String)











method WeblogEntry getWeblogEntryByAnchor(Weblog, String)
preanchor != null
prethis.entryAnchorToIdMap != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
prewebsite != null
pre(soft) log != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.EntityManager:find
test_vectorjava.util.Hashtable:containsKey(...)@708: {0}, {1}
test_vectorjavax.persistence.EntityManager:find(...)@216: Addr_Set{null}, Inverse{null}









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










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










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










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











method List getWeblogEntries(WeblogCategory, bool)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) cat != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorsubcats: {1}, {0}









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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()











method String createAnchor(WeblogEntry)
preentry != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjavax.persistence.Query:getResultList(...)@784 != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorjava.util.List:size(...)@786: {1..232-1}, {-231..0}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:createAnchorBase()










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










Prev Msg Next Msg
+
low
overflowcheck might fail: requires count in -231-1..232-2
Prev Msg Next Msg











method bool isDuplicateWeblogCategoryName(WeblogCategory)
precat != null
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@804 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@802: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogCategory:getParent()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()











method bool isWeblogCategoryInUse(WeblogCategory)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) cat != null
pre(soft) this.strategy.emf != null
presumptionjava.util.Iterator:next(...)@827 != null
presumptionjavax.persistence.Query:getResultList(...)@819 != null
presumptionorg.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@833 != null
presumptionorg.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@837 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@825 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@833 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@837 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorjava.util.Iterator:hasNext(...)@826: {0}, {1}
test_vectorjava.util.List:size(...)@819: {-231..0}, {1..232-1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@833: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@837: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogCategory:is InUse(...)@828: {0}, {1}









  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:isInUse()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getBloggerCategory()
  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:equals(Object)










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getDefaultCategory()
  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:equals(Object)











method List getComments(Weblog, WeblogEntry, String, Date, Date, String, bool, int, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
test_vectorendDate: Addr_Set{null}, Inverse{null}
test_vectorentry: Addr_Set{null}, Inverse{null}
test_vectorlength: {-1}, {-231..-2, 0.. 232-1}
test_vectoroffset: {0}, {-231..-1, 1.. 232-1}
test_vectorreverseChrono: {0}, {1}
test_vectorsearchString: Addr_Set{null}, Inverse{null}
test_vectorstartDate: Addr_Set{null}, Inverse{null}
test_vectorstatus: Addr_Set{null}, Inverse{null}
test_vectorwebsite: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@892: {0}, {1}
test_vectorjava.lang.StringBuffer:length(...)@905: {0}, {-231..-1, 1..232-1}










method int removeMatchingComments(Weblog, WeblogEntry, String, Date, Date, String)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.roller != 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.strategy.emf != null
presumptionjava.util.Iterator:next(...)@949 != null
presumptionjavax.persistence.Query:getResultList(...)@924 != null
postreturn_value >= 0
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on javax.persistence.EntityManager:remove
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on javax.persistence.Query:setFirstResult
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on getUserManager
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryComment:getWeblogEntry
unanalyzedcall on saveWebsite
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:setLastModified
test_vectorjava.util.Iterator:hasNext(...)@948: {0}, {1}









Prev Msg Next Msg
+
low
overflowcheck might fail: requires count in -231-1..232-2
Prev Msg Next Msg











method WeblogCategory getWeblogCategory(String)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:find










method WeblogCategory getWeblogCategoryByPath(Weblog, String)
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
pre(soft) website != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj










method WeblogCategory getWeblogCategoryByPath(Weblog, WeblogCategory, String)
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
pre(soft) website != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
test_vectorpath: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@983: {0}, {1}
test_vectorjava.lang.String:startsWith(...)@989: {1}, {0}










method WeblogEntryComment getComment(String)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:find










method WeblogEntry getWeblogEntry(String)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:find










method Map getWeblogEntryObjectMap(Weblog, Date, Date, String, List, String, String, int, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postreturn_value == &new TreeMap(getWeblogEntryMap# 1)
postnew TreeMap(getWeblogEntryMap#1) num objects == 1
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getId
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on javax.persistence.Query:setFirstResult
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on java.util.Calendar:getInstance
unanalyzedcall on java.util.TreeMap
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzedcall on java.util.Calendar:setTimeZone
unanalyzedcall on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzedcall on org.apache.roller.util.DateUtil:getNoonOfDa y
unanalyzedcall on java.util.TreeMap:get
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on java.util.TreeMap:put










method Map getWeblogEntryStringMap(Weblog, Date, Date, String, List, String, String, int, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postreturn_value == &new TreeMap(getWeblogEntryMap# 1)
postnew TreeMap(getWeblogEntryMap#1) num objects == 1
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getId
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on javax.persistence.Query:setFirstResult
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on java.util.Calendar:getInstance
unanalyzedcall on java.util.TreeMap
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzedcall on java.util.Calendar:setTimeZone
unanalyzedcall on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzedcall on org.apache.roller.util.DateUtil:getNoonOfDa y
unanalyzedcall on java.util.TreeMap:get
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on java.util.TreeMap:put










method Map getWeblogEntryMap(Weblog, Date, Date, String, List, String, bool, String, int, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.Calendar:getInstance(...)@1102 != null
presumptionjava.util.Iterator:next(...)@1109 != null
presumptionjavax.persistence.Query:getResultList(...)@645 != null
presumptionorg.apache.roller.util.DateUtil:get8charDateFormat( ...)@1107 != null
postreturn_value == &new TreeMap(getWeblogEntryMap# 1)
postnew TreeMap(getWeblogEntryMap#1) num objects == 1
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getId
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on javax.persistence.Query:setFirstResult
test_vectorstringsOnly: {0}, {1}
test_vectorwebsite: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Iterator:hasNext(...)@1108: {0}, {1}
test_vectorjava.util.TreeMap:get(...)@1112: Inverse{null}, Addr_Set{null}
test_vectorjava.util.TreeMap:get(...)@1115: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on TimeZone org.apache.roller.weblogger. pojos.Weblog:getTimeZoneInstance()










  infomethod not available-- call on SimpleDateFormat org.apache.roller.util. DateUtil:get8charDateFormat()










  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()
  infomethod not available-- call on Date org.apache.roller.util. DateUtil:getNoonOfDay(Date, Calendar)











method List getMostCommentedWeblogEntries(Weblog, Date, Date, int, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.Iterator:next(...)@1176 != null
presumptionjavax.persistence.Query:getResultList(...)@1173 != null
presumptionrow.length@1176 >= 4
postreturn_value == &new ArrayList(getMostCommented WeblogEntries#8)
postnew ArrayList(getMostCommentedWeblogEntries#8) num objects == 1
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorendDate: Inverse{null}, Addr_Set{null}
test_vectorlength: {-1}, {-231..-2, 0.. 232-1}
test_vectoroffset: {0}, {-231..-1, 1.. 232-1}
test_vectorstartDate: Addr_Set{null}, Inverse{null}
test_vectorwebsite: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Iterator:hasNext(...)@1175: {0}, {1}









Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires not_init'ed(row[0])
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. StatCount(String, String, String, String, long)
Prev Msg Next Msg











method WeblogEntry getNextEntry(WeblogEntry, String, String)
precurrent != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on org.apache.roller.RollerException
test_vectorjava.util.List:size(...)@1198: {-231..0}, {1..232-1}










method WeblogEntry getPreviousEntry(WeblogEntry, String, String)
precurrent != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:setMaxResults
unanalyzedcall on javax.persistence.Query:getResultList
unanalyzedcall on java.lang.String:trim
unanalyzedcall on getRootWeblogCategory
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:getSingleResult
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on org.apache.roller.RollerException
test_vectorjava.util.List:size(...)@1211: {-231..0}, {1..232-1}










method void release()










method void applyCommentDefaultsToEntries(Weblog)
prelog != null
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
prewebsite != null
pre(soft) this.strategy.emf != null
presumptionjavax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@1227: {0}, {1}









  infomethod not available-- call on bool org.apache.commons.logging. Log:isDebugEnabled()










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










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










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











method List getPopularTags(Weblog, Date, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumption(int) (java.lang.Math:floor(...)@1299 + 1) in -231..232-1
presumptionjava.util.Iterator:next(...)@1282 != null
presumptionjava.util.Iterator:next(...)@1298 != null
presumptionjavax.persistence.Query:getResultList(...)@1274 != null
presumptionrow.length@1282 >= 2
postreturn_value == &new ArrayList(getPopularTags#3 )
postnew ArrayList(getPopularTags#3) num objects == 1
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorlimit: {-1}, {-231..-2, 0.. 232-1}
test_vectorstartDate: Addr_Set{null}, Inverse{null}
test_vectorwebsite: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Iterator:hasNext(...)@1281: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@1297: {0}, {1}









Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires not_init'ed(row[1])
Prev Msg Next Msg











method List getTags(Weblog, String, String, int)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.Iterator:next(...)@1352 != null
presumptionjavax.persistence.Query:getResultList(...)@1348 != null
presumptionrow.length@1352 >= 2
postreturn_value == &new ArrayList(getTags#6)
postnew ArrayList(getTags#6) num objects == 1
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
test_vectorlimit: {-1}, {-231..-2, 0.. 232-1}
test_vectorsortBy: Inverse{null}, Addr_Set{null}
test_vectorstartsWith: Addr_Set{null}, Inverse{null}
test_vectorwebsite: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@1334: {0}, {1}
test_vectorjava.lang.String:length(...)@1329: {0}, {1..232-1}
test_vectorjava.util.Iterator:hasNext(...)@1351: {0}, {1}









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










Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires not_init'ed(row[1])
Prev Msg Next Msg











method bool getTagComboExists(List, Weblog)
pre(soft) this.strategy != null
pre(soft) this.strategy.emf != null
pre(soft) this.strategy.threadLocalEntityManager != null
presumptionjava.lang.String:length(...)@1394 - java.lang.StringBuffer:length(...)@1394 in -232+1..231
presumptionjava.util.List:size(...)@1385 <= 232-2
presumptionjava.util.List:size(...)@1388 <= 232-2
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:createQuery
unanalyzedcall on javax.persistence.Query:setFlushMode
test_vectortags: Addr_Set{null}, Inverse{null}
test_vectorweblog: Addr_Set{null}, Inverse{null}
test_vectorjava.util.List:size(...)@1375: {-231..-1, 1..232-1}, {0}









Prev Msg Next Msg
+
warning
unused assignmentunused assignment into PARAM_SEPERATOR
Prev Msg Next Msg











method void updateTagCount(String, Weblog, int)
preamount != 0
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
prewebsite != null
pre(soft) this.strategy.emf != null
presumptionamount + org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal(...)@1464 in -231..232-1
presumptionamount + org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal(...)@1484 in -231..232-1
presumptionjavax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectoramount: {-231..-1}, {1..232-1}









  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate(String, Weblog, String, int)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed(Timestamp)










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










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed(Timestamp)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate(String, Weblog, String, int)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed(Timestamp)










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










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed(Timestamp)











method WeblogHitCount getHitCount(String)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:find










method WeblogHitCount getHitCountByWeblog(Weblog)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method List getHotWeblogs(int, int, int)
presinceDays <= 231
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.Calendar:getInstance(...)@1532 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectorlength: {-1}, {-231..-2, 0.. 232-1}
test_vectoroffset: {0}, {-231..-1, 1.. 232-1}










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










method void removeHitCount(WeblogHitCount)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:remove










method void incrementHitCount(Weblog, int)
preamount != 0
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
preweblog != null
pre(soft) this.strategy.emf != null
presumptionamount + org.apache.roller.weblogger.pojos. WeblogHitCount:getDailyHits(...)@1599 in -231..232-1
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
test_vectoramount: {-231..-1}, {1..232-1}









  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogHitCount()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogHitCount:setWeblog(Weblog)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogHitCount:setDailyHits(int)










  infomethod not available-- call on int org.apache.roller.weblogger.pojos. WeblogHitCount:getDailyHits()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogHitCount:setDailyHits(int)











method void resetAllHitCounts()
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjavax.persistence.EntityManager:createNamedQuery(.. .)@301 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method void resetHitCount(Weblog)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjavax.persistence.Query:getSingleResult(...)@1620 != null
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:contains
unanalyzedcall on javax.persistence.EntityManager:persist
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query









  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogHitCount:setDailyHits(int)











method long getCommentCount()
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.List:get(...)@1637 != null
presumptionjavax.persistence.Query:getResultList(...)@1636 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method long getCommentCount(Weblog)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.List:get(...)@1649 != null
presumptionjavax.persistence.Query:getResultList(...)@1648 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method long getEntryCount()
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.List:get(...)@1660 != null
presumptionjavax.persistence.Query:getResultList(...)@1659 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method long getEntryCount(Weblog)
prethis.strategy != null
prethis.strategy.threadLocalEntityManager != null
pre(soft) this.strategy.emf != null
presumptionjava.util.List:get(...)@1672 != null
presumptionjavax.persistence.Query:getResultList(...)@1671 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.EntityManager:createNamed Query










method StringBuffer appendConjuctionToWhereclause(StringB uffer, String)
prewhereClause != null
pre(soft) expression != null
postreturn_value == whereClause
postreturn_value != null
postwhereClause._tainted == old whereClause._tainted | One-of{expression._tainted, old whereClause._ tainted}
postinit'ed(whereClause._tainted)
test_vectorjava.lang.String:length(...)@1685: {0}, {1..232-1}
test_vectorjava.lang.StringBuffer:length(...)@1685: {0}, {-231..-1, 1..232-1}