| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | 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 | java.util.Iterator:next(...)@127 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.persistence.Query:getResultList(...)@117 != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(getProperties#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new HashMap(getProperties#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(...)@126: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.runtime_config) | 2009-09-04 18:33:31 |
| + | pre | (soft) 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.strategy.emf != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs) | 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 |
| + | post | init'ed(new RuntimeConfigDefs(unmarshall#1). configDefs) | 2009-09-04 18:33:31 |
| + | post | init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs) | 2009-09-04 18:33:31 |
| + | post | new ArrayList(RuntimeConfigDefs#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new RuntimeConfigDefs(unmarshall#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | org/apache/roller/weblogger/config/WebloggerRuntime Config.configDefs == One-of{old org/apache/roller/w eblogger/config/WebloggerRuntimeConfig.configDefs, &new RuntimeConfigDefs(unmarshall#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRuntimeConfigDefs | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:getResourceAsStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Integer:parseInt | 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.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Collection:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 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:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:values | 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.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:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:info | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getAttributeValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:size(...)@79: {1..232-1}, {-231..0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.runtime_config) | 2009-09-04 18:33:31 |
| + | pre | (soft) 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 | init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs) | 2009-09-04 18:33:31 |
| + | presumption | configDef.displayGroups@184 != null | 2009-09-04 18:33:31 |
| + | presumption | dGroup.propertyDefs@188 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@184 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@188 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@192 != null | 2009-09-04 18:33:31 |
| + | presumption | runtimeConfigDefs.configDefs != null | 2009-09-04 18:33:31 |
| + | post | init'ed(new RuntimeConfigDefs(unmarshall#1). configDefs) | 2009-09-04 18:33:31 |
| + | post | init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs) | 2009-09-04 18:33:31 |
| + | post | new ArrayList(RuntimeConfigDefs#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(initializeMissingProps#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new RuntimeConfigDefs(unmarshall#1) num objects == new ArrayList(RuntimeConfigDefs#1) num objects | 2009-09-04 18:33:31 |
| + | post | org/apache/roller/weblogger/config/WebloggerRuntime Config.configDefs == One-of{old org/apache/roller/w eblogger/config/WebloggerRuntimeConfig.configDefs, &new RuntimeConfigDefs(unmarshall#1)} | 2009-09-04 18:33:31 |
| + | post | return_value != null | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{props, &new HashMap(initializeMissingProps#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:getResourceAsStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Integer:parseInt | 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.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getAttributeValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@183: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@187: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@191: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:containsKey(...)@195: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | props: Inverse{null}, Addr_Set{null} | 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 | properties != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:values(...)@150 != 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:contains | 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 |
| + | test_vector | java.util.Iterator:hasNext(...)@151: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | 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 |
| + | 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:contains | 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 |