Messages

method | net.sourceforge.pebble.web.listener. PebbleContextListener__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.web.listener. PebbleContextListener()

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

method | void contextInitialized(ServletContextEvent)
pre | event != null
pre | log != null
presumption | java.lang.System:currentTimeMillis(...)@114 - java.lang.System:currentTimeMillis(...)@63 in -263..18_446_744_073_709_551 _615
presumption | java.util.Iterator:next(...)@79 != null
presumption | javax.servlet.ServletContextEvent:getServletContext (...)@72 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getBlogs( ...)@78 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@74 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@75 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@78 != null
presumption | org.springframework.context.ApplicationContext:getB ean(...)@67 != null
presumption | org.springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext(...)@66 != null
post | (soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null
post | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).webApplicationRoot)
test_vector | java.util.Iterator:hasNext(...)@79: {1}, {0}
test_vector | net.sourceforge.pebble.domain.Blog:getNumberOfBlogE ntries(...)@82: {-231..-1, 1..232-1}, {0}

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

| info | method not available | -- call on WebApplicationContext org. springframework.web.context.support. WebApplicationContextUtils:getRequiredWebApplicatio nContext(ServletContext)

| info | method not available | -- call on Object org.springframework.context. ApplicationContext:getBean(String)

| info | method not available | -- call on DAOFactory net.sourceforge.pebble. Configuration:getDaoFactory()
| info | method not available | -- call on void net.sourceforge.pebble.dao. DAOFactory:setConfiguredFactory(DAOFactory)

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on bool net.sourceforge.pebble. Configuration:isMultiBlog()
| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogManager:setMultiBlog(bool)

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogManager:startBlogs()

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on Collection net.sourceforge.pebble. domain.BlogManager:getBlogs()

| info | method not available | -- call on int net.sourceforge.pebble.domain. Blog:getNumberOfBlogEntries()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getId()
| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry(Blog)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setAuthor(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setPublished(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getId()
| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object)

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

method | void contextDestroyed(ServletContextEvent)
pre | log != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@125 != null

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

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogManager:stopBlogs()

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