| -/+ |
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) website != null | 2009-09-04 18:33:31 |
| + | presumption | getWeblogger(...).userManager != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.logging.LogFactory:getLog(... )@48 != 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 | new Properties(loadAcronyms#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new Properties(loadAcronyms#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWeblogger | 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:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 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 java.util.Properties:setProperty | 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 |
| + | 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. WeblogTemplate:getContents | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) acronymPatterns.length <= acronymTags. length | 2009-09-04 18:33:31 |
| + | pre | (soft) acronymPatterns[...] != null | 2009-09-04 18:33:31 |
| + | pre | (soft) acronymTags != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(acronymTags[...]) | 2009-09-04 18:33:31 |
| + | pre | acronymPatterns != null | 2009-09-04 18:33:31 |
| + | pre | acronymPatterns.length <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:matcher(...)@160 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.logging.LogFactory:getLog(... )@48 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@154: {0}, {1} | 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 | entry != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Properties:keySet(...)@100 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Properties:size(...)@97 >= 0 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Properties:size(...)@98 - java.util.Properties:size(...)@97 in 0..232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Properties:size(...)@98 >= 1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@102 init'ed | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.logging.LogFactory:getLog(... )@48 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@88 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getPageByName | 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.String:indexOf | 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:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 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 java.util.Properties | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:setProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:replaceAll | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Pattern:matcher | 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 |
| + | 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.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogTemplate:getContents | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@100: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Properties:size(...)@90: {-231. .-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Properties:size(...)@97: {1.. 232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@81: {0}, {1} | 2009-09-04 18:33:31 |