Messages

method	org.apache.roller.weblogger.business.plugins. entry.WikipediaLinkPlugin__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@47 != null
post	linkFormat == &new MessageFormat(WikipediaLinkP lugin__static_init#1)
post	luckyLinkFormat == &new MessageFormat(Wikipedia LinkPlugin__static_init#2)
post	init'ed(mLogger)
post	init'ed(pattern)
post	new MessageFormat(WikipediaLinkPlugin__static_ init#1) num objects == 1
post	new MessageFormat(WikipediaLinkPlugin__static_ init#2) num objects == 1

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

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

method	void org.apache.roller.weblogger.business.plugins. entry.WikipediaLinkPlugin()
post	this.baseVersion == &"2.1"
post	init'ed(this.mLogger)
unanalyzed	call on getLogger

method	String getName()
post	return_value == &"Wikipedia Search Links"

method	String getDescription()
post	return_value == &"Replace wikipedia:&qu ot;link text&quot;{search text} with a link that ... {search text} omitted, uses link text as the value of the search text."

method	String getVersion()
post	return_value == &"2.1"

method	Pattern getPattern()
post	init'ed(return_value)

method	MessageFormat getLinkFormat()
post	return_value == &new MessageFormat(WikipediaLin kPlugin__static_init#1)

method	MessageFormat getLuckyLinkFormat()
post	return_value == &new MessageFormat(WikipediaLin kPlugin__static_init#2)

method	Log getLogger()
post	init'ed(return_value)