Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.velocity. deprecated.NewsfeedCache__static_init
post	instance == null
post	init'ed(log)

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

method	void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.NewsfeedCache()
pre	(soft) log != null
post	this.aggregator_cache_enabled == 1
post	init'ed(this.aggregator_cache_timeout)
post	this.aggregator_enabled == 1
post	this.mCache == &new LRUCache2(NewsfeedCache#2)
post	new LRUCache2(NewsfeedCache#2) num objects == 1
test_vector	java.lang.String:equalsIgnoreCase(...)@62: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@65: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@60: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

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

info method not available -- call on void org.apache.roller.weblogger.util. LRUCache2(int, long)

method	NewsfeedCache getInstance()
pre	init'ed(instance)
pre	(soft) log != null
post	instance == One-of{old instance, &new NewsfeedCache(getInstance#1)}
post	instance != null
post	return_value == One-of{old instance, &new NewsfeedCache(getInstance#1)}
post	return_value != null
post	new LRUCache2(NewsfeedCache#2) num objects <= 1
post	new NewsfeedCache(getInstance#1) num objects <= 1
post	new NewsfeedCache(getInstance#1).aggregator_cache_ enabled == 1
post	init'ed(new NewsfeedCache(getInstance#1). aggregator_cache_timeout)
post	new NewsfeedCache(getInstance#1).aggregator_ enabled == 1
post	new NewsfeedCache(getInstance#1).mCache == &new LRUCache2(NewsfeedCache#2)
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.util.LRUCache2
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@85: {0}, {1}

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

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

method	SyndFeed getChannel(String)
pre	(soft) log != null
pre	(soft) init'ed(this.aggregator_cache_enabled)
pre	(soft) init'ed(this.aggregator_enabled)
pre	(soft) this.mCache != null
presumption	java.lang.String:indexOf(...)@147 + java.lang.String:length(...)@151 in -2³¹..2³²-1
presumption	java.net.URL:openConnection(...)@141 != null
post	init'ed(return_value)
test_vector	this.aggregator_cache_enabled: {0}, {1}
test_vector	this.aggregator_enabled: {1}, {0}
test_vector	java.lang.String:indexOf(...)@147: {-2³¹. .-1}, {0..2³²-1}
test_vector	java.lang.String:indexOf(...)@149: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.net.URLConnection:getContentType(...)@143: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@111: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@117: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@136: {0}, {1}
test_vector	org.apache.roller.weblogger.util.LRUCache2:get(... )@116: Inverse{null}, Addr_Set{null}

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

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

info method not available -- call on Object org.apache.roller.weblogger.util. LRUCache2:get(Object)

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

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

info method not available -- call on void com.sun.syndication.io. SyndFeedInput()

info method not available -- call on SyndFeed com.sun.syndication.io. SyndFeedInput:build(Reader)

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

info method not available -- call on void org.apache.roller.weblogger.util. LRUCache2:put(Object, Object)

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

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

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 test

Prev Msg Next Msg

info method not available -- call on void com.sun.syndication.io. SyndFeedInput()

info method not available -- call on SyndFeed com.sun.syndication.io. SyndFeedInput:build(Reader)

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

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

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