| 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} |