Messages

method

net.sourceforge.pebble.decorator.RadeoxDecorator__ static_init

method

net.sourceforge.pebble.decorator.RadeoxWikiRenderE ngine__static_init

method

void net.sourceforge.pebble.decorator. RadeoxDecorator()

method	void decorate(ContentDecoratorContext, BlogEntry)
pre	blogEntry != null
pre	blogEntry.propertyChangeSupport != null
pre	init'ed(blogEntry.body)
pre	init'ed(blogEntry.excerpt)
pre	this.blog != null
pre	this.blog.properties != null
post	blogEntry.body != null
post	init'ed(blogEntry.excerpt)
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:substring
unanalyzed	call on org.radeox.api.engine.RenderEngine:render
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on org.radeox.engine.BaseRenderEngine
unanalyzed	call on org.radeox.api.engine.context. InitialRenderContext:setRenderEngine
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Locale
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on java.lang.String:trim

info method not available -- call on void org.radeox.engine.context. BaseInitialRenderContext()

info method not available -- call on void org.radeox.api.engine.context. InitialRenderContext:set(String, Object)

method	void decorate(ContentDecoratorContext, StaticPage)
pre	init'ed(staticPage.body)
pre	staticPage != null
pre	staticPage.propertyChangeSupport != null
pre	this.blog != null
pre	this.blog.properties != null
post	staticPage.body != null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:substring
unanalyzed	call on org.radeox.api.engine.RenderEngine:render
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on org.radeox.engine.BaseRenderEngine
unanalyzed	call on org.radeox.api.engine.context. InitialRenderContext:setRenderEngine
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Locale
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange

info method not available -- call on void org.radeox.engine.context. BaseInitialRenderContext()

info method not available -- call on void org.radeox.api.engine.context. InitialRenderContext:set(String, Object)

method	String wikify(String, RenderEngine, InitialRenderContext)
pre	(soft) renderEngine != null
presumption	java.lang.String:length(...)@79 - java.lang. String:length(...)@79 in -2³²+1.. 2³¹
presumption	java.util.regex.Pattern:compile(...)@68 != null
presumption	java.util.regex.Pattern:matcher(...)@70 != null
post	return_value != null
test_vector	content: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@60: {1.. 2³²-1}, {0}
test_vector	java.util.regex.Matcher:find(...)@73: {1}, {0}

info method not available -- call on String org.radeox.api.engine. RenderEngine:render(String, RenderContext)

method	void net.sourceforge.pebble.decorator. RadeoxWikiRenderEngine(InitialRenderContext, Blog)
pre	context != null
post	this.blog == blog
post	init'ed(this.blog)

info method not available -- call on void org.radeox.engine.BaseRenderEngine( InitialRenderContext)

info method not available -- call on void org.radeox.api.engine.context. InitialRenderContext:setRenderEngine(RenderEngine)

method	bool exists(String)
pre	this.blog != null
pre	this.blog.staticPageIndex != null
pre	this.blog.staticPageIndex.index != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:containsKey

method	bool showCreate()
post	return_value == 1

method	void appendLink(StringBuffer, String, String)
pre	buffer != null
pre	this.blog != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(this.blog.id)
unanalyzed	call on getUrl
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on net.sourceforge.pebble.util. UrlRewriter:doRewrite
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on java.lang.String:substring

method	void appendLink(StringBuffer, String, String, String)
pre	buffer != null
pre	this.blog != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(this.blog.id)
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
test_vector	anchor: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@118: {0}, {1..2³²-1}

info method not available -- call on String net.sourceforge.pebble.util. UrlRewriter:doRewrite(String)

method	void appendCreateLink(StringBuffer, String, String)
pre	buffer != null