Messages

Last Msg First Msg

method	org.apache.roller.weblogger.config. WebloggerRuntimeConfig__static_init
post	absoluteContextURL == null
post	configDefs == null
post	relativeContextURL == null
post	init'ed(log)
post	runtime_config == &".org.apache.roller. weblogger.config.runtimeConfigDefs.xml"

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

method

void org.apache.roller.weblogger.config. WebloggerRuntimeConfig()

method	String getProperty(String)
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
presumption	getWeblogger(...).propertiesManager != null
presumption	pmgr.strategy != null
presumption	pmgr.strategy.emf != null
presumption	pmgr.strategy.threadLocalEntityManager != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
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
test_vector	javax.persistence.EntityManager:find(...)@216: Addr_Set{null}, Inverse{null}

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

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

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

method	bool getBooleanProperty(String)
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:debug

method	int getIntProperty(String)
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:debug

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

method	RuntimeConfigDefs getRuntimeConfigDefs()
pre	init'ed(configDefs)
pre	(soft) log != null
pre	(soft) init'ed(runtime_config)
presumption	java.lang.Class:getResourceAsStream(...)@124 != null
post	configDefs == One-of{old configDefs, &new RuntimeConfigDefs(unmarshall#1)}
post	init'ed(configDefs)
post	return_value == 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 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.lang.Throwable:__curr_excep_obj
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
test_vector	configDefs: Inverse{null}, Addr_Set{null}

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

method	String getRuntimeConfigDefsAsString()
pre	log != null
pre	(soft) init'ed(runtime_config)
post	java.io.StringWriter:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.io. StringWriter:toString(...),&""}
test_vector	java.io.InputStreamReader:read(...)@160: {-2³¹..0}, {1..2³²-1}

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

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

method	void setAbsoluteContextURL(String)
post	absoluteContextURL == url
post	init'ed(absoluteContextURL)

method	String getAbsoluteContextURL()
pre	log != null
pre	(soft) init'ed(absoluteContextURL)
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	(soft) init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:debug
test_vector	java.lang.String:length(...)@195: {0}, {1..2³²-1}

method	void setRelativeContextURL(String)
post	relativeContextURL == url
post	init'ed(relativeContextURL)

method	String getRelativeContextURL()
pre	init'ed(relativeContextURL)
post	return_value == relativeContextURL
post	init'ed(return_value)

method	bool isFrontPageWeblog(String)
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:debug

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires frontPageHandle != null

Prev Msg Next Msg

method	bool isSiteWideWeblog(String)
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
post	init'ed(return_value)
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:equals