| method | void saveWeblogCategory(WeblogCategory) |
| pre | cat != null |
| pre | this.roller != null |
| pre | this.roller.userManager != null |
| pre | this.roller.userManager.strategy != null |
| pre | this.roller.userManager.strategy.threadLocalEntityM anager != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | getUserManager(...).strategy.emf@104 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@113 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@118 != null |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.persistence.EntityManager:find |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getParent |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| test_vector | javax.persistence.EntityManager:find(...)@216: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@111: Addr_Set{null}, Inverse{null} |
| method | void removeWeblogCategory(WeblogCategory) |
| pre | cat != null |
| pre | this.roller != null |
| pre | this.roller.userManager != null |
| pre | this.roller.userManager.strategy != null |
| pre | this.roller.userManager.strategy.threadLocalEntityM anager != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | getUserManager(...).strategy.emf@132 != null |
| presumption | java.util.List:size(...)@127 <= 0 |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@140 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@146 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@136 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@140 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@141 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@142 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@146 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@147 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@148 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@153 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:re trieveWeblogEntries(...)@127 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@140: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@146: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@134: Addr_Set{null}, Inverse{null} |
| method | void moveWeblogCategory(WeblogCategory, WeblogCategory) |
| pre | destCat != null |
| pre | log != null |
| pre | srcCat != null |
| pre | this.roller != null |
| pre | this.roller.userManager != null |
| pre | this.roller.userManager.strategy != null |
| pre | this.roller.userManager.strategy.threadLocalEntityM anager != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@164 == 0 |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@175 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@178 != null |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.persistence.EntityManager:find |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getUserManager |
| unanalyzed | call on saveWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getParent |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:setPath |
| unanalyzed | call on saveWeblogCategory |
| unanalyzed | call on updatePathTree |
| unanalyzed | call on java.util.Set:add |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| test_vector | java.lang.String:equals(...)@180: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@173: Addr_Set{null}, Inverse{null} |
| method | void updatePathTree(WeblogCategory) |
| pre | cat != null |
| pre | log != 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 |
| presumption | java.util.Iterator:next(...)@202 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@200 != null |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getWebsite |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.persistence.EntityManager:find |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getUserManager |
| unanalyzed | call on saveWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getParent |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:setPath |
| unanalyzed | call on saveWeblogCategory |
| unanalyzed | call on updatePathTree |
| unanalyzed | call on java.util.Set:add |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| test_vector | java.lang.String:equals(...)@207: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@201: {0}, {1} |
| method | void moveWeblogCategoryContents(WeblogCategory, WeblogCategory) |
| pre | destCat != null |
| pre | srcCat != null |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | java.util.Iterator:next(...)@241 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@257 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@250 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@229 == 0 |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@250 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tId(...)@257 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@250 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@253 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@257 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@260 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:re trieveWeblogEntries(...)@235 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| test_vector | java.lang.String:equals(...)@250: {1}, {0} |
| test_vector | java.lang.String:equals(...)@257: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@240: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@250: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:de scendentOf(...)@257: {0}, {1} |
| method | void saveComment(WeblogEntryComment) |
| pre | comment != null |
| pre | this.roller != null |
| pre | this.roller.userManager != null |
| pre | this.roller.userManager.strategy != null |
| pre | this.roller.userManager.strategy.threadLocalEntityM anager != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | getUserManager(...).strategy.emf@269 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@272 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@272 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| method | void removeComment(WeblogEntryComment) |
| pre | comment != null |
| pre | this.roller != null |
| pre | this.roller.userManager != null |
| pre | this.roller.userManager.strategy != null |
| pre | this.roller.userManager.strategy.threadLocalEntityM anager != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | getUserManager(...).strategy.emf@280 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@283 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@283 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| method | void saveWeblogEntry(WeblogEntry) |
| pre | entry != null |
| pre | this.strategy != null |
| pre | this.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 |
| presumption | getAutopingManager(...).strategy.emf@318 != null |
| presumption | getUserManager(...).strategy.emf@318 != null |
| presumption | java.lang.System:currentTimeMillis(...)@310 <= 18_446_744_073_709_491_615 |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getAd dedTags(...)@297 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getAn chor(...)@293 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@310 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getRe movedTags(...)@302 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@299 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@304 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@322 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on javax.persistence.EntityManager:find |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:createAnchorBase |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on javax.persistence.Query:executeUpdate |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal |
| unanalyzed | call on java.lang.Integer |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| unanalyzed | call on getBooleanProperty |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on getPingQueueManager |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on addQueueEntry |
| unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField |
| unanalyzed | call on java.lang.System:currentTimeMillis |
| unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on getPropertiesManager |
| unanalyzed | call on getProperty |
| unanalyzed | call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on java.lang.Boolean |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| test_vector | java.lang.String:equals(...)@293: {0}, {1} |
| test_vector | java.lang.String:equals(...)@310: {0}, {1} |
| test_vector | java.sql.Timestamp:after(...)@310: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@297: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@302: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getAn chor(...)@293: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@321: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@326: {0}, {1} |
| method | void removeWeblogEntry(WeblogEntry) |
| pre | entry != null |
| pre | this.entryAnchorToIdMap != null |
| pre | this.roller != null |
| pre | this.roller.userManager != null |
| pre | this.roller.userManager.strategy != null |
| pre | this.roller.userManager.strategy.threadLocalEntityM anager != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | getUserManager(...).strategy.emf@390 != null |
| presumption | java.util.Iterator:next(...)@346 != null |
| presumption | java.util.Iterator:next(...)@371 != null |
| presumption | javax.persistence.Query:getResultList(...)@344 != null |
| presumption | javax.persistence.Query:getResultList(...)@924 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@380 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@370 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@340 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@372 != null |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on javax.persistence.Query:setFirstResult |
| unanalyzed | call on javax.persistence.EntityManager:find |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on javax.persistence.Query:executeUpdate |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setLastUsed |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:setTotal |
| unanalyzed | call on java.lang.Integer |
| unanalyzed | call on javax.persistence.EntityTransaction:commit |
| unanalyzed | call on org.apache.roller.RollerException |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| test_vector | java.util.Iterator:hasNext(...)@345: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@364: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@370: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@380: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@379: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@369: Addr_Set{null}, Inverse{null} |
| method | List getNextPrevEntries(WeblogEntry, String, String, int, bool) |
| pre | current != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@407 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@432 != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.roller.RollerException |
| test_vector | catName: Addr_Set{null}, Inverse{null} |
| test_vector | locale: Addr_Set{null}, Inverse{null} |
| test_vector | next: {0}, {1} |
| test_vector | java.lang.String:equals(...)@406: {1}, {0} |
| test_vector | java.lang.String:equals(...)@431: {1}, {0} |
| method | List getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| test_vector | endDate: Addr_Set{null}, Inverse{null} |
| test_vector | length: {-1}, {-231..-2, 0.. 232-1} |
| test_vector | locale: Addr_Set{null}, Inverse{null} |
| test_vector | offset: {0}, {-231..-1, 1.. 232-1} |
| test_vector | sortOrder: Addr_Set{null}, Inverse{null} |
| test_vector | sortby: Addr_Set{null}, Inverse{null} |
| test_vector | startDate: Addr_Set{null}, Inverse{null} |
| test_vector | status: Addr_Set{null}, Inverse{null} |
| test_vector | tags: Addr_Set{null}, Inverse{null} |
| test_vector | text: Addr_Set{null}, Inverse{null} |
| test_vector | user: Addr_Set{null}, Inverse{null} |
| test_vector | website: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:equals(...)@531: {0}, {1} |
| test_vector | java.lang.String:equals(...)@620: {0}, {1} |
| test_vector | java.lang.String:equals(...)@626: {0}, {1} |
| test_vector | java.util.List:size(...)@540: {-231..-1, 1..232-1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@527: {0}, {1} |
| method | void removeWeblogEntryAttribute(String, WeblogEntry) |
| pre | entry != null |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | java.util.Iterator:next(...)@666 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@665 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryAttrib ute:getName(...)@667 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| test_vector | java.lang.String:equals(...)@667: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@665: {0}, {1} |
| method | void removeWeblogEntryTag(String, WeblogEntry) |
| pre | entry != null |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | java.util.Iterator:next(...)@679 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@678 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryTag:ge tName(...)@680 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| test_vector | java.lang.String:equals(...)@680: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@678: {0}, {1} |
| method | bool isDuplicateWeblogCategoryName(WeblogCategory) |
| pre | cat != null |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@804 != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@802: Addr_Set{null}, Inverse{null} |
| method | bool isWeblogCategoryInUse(WeblogCategory) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) cat != null |
| pre | (soft) this.strategy.emf != null |
| presumption | java.util.Iterator:next(...)@827 != null |
| presumption | javax.persistence.Query:getResultList(...)@819 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getBlogger Category(...)@833 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@837 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@825 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@833 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@837 != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| test_vector | java.util.Iterator:hasNext(...)@826: {0}, {1} |
| test_vector | java.util.List:size(...)@819: {-231..0}, {1..232-1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@833: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:eq uals(...)@837: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogCategory:is InUse(...)@828: {0}, {1} |
| method | List getComments(Weblog, WeblogEntry, String, Date, Date, String, bool, int, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| test_vector | endDate: Addr_Set{null}, Inverse{null} |
| test_vector | entry: Addr_Set{null}, Inverse{null} |
| test_vector | length: {-1}, {-231..-2, 0.. 232-1} |
| test_vector | offset: {0}, {-231..-1, 1.. 232-1} |
| test_vector | reverseChrono: {0}, {1} |
| test_vector | searchString: Addr_Set{null}, Inverse{null} |
| test_vector | startDate: Addr_Set{null}, Inverse{null} |
| test_vector | status: Addr_Set{null}, Inverse{null} |
| test_vector | website: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:equals(...)@892: {0}, {1} |
| test_vector | java.lang.StringBuffer:length(...)@905: {0}, {-231..-1, 1..232-1} |
| method | int removeMatchingComments(Weblog, WeblogEntry, String, Date, Date, String) |
| pre | this.strategy != null |
| pre | this.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 |
| presumption | java.util.Iterator:next(...)@949 != null |
| presumption | javax.persistence.Query:getResultList(...)@924 != null |
| post | return_value >= 0 |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on javax.persistence.EntityManager:remove |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on javax.persistence.Query:setFirstResult |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getWeblogEntry |
| unanalyzed | call on saveWebsite |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLastModified |
| test_vector | java.util.Iterator:hasNext(...)@948: {0}, {1} |
| 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 |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call 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 |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| test_vector | path: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:equals(...)@983: {0}, {1} |
| test_vector | java.lang.String:startsWith(...)@989: {1}, {0} |
| method | Map getWeblogEntryObjectMap(Weblog, Date, Date, String, List, String, String, int, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| post | return_value == &new TreeMap(getWeblogEntryMap# 1) |
| post | new TreeMap(getWeblogEntryMap#1) num objects == 1 |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isNotEm pty |
| unanalyzed | call on getWeblogCategoryByPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on javax.persistence.Query:setFirstResult |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.TreeMap |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance |
| unanalyzed | call on java.util.Calendar:setTimeZone |
| unanalyzed | call on org.apache.roller.util.DateUtil:get8charDat eFormat |
| unanalyzed | call on org.apache.roller.util.DateUtil:getNoonOfDa y |
| unanalyzed | call on java.util.TreeMap:get |
| unanalyzed | call on java.text.SimpleDateFormat:format |
| unanalyzed | call on java.util.TreeMap:put |
| method | Map getWeblogEntryStringMap(Weblog, Date, Date, String, List, String, String, int, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| post | return_value == &new TreeMap(getWeblogEntryMap# 1) |
| post | new TreeMap(getWeblogEntryMap#1) num objects == 1 |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isNotEm pty |
| unanalyzed | call on getWeblogCategoryByPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on javax.persistence.Query:setFirstResult |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.TreeMap |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance |
| unanalyzed | call on java.util.Calendar:setTimeZone |
| unanalyzed | call on org.apache.roller.util.DateUtil:get8charDat eFormat |
| unanalyzed | call on org.apache.roller.util.DateUtil:getNoonOfDa y |
| unanalyzed | call on java.util.TreeMap:get |
| unanalyzed | call on java.text.SimpleDateFormat:format |
| unanalyzed | call on java.util.TreeMap:put |
| method | Map getWeblogEntryMap(Weblog, Date, Date, String, List, String, bool, String, int, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | java.util.Calendar:getInstance(...)@1102 != null |
| presumption | java.util.Iterator:next(...)@1109 != null |
| presumption | javax.persistence.Query:getResultList(...)@645 != null |
| presumption | org.apache.roller.util.DateUtil:get8charDateFormat( ...)@1107 != null |
| post | return_value == &new TreeMap(getWeblogEntryMap# 1) |
| post | new TreeMap(getWeblogEntryMap#1) num objects == 1 |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogCategory:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isNotEm pty |
| unanalyzed | call on getWeblogCategoryByPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on javax.persistence.Query:setFirstResult |
| test_vector | stringsOnly: {0}, {1} |
| test_vector | website: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Iterator:hasNext(...)@1108: {0}, {1} |
| test_vector | java.util.TreeMap:get(...)@1112: Inverse{null}, Addr_Set{null} |
| test_vector | java.util.TreeMap:get(...)@1115: Inverse{null}, Addr_Set{null} |
| method | List getMostCommentedWeblogEntries(Weblog, Date, Date, int, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | java.util.Iterator:next(...)@1176 != null |
| presumption | javax.persistence.Query:getResultList(...)@1173 != null |
| presumption | row.length@1176 >= 4 |
| post | return_value == &new ArrayList(getMostCommented WeblogEntries#8) |
| post | new ArrayList(getMostCommentedWeblogEntries#8) num objects == 1 |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| test_vector | endDate: Inverse{null}, Addr_Set{null} |
| test_vector | length: {-1}, {-231..-2, 0.. 232-1} |
| test_vector | offset: {0}, {-231..-1, 1.. 232-1} |
| test_vector | startDate: Addr_Set{null}, Inverse{null} |
| test_vector | website: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Iterator:hasNext(...)@1175: {0}, {1} |
| method | WeblogEntry getNextEntry(WeblogEntry, String, String) |
| pre | current != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getWeblogCategoryByPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime |
| unanalyzed | call on org.apache.roller.RollerException |
| test_vector | java.util.List:size(...)@1198: {-231..0}, {1..232-1} |
| method | WeblogEntry getPreviousEntry(WeblogEntry, String, String) |
| pre | current != null |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:setMaxResults |
| unanalyzed | call on javax.persistence.Query:getResultList |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on getRootWeblogCategory |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on getWeblogCategoryByPath |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime |
| unanalyzed | call on org.apache.roller.RollerException |
| test_vector | java.util.List:size(...)@1211: {-231..0}, {1..232-1} |
| method | List getPopularTags(Weblog, Date, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | (int) (java.lang.Math:floor(...)@1299 + 1) in -231..232-1 |
| presumption | java.util.Iterator:next(...)@1282 != null |
| presumption | java.util.Iterator:next(...)@1298 != null |
| presumption | javax.persistence.Query:getResultList(...)@1274 != null |
| presumption | row.length@1282 >= 2 |
| post | return_value == &new ArrayList(getPopularTags#3 ) |
| post | new ArrayList(getPopularTags#3) num objects == 1 |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| test_vector | limit: {-1}, {-231..-2, 0.. 232-1} |
| test_vector | startDate: Addr_Set{null}, Inverse{null} |
| test_vector | website: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Iterator:hasNext(...)@1281: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@1297: {0}, {1} |
| method | List getTags(Weblog, String, String, int) |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | (soft) this.strategy.emf != null |
| presumption | java.util.Iterator:next(...)@1352 != null |
| presumption | javax.persistence.Query:getResultList(...)@1348 != null |
| presumption | row.length@1352 >= 2 |
| post | return_value == &new ArrayList(getTags#6) |
| post | new ArrayList(getTags#6) num objects == 1 |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| test_vector | limit: {-1}, {-231..-2, 0.. 232-1} |
| test_vector | sortBy: Inverse{null}, Addr_Set{null} |
| test_vector | startsWith: Addr_Set{null}, Inverse{null} |
| test_vector | website: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:equals(...)@1334: {0}, {1} |
| test_vector | java.lang.String:length(...)@1329: {0}, {1..232-1} |
| test_vector | java.util.Iterator:hasNext(...)@1351: {0}, {1} |
| method | bool getTagComboExists(List, Weblog) |
| pre | (soft) this.strategy != null |
| pre | (soft) this.strategy.emf != null |
| pre | (soft) this.strategy.threadLocalEntityManager != null |
| presumption | java.lang.String:length(...)@1394 - java.lang.StringBuffer:length(...)@1394 in -232+1..231 |
| presumption | java.util.List:size(...)@1385 <= 232-2 |
| presumption | java.util.List:size(...)@1388 <= 232-2 |
| post | init'ed(return_value) |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:createQuery |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| test_vector | tags: Addr_Set{null}, Inverse{null} |
| test_vector | weblog: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.List:size(...)@1375: {-231..-1, 1..232-1}, {0} |
| method | void updateTagCount(String, Weblog, int) |
| pre | amount != 0 |
| pre | this.strategy != null |
| pre | this.strategy.threadLocalEntityManager != null |
| pre | website != null |
| pre | (soft) this.strategy.emf != null |
| presumption | amount + org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal(...)@1464 in -231..232-1 |
| presumption | amount + org.apache.roller.weblogger.pojos. WeblogEntryTagAggregate:getTotal(...)@1484 in -231..232-1 |
| presumption | javax.persistence.EntityManager:createNamedQuery(.. .)@301 != null |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:contains |
| unanalyzed | call on javax.persistence.EntityManager:persist |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| test_vector | amount: {-231..-1}, {1..232-1} |