| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | getWeblogger(...).userManager != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getSingleResult | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | post | init'ed(new FileManagerImpl$WeblogResourceFile(getF ile#3).relativePath) | 2009-09-04 18:33:31 |
| + | post | new File(getRealFile#6) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new FileManagerImpl$WeblogResourceFile(getFile#3) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new FileManagerImpl$WeblogResourceFile(getFile#3). relativePath == path | 2009-09-04 18:33:31 |
| + | post | new FileManagerImpl$WeblogResourceFile(getFile#3). resourceFile == &new File(getRealFile#6) | 2009-09-04 18:33:31 |
| + | post | new FileManagerImpl$WeblogResourceFile(getFile#3). weblog != null | 2009-09-04 18:33:31 |
| + | post | new FileManagerImpl$WeblogResourceFile(getFile#3). weblog == this.weblog | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{&new FileManagerImpl$Web logResourceFile(getFile#3), null} | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{null,&new FileManagerImpl$WeblogResourceFile(getFile#3)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:canRead | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:exists | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:getAbsolutePath | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:getCanonicalPath | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:isDirectory | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.File:mkdirs | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:indexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:replace | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:startsWith | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.RollerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger. WebloggerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | this.weblog != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPageByLink | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getSingleResult | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | getWeblogger(...).userManager != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getSingleResult | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |
| + | test_vector | action: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | getWeblogger(...).userManager != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getSingleResult | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |
| + | test_vector | link: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | getWeblogger(...).userManager != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getSingleResult | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |
| + | test_vector | name: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/business/WebloggerFacto ry.webloggerProvider.webloggerInstance != null | 2009-09-04 18:33:31 |
| + | pre | this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | getWeblogger(...).userManager != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.emf != null | 2009-09-04 18:33:31 |
| + | presumption | userMgr.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.ThreadLocal:set | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:createNamed Query | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:getTransact ion | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:begin | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityTransaction:isActiv e | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:getResultList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setFlushMode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.Query:setParameter | 2009-09-04 18:33:31 |