Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.jpa. JPAPropertiesManagerImpl__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.business.jpa. JPAPropertiesManagerImpl(Weblogger, JPAPersistenceStrategy)
pre	log != null
post	this.roller == roller
post	init'ed(this.roller)
post	this.strategy == strategy
post	init'ed(this.strategy)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	void initialize()
pre	init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.runtime_config)
pre	(soft) this.strategy.emf != null
post	org/apache/roller/weblogger/config/WebloggerRuntime Config.configDefs == One-of{old org/apache/roller/w eblogger/config/WebloggerRuntimeConfig.configDefs, &new RuntimeConfigDefs(unmarshall#1)}
post	init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs)
post	new ArrayList(RuntimeConfigDefs#1) num objects <= 1
post	new RuntimeConfigDefs(unmarshall#1) num objects <= 1
post	init'ed(new RuntimeConfigDefs(unmarshall#1). configDefs)
unanalyzed	call on java.util.HashMap
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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getName
unanalyzed	call on java.util.HashMap:put
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getRuntimeConfigDefs
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildText
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:add
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	java.util.Map:size(...)@79: {1..2³²-1}, {-2³¹..0}

method	RuntimeConfigProperty getProperty(String)
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 javax.persistence.EntityManager:find

method	Map getProperties()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	java.util.Iterator:next(...)@127 != null
presumption	javax.persistence.Query:getResultList(...)@117 != null
post	return_value == &new HashMap(getProperties#1)
post	new HashMap(getProperties#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 javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
test_vector	java.util.Iterator:hasNext(...)@126: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.RuntimeConfigProperty:getName()

method	void saveProperty(RuntimeConfigProperty)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != 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

method	void saveProperties(Map)
pre	properties != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Map:values(...)@150 != 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.util.Iterator:hasNext(...)@151: {0}, {1}

method	Map initializeMissingProps(Map)
pre	init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs)
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.runtime_config)
presumption	configDef.displayGroups@184 != null
presumption	dGroup.propertyDefs@188 != null
presumption	java.util.Iterator:next(...)@184 != null
presumption	java.util.Iterator:next(...)@188 != null
presumption	java.util.Iterator:next(...)@192 != null
presumption	runtimeConfigDefs.configDefs != null
post	org/apache/roller/weblogger/config/WebloggerRuntime Config.configDefs == One-of{old org/apache/roller/w eblogger/config/WebloggerRuntimeConfig.configDefs, &new RuntimeConfigDefs(unmarshall#1)}
post	init'ed(org/apache/roller/weblogger/config/Weblogge rRuntimeConfig.configDefs)
post	return_value == One-of{props, &new HashMap(initializeMissingProps#1)}
post	return_value != null
post	new ArrayList(RuntimeConfigDefs#1) num objects <= 1
post	new RuntimeConfigDefs(unmarshall#1) num objects == new ArrayList(RuntimeConfigDefs#1) num objects
post	new HashMap(initializeMissingProps#1) num objects <= 1
post	init'ed(new RuntimeConfigDefs(unmarshall#1). configDefs)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on org.jdom.Element:getAttributeValue
unanalyzed	call on org.jdom.Element:getChildText
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	props: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@183: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@187: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@191: {0}, {1}
test_vector	java.util.Map:containsKey(...)@195: {1}, {0}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires getConfigDefs(...) != null

Prev Msg Next Msg

info method not available -- call on void org.apache.roller.weblogger.pojos. RuntimeConfigProperty(String, String)

info method not available -- call on void org.apache.commons.logging. Log:info(Object)

method

void release()