Messages

method

net.sourceforge.pebble.util.UrlRewriter$TheRewrite r__static_init

method	Object initialValue()
post	return_value == &net.sourceforge.pebble.util. NullUrlRewriter__static_init.new NullUrlRewriter(Nu llUrlRewriter__static_init#1)

method

void net.sourceforge.pebble.util.UrlRewriter()

method	net.sourceforge.pebble.util.UrlRewriter__static_ init
post	x == &new UrlRewriter$TheRewriter(UrlRewriter__ static_init#1)
post	new UrlRewriter$TheRewriter(UrlRewriter__static_ init#1) num objects == 1
unanalyzed	call on java.lang.ThreadLocal

method	void useThisRewriter(UrlRewriter)
pre	x != null

info method not available -- call on void net.sourceforge.pebble.util. UrlRewriter$TheRewriter:set(Object)

method	void clear()
pre	x != null

info method not available -- call on void net.sourceforge.pebble.util. UrlRewriter$TheRewriter:remove()

method	String doRewrite(String)
pre	x != null
presumption	net.sourceforge.pebble.util.UrlRewriter_ TheRewriter:get(...)@53 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.Configuration:getSec ureUrl
unanalyzed	call on net.sourceforge.pebble.Configuration:getUrl
unanalyzed	call on java.lang.String:replace

info method not available -- call on Object net.sourceforge.pebble.util. UrlRewriter$TheRewriter:get()

info method not available -- call on String rewrite(String)

method

void net.sourceforge.pebble.util.UrlRewriter$TheRe writer()

method	void net.sourceforge.pebble.util.UrlRewriter$TheRe writer(UrlRewriter$TheRewriter)
unanalyzed	call on java.lang.ThreadLocal

method	UrlRewriter initialValue()
post	return_value == &net.sourceforge.pebble.util. NullUrlRewriter__static_init.new NullUrlRewriter(Nu llUrlRewriter__static_init#1)

	info	method not available	-- call on Object net.sourceforge.pebble.util. UrlRewriter$TheRewriter:get()
	info	method not available	-- call on String rewrite(String)