Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.jpa. JPAPingTargetManagerImpl__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. JPAPingTargetManagerImpl(Weblogger, JPAPersistenceStrategy)
post	this.roller == roller
post	init'ed(this.roller)
post	this.strategy == strategy
post	init'ed(this.strategy)

method	void removePingTarget(PingTarget)
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:createNamed Query
unanalyzed	call on javax.persistence.Query:setParameter
unanalyzed	call on javax.persistence.Query:executeUpdate
unanalyzed	call on javax.persistence.EntityManager:remove

method	void removePingTargetContents(PingTarget)
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 removeAllCustomPingTargets()
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 savePingTarget(PingTarget)
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	PingTarget getPingTarget(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	bool isNameUnique(PingTarget)
pre	pingTarget != null
pre	(soft) this.strategy != null
pre	(soft) this.strategy.emf != null
pre	(soft) this.strategy.threadLocalEntityManager != null
presumption	java.util.Iterator:next(...)@126 != null
presumption	javax.persistence.Query:getResultList(...)@177 != null
presumption	javax.persistence.Query:getResultList(...)@185 != null
presumption	org.apache.roller.weblogger.pojos.PingTarget:getId( ...)@128 != null
presumption	org.apache.roller.weblogger.pojos.PingTarget:getNam e(...)@128 != 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.Query:setParameter
unanalyzed	call on javax.persistence.Query:getResultList
test_vector	java.lang.String:equals(...)@128: {0}, {1}
test_vector	java.lang.String:equals(...)@128: {1}, {0}
test_vector	java.lang.String:length(...)@108: {1.. 2³²-1}, {0}
test_vector	java.util.Iterator:hasNext(...)@125: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.PingTarget:getId( ...)@110: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.PingTarget:getNam e(...)@107: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.PingTarget:getWeb site(...)@115: Inverse{null}, Addr_Set{null}

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

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

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

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

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

method	bool isUrlWellFormed(PingTarget)
pre	pingTarget != null
presumption	java.net.URL:getHost(...)@147 != null
presumption	java.net.URL:getProtocol(...)@146 != null
post	init'ed(return_value)
test_vector	java.lang.String:length(...)@141: {1.. 2³²-1}, {0}
test_vector	org.apache.roller.weblogger.pojos.PingTarget:getPin gUrl(...)@140: Addr_Set{null}, Inverse{null}

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

method	bool isHostnameKnown(PingTarget)
pre	pingTarget != null
post	init'ed(return_value)
test_vector	java.lang.String:length(...)@159: {1.. 2³²-1}, {0}
test_vector	java.lang.String:length(...)@163: {1.. 2³²-1}, {0}
test_vector	java.net.URL:getHost(...)@162: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.PingTarget:getPin gUrl(...)@158: Addr_Set{null}, Inverse{null}

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

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into addr

Prev Msg Next Msg

method	List getCommonPingTargets()
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 getCustomPingTargets(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

void release()

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