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)