test_class.declarator: listener
test_class.modifier: private
test_class.original_string: private ShutdownListener listener;
test_class.type: ShutdownListener
test_class.var_name: listener
test_class.declarator: context
test_class.modifier: private
test_class.original_string: private ServletContext context;
test_class.type: ServletContext
test_class.var_name: context
test_class.declarator: manager
test_class.modifier: private
test_class.original_string: private SessionManager manager;
test_class.type: SessionManager
test_class.var_name: manager
test_class.file: session-replacement/src/test/java/com/amadeus/session/servlet/TestShutdownListener.java
test_class.identifier: TestShutdownListener
test_case.body: @Test
    public void testContextDestroyed() {
      ServletContextEvent event = new ServletContextEvent(context);
      listener.contextDestroyed(event);
      verify(manager, never()).close();
    }
test_case.class_method_signature: TestShutdownListener.testContextDestroyed()
test_case.full_signature: @Test public void testContextDestroyed()
test_case.identifier: testContextDestroyed
test_case.invocations: contextDestroyed close verify never
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testContextDestroyed()
focal_class.file: session-replacement/src/main/java/com/amadeus/session/servlet/ShutdownListener.java
focal_class.identifier: ShutdownListener
focal_class.interfaces: implements ServletContextListener
focal_class.class_method_signature: ShutdownListener.contextDestroyed(ServletContextEvent event)
focal_class.full_signature: @Override public void contextDestroyed(ServletContextEvent event)
focal_class.identifier: contextDestroyed
focal_class.modifiers: @Override public
focal_class.parameters: (ServletContextEvent event)
focal_class.return: void
focal_class.signature: void contextDestroyed(ServletContextEvent event)
focal_class.class_method_signature: ShutdownListener.contextInitialized(ServletContextEvent event)
focal_class.full_signature: @Override public void contextInitialized(ServletContextEvent event)
focal_class.identifier: contextInitialized
focal_class.modifiers: @Override public
focal_class.parameters: (ServletContextEvent event)
focal_class.return: void
focal_class.signature: void contextInitialized(ServletContextEvent event)
focal_method.body: @Override
    public void contextDestroyed(ServletContextEvent event) {
      // If we have session manager we need to close it
      SessionManager sessionManager = (SessionManager)event.getServletContext().getAttribute(Attributes.SESSION_MANAGER);
      if (sessionManager != null) {
        sessionManager.close();
      }
    }
focal_method.class_method_signature: ShutdownListener.contextDestroyed(ServletContextEvent event)
focal_method.full_signature: @Override public void contextDestroyed(ServletContextEvent event)
focal_method.identifier: contextDestroyed
focal_method.invocations: getAttribute getServletContext close
focal_method.modifiers: @Override public
focal_method.parameters: (ServletContextEvent event)
focal_method.return: void
focal_method.signature: void contextDestroyed(ServletContextEvent event)