## pebblecontextlistener.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- - void contextDestroyed(ServletContextEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- + void contextDestroyed(ServletContextEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | log != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@125 != null | 2010-07-22 12:56:56

- - void contextInitialized(ServletContextEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- + void contextInitialized(ServletContextEvent)

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

- void net.sourceforge.pebble.web.listener.PebbleContextListener()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- net.sourceforge.pebble.web.listener.PebbleContextListener__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(log) | 2010-07-22 12:56:56