Messages

Last Msg First Msg

method

org.apache.roller.weblogger.business.jpa. JPARefererManagerImpl$LinkbackExtractorRunnable__st atic_init

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

method	Log access$000()
pre	init'ed(log)
post	return_value == log
post	init'ed(return_value)

method	JPAPersistenceStrategy access$100(JPARefererManage rImpl)
pre	x0 != null
post	return_value == x0.strategy
post	init'ed(return_value)

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

info method not available -- call on StatCountCountComparator org.apache.roller.weblogger.pojos.StatCountCountCo mparator:getInstance()

method	void org.apache.roller.weblogger.business.jpa. JPARefererManagerImpl(Weblogger, JPAPersistenceStra tegy)
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 saveReferer(WeblogReferrer)
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 removeReferer(WeblogReferrer)
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:remove

method	void clearReferrers()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != 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:createNamed Query
unanalyzed	call on javax.persistence.Query:executeUpdate

method	void clearReferrers(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != 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:createNamed Query
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:executeUpdate

method	void applyRefererFilters()
pre	org/apache/roller/weblogger/config/WebloggerRuntime Config.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
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	blacklist.length@113 <= 2³²-1
presumption	javax.persistence.Query:getResultList(...)@651 != null
presumption	org.apache.commons.lang.StringUtils:split(...)@113 != null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
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.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:createQuery
unanalyzed	call on javax.persistence.EntityManager:remove
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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	blacklist.length@113: {1..2³²-1}, {0}
test_vector	java.util.Iterator:hasNext(...)@117: {0}, {1}

info method not available -- call on String org.apache.commons.lang. StringUtils:deleteWhitespace(String)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

method	void applyRefererFilters(Weblog)
pre	website != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	blacklist.length@131 <= 2³²-1
presumption	javax.persistence.Query:getResultList(...)@660 != null
presumption	org.apache.commons.lang.StringUtils:split(...)@131 != null
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
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.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on javax.persistence.EntityManager:createQuery
unanalyzed	call on javax.persistence.EntityManager:remove
test_vector	blacklist.length@131: {1..2³²-1}, {0}
test_vector	java.util.Iterator:hasNext(...)@135: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getBlackli st(...)@129: Inverse{null}, Addr_Set{null}

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

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

info method not available -- call on String org.apache.commons.lang. StringUtils:deleteWhitespace(String)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

method	List getExistingReferers(Weblog, String, 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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getMatchingReferers(Weblog, String, 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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getHotWeblogs(int, int, int)
pre	sinceDays <= 2³¹
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.Calendar:getInstance(...)@176 != null
presumption	java.util.Calendar:getTime(...)@179 != null
presumption	java.util.Iterator:next(...)@198 != null
presumption	javax.persistence.Query:getResultList(...)@196 != null
presumption	row.length@198 >= 4
post	return_value == &new ArrayList(getHotWeblogs#1)
post	new ArrayList(getHotWeblogs#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	length: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	java.util.Iterator:hasNext(...)@197: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into msg

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires not_init'ed(row[0])

Prev Msg Next Msg

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

method	int getHits(Weblog, String)
pre	log != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
pre	(soft) type != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.List:get(...)@232 != null
presumption	javax.persistence.Query:getResultList(...)@230 != null
post	return_value in -1..0
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.lang.String:equals(...)@234: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@220: {0}, {1}
test_vector	resultsArray.length@232: {0}, {1..+Inf}

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

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

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because resultsArray[0] == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because resultsArray[0] == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because resultsArray[0] == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because resultsArray[0] == null

Prev Msg Next Msg

method	List getReferers(Weblog)
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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getTodaysReferers(Weblog)
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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getReferersToDate(Weblog, String)
pre	date != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.FALSE)
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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getReferersToEntry(String)
pre	entryid != null
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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.EntityManager:find

method	List getReferersToWebsite(Weblog, 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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	List getReferersWithSameTitle(Weblog, String, String, 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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode

method	int getDayHits(Weblog)
pre	log != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	return_value in -1..0
unanalyzed	call on org.apache.commons.logging.Log:debug
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:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzed	call on java.lang.Long:intValue

method	int getTotalHits(Weblog)
pre	log != null
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	website != null
pre	(soft) this.strategy.emf != null
post	return_value in -1..0
unanalyzed	call on org.apache.commons.logging.Log:debug
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:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzed	call on java.lang.Long:intValue

method	WeblogReferrer getReferer(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	void processReferrer(String, String, String, String, 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
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA UserManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA WeblogManagerImpl.log != null
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) this.roller != null
pre	(soft) this.roller.threadManager != null
pre	(soft) this.roller.threadManager.serviceScheduler != null
pre	(soft) this.roller.userManager != null
pre	(soft) this.roller.userManager.strategy != null
pre	(soft) this.roller.userManager.strategy.emf != null
pre	(soft) this.roller.userManager.strategy. threadLocalEntityManager != null
pre	(soft) this.roller.userManager.weblogHandleToIdMap != null
pre	(soft) this.roller.weblogManager != null
pre	(soft) this.roller.weblogManager.entryAnchorToIdMap != null
pre	(soft) this.roller.weblogManager.strategy != null
pre	(soft) this.roller.weblogManager.strategy. threadLocalEntityManager != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	java.lang.Integer:intValue(...)@435 <= 2³²-2
presumption	java.lang.Integer:intValue(...)@436 <= 2³²-2
presumption	java.util.List:get(...)@433 != null
presumption	javax.persistence.Query:getResultList(...)@160 != null
presumption	javax.persistence.Query:getResultList(...)@325 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tDayHits(...)@435 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tRefererUrl(...)@467 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tTotalHits(...)@436 != null
presumption	org.apache.roller.weblogger.util.Utilities:stripJse ssionId(...)@409 != null
presumption	weblogMgr.strategy.emf@384 != 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:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on javax.persistence.EntityManager:find
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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 javax.persistence.Query:getSingleResult
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Boolean:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getId
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.util.concurrent.ExecutorService:submit
test_vector	entryAnchor: Addr_Set{null}, Inverse{null}
test_vector	referrerUrl: Addr_Set{null}, Inverse{null}
test_vector	weblogHandle: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@473: {1}, {0}
test_vector	java.lang.String:length(...)@403: {8.. 2³²-1}, {0..7}
test_vector	java.lang.String:startsWith(...)@417: {0}, {1}
test_vector	java.lang.String:startsWith(...)@473: {1}, {0}
test_vector	java.util.List:size(...)@415: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	java.util.List:size(...)@425: {-2³¹..0, 2..2³²-1}, {1}
test_vector	java.util.List:size(...)@431: {-2³¹..0, 2..2³²-1}, {1}
test_vector	java.util.List:size(...)@443: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@463: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into selfSiteFragment

Prev Msg Next Msg

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

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:stripJsessionId(String)

info method not available -- call on Integer org.apache.roller.weblogger. pojos.WeblogReferrer:getDayHits()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setDayHits(Integer)

info method not available -- call on Integer org.apache.roller.weblogger. pojos.WeblogReferrer:getTotalHits()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setTotalHits(Integer)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer(String, Weblog, WeblogEntry, String, String, String, String, String, String, Boolean, Boolean, Integer, Integer)

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

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

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

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

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:error(Object)

method	void org.apache.roller.weblogger.business.jpa. JPARefererManagerImpl$LinkbackExtractorRunnable(JPA RefererManagerImpl, WeblogReferrer)
post	this.mReferer == referer
post	init'ed(this.mReferer)

method	void run()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) org/apache/roller/weblogger/business/jpa/JPA RefererManagerImpl.log != null
pre	(soft) this.mReferer != null
pre	(soft) this.strategy.emf != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.lang.String:length(...)@580 <= 4_294_967_195
presumption	java.util.Iterator:next(...)@578 != null
presumption	java.util.Iterator:next(...)@601 != null
presumption	javax.persistence.Query:getResultList(...)@149 != null
presumption	javax.persistence.Query:getResultList(...)@342 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tRefererUrl(...)@580 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tRefererUrl(...)@581 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tVisible(...)@590 != 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.EntityTransaction:rollbac k
unanalyzed	call on javax.persistence.EntityManager:close
unanalyzed	call on javax.persistence.EntityManager:createNamed Query
unanalyzed	call on javax.persistence.Query:setFlushMode
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
unanalyzed	call on javax.persistence.EntityManager:contains
unanalyzed	call on javax.persistence.EntityManager:persist
test_vector	java.lang.Boolean:booleanValue(...)@590: {0}, {1}
test_vector	java.lang.String:indexOf(...)@581: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@577: {0}, {1}
test_vector	java.util.List:size(...)@541: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	org.apache.roller.weblogger.util.LinkbackExtractor: getExcerpt(...)@523: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.util.LinkbackExtractor: getPermalink(...)@527: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.util.LinkbackExtractor: getTitle(...)@523: Addr_Set{null}, Inverse{null}

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

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

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

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getTitle()

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getExcerpt()

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getTitle()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setTitle(String)

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getExcerpt()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setExcerpt(String)

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getPermalink()

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getPermalink()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setRefererPermalink(String)

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogReferrer:getWebsite()

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

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setVisible(Boolean)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setDuplicate(Boolean)

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogReferrer:getWebsite()

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

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getTitle()

info method not available -- call on String org.apache.roller.weblogger.util. LinkbackExtractor:getExcerpt()

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

info method not available -- call on Boolean org.apache.roller.weblogger. pojos.WeblogReferrer:getVisible()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setDuplicate(Boolean)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setVisible(Boolean)

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

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

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

method

void release()

method	void clearDayHits()
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != 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:createNamed Query

method	void clearDayHitsByWebsite(Weblog)
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) this.strategy.emf != null
presumption	javax.persistence.EntityManager:createNamedQuery(.. .)@301 != 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:createNamed Query

method	List getBlackListedReferer(String[])
pre	blacklist != null
pre	blacklist.length in 1..2³²-1
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) blacklist[...] != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
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.Query:setFlushMode
unanalyzed	call on javax.persistence.EntityManager:createQuery

method	List getBlackListedReferer(Weblog, String[])
pre	blacklist != null
pre	blacklist.length in 1..2³²-1
pre	this.strategy != null
pre	this.strategy.threadLocalEntityManager != null
pre	(soft) blacklist[...] != null
pre	(soft) this.strategy.emf != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
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.Query:setFlushMode
unanalyzed	call on javax.persistence.EntityManager:createQuery

method	StringBuffer getQueryStringForBlackList(String[])
pre	blacklist != null
pre	blacklist.length in 1..2³²-1
pre	(soft) blacklist[...] != null
presumption	java.lang.String:length(...)@683 - java.lang. StringBuffer:length(...)@683 in -2³²+1.. 2³¹
post	return_value == &new StringBuffer(getQueryStrin gForBlackList#1)
post	new StringBuffer(getQueryStringForBlackList#1) num objects == 1
post	return_value._tainted == 0

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into OR

Prev Msg Next Msg

	info	method not available	-- call on String org.apache.commons.lang. StringUtils:deleteWhitespace(String)
	info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getBlacklist()
info	method not available	-- call on String org.apache.commons.lang. StringUtils:deleteWhitespace(String)
info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

	info	method not available	-- call on Integer org.apache.roller.weblogger. pojos.WeblogReferrer:getDayHits()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogReferrer:setDayHits(Integer)

info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogReferrer:getWebsite()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getDateString()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getRefererPermalink()