| -/+ |
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.strategy != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerRuntime Config.log != null | 2009-09-04 18:33:31 |
| + | presumption | blacklist.length@113 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@651 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:split(...)@113 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPropertiesManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 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:createQuery | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:find | 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.EntityManager:remove | 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 org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue | 2009-09-04 18:33:31 |
| + | test_vector | blacklist.length@113: {1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@117: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | website != null | 2009-09-04 18:33:31 |
| + | presumption | blacklist.length@131 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@660 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:split(...)@131 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 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:createQuery | 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.EntityManager:remove | 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 |
| + | test_vector | blacklist.length@131: {1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@135: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.Weblog:getBlackli st(...)@129: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | website != null | 2009-09-04 18:33:31 |
| + | post | return_value in -1..0 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:intValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 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.util.List:get | 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 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | (soft) type != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | website != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@232 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@230 != null | 2009-09-04 18:33:31 |
| + | post | return_value in -1..0 | 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:setFlushMode | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@234: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@220: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | resultsArray.length@232: {0}, {1..+Inf} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | sinceDays <= 231 | 2009-09-04 18:33:31 |
| + | pre | this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getInstance(...)@176 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getTime(...)@179 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@198 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@196 != null | 2009-09-04 18:33:31 |
| + | presumption | row.length@198 >= 4 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getHotWeblogs#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ArrayList(getHotWeblogs#1) | 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:setFlushMode | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@197: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | length: {-231..-2, 0..232-1}, {-1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | website != null | 2009-09-04 18:33:31 |
| + | post | return_value in -1..0 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:intValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 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.util.List:get | 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 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 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) org/apache/roller/weblogger/business/jpa/JPA UserManagerImpl.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/business/jpa/JPA WeblogManagerImpl.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.threadManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.threadManager.serviceScheduler != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager.strategy != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager.strategy. threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.userManager.weblogHandleToIdMap != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.weblogManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.weblogManager.entryAnchorToIdMap != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.weblogManager.strategy != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller.weblogManager.strategy. threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | java.lang.Integer:intValue(...)@435 <= 232-2 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.Integer:intValue(...)@436 <= 232-2 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@433 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@160 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@325 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tDayHits(...)@435 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tRefererUrl(...)@467 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tTotalHits(...)@436 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:stripJse ssionId(...)@409 != null | 2009-09-04 18:33:31 |
| + | presumption | weblogMgr.strategy.emf@384 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPropertiesManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:booleanValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:equals | 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 java.util.Hashtable:containsKey | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Hashtable:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Hashtable:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Hashtable:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:containsKey | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.concurrent.ExecutorService:submit | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:contains | 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:find | 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.EntityManager:persist | 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: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 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getId | 2009-09-04 18:33:31 |
| + | test_vector | entryAnchor: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@473: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@403: {8.. 232-1}, {0..7} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@417: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@473: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@415: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@425: {-231..0, 2..232-1}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@431: {-231..0, 2..232-1}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@443: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@463: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | referrerUrl: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | weblogHandle: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/business/jpa/JPA RefererManagerImpl.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mReferer != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy != null | 2009-09-04 18:33:31 |
| + | pre | this.strategy.threadLocalEntityManager != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | java.lang.String:length(...)@580 <= 4_294_967_195 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@578 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@601 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@149 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@342 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tRefererUrl(...)@580 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tRefererUrl(...)@581 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tVisible(...)@590 != null | 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:close | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.persistence.EntityManager:contains | 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.EntityManager:persist | 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.EntityTransaction:rollbac k | 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 |
| + | test_vector | java.lang.Boolean:booleanValue(...)@590: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:indexOf(...)@581: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@577: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@541: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.util.LinkbackExtractor: getExcerpt(...)@523: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.util.LinkbackExtractor: getPermalink(...)@527: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.util.LinkbackExtractor: getTitle(...)@523: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |