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()

	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 net.sourceforge.pebble.domain. Blog:getThemeDirectory()
	info	method not available	-- call on String net.sourceforge.pebble.domain. StaticPage:getTemplate()