Messages

method | net.sourceforge.pebble.web.view.HtmlView__static_ init
post | init'ed(log)

method | void net.sourceforge.pebble.web.view.HtmlView()
unanalyzed | call on net.sourceforge.pebble.web.view.View

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

method | String getContentType()
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
post | return_value != null
unanalyzed | call on java.util.HashMap:get

| info | method not available | -- call on String net.sourceforge.pebble.domain. AbstractBlog:getCharacterEncoding()

method | String getLocalizedString(String)
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
post | init'ed(return_value)
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.util.ResourceBundle:getBundle
unanalyzed | call on java.util.ResourceBundle:getString

| info | method not available | -- call on Locale net.sourceforge.pebble.domain. AbstractBlog:getLocale()

method | String getTheme()
pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
post | init'ed(return_value)
unanalyzed | call on java.util.HashMap:get
test_vector | java.lang.String:equals(...)@98: {1}, {0}
test_vector | net.sourceforge.pebble.Configuration:isUserThemesEn abled(...)@97: {1}, {0}
test_vector | net.sourceforge.pebble.domain.AbstractBlog:getTheme (...)@95: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on String net.sourceforge.pebble.domain. AbstractBlog:getTheme()

| info | method not available | -- call on bool net.sourceforge.pebble. Configuration:isUserThemesEnabled()

method | int getStatus()
post | return_value == 200

method | void dispatch(HttpServletRequest, HttpServletRespo nse, ServletContext)
pre | context != null
pre | log != null
pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null
pre | request != null
pre | response != null
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
presumption | javax.servlet.ServletContext:getRequestDispatcher(. ..)@131 != null
presumption | init'ed(net.sourceforge.pebble.Constants.THEME)
unanalyzed | call on getModel
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.domain. AbstractBlog:getTheme
unanalyzed | call on net.sourceforge.pebble.Configuration:isUser ThemesEnabled
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.HashMap:containsKey
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getThemeDirectory
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getTemplate
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:canRead
unanalyzed | call on getLocalizedString
unanalyzed | call on net.sourceforge.pebble.domain. AbstractBlog:getLocale
unanalyzed | call on java.util.ResourceBundle:getBundle
unanalyzed | call on java.util.ResourceBundle:getString

| info | method not available | -- call on String getTitle()

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

| info | method not available | -- call on String getUri()

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. AbstractBlog:log(HttpServletRequest, int)

method | String getTemplate()
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
post | init'ed(return_value)
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.util.HashMap:containsKey
test_vector | java.io.File:canRead(...)@152: {0}, {1}
test_vector | java.util.HashMap:containsKey(...)@82: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getThemeDirectory()
| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getTemplate()

| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getTemplate()