Messages

method | net.sourceforge.pebble.web.view.impl. AbstractFeedView__static_init

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

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 | void prepare()
pre | this.model != null
pre | this.model.data != null
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.util.HashMap:put

| info | method not available | -- call on void net.sourceforge.pebble.api. decorator.ContentDecoratorContext()

| info | method not available | -- call on void net.sourceforge.pebble.api. decorator.ContentDecoratorContext:setView(int)

| info | method not available | -- call on void net.sourceforge.pebble.api. decorator.ContentDecoratorContext:setMedia(int)

| info | method not available | -- call on void net.sourceforge.pebble.decorator. ContentDecoratorChain:decorate(ContentDecoratorCont ext, List)