test_class.declarator: servletContext
test_class.modifier: private
test_class.original_string: private ServletContext servletContext;
test_class.type: ServletContext
test_class.var_name: servletContext
test_class.file: everrest-core/src/test/java/org/everrest/core/servlet/EverrestInitializedListenerTest.java
test_class.identifier: EverrestInitializedListenerTest
test_case.body: @Test
      public void setsEverrestComponentsAsServletContextAttributeWhenServletContextInitialized() {
          EverrestInitializedListener everrestInitializedListener = new EverrestInitializedListener();
          ServletContextEvent servletContextEvent = new ServletContextEvent(servletContext);
          everrestInitializedListener.contextInitialized(servletContextEvent);
  
          verify(servletContext).setAttribute(eq(EverrestProcessor.class.getName()), isA(EverrestProcessor.class));
          verify(servletContext).setAttribute(eq(EverrestConfiguration.class.getName()), isA(EverrestConfiguration.class));
          verify(servletContext).setAttribute(eq(Application.class.getName()), isA(EverrestApplication.class));
          verify(servletContext).setAttribute(eq(ApplicationProviderBinder.class.getName()), isA(ProviderBinder.class));
          verify(servletContext).setAttribute(eq(ResourceBinder.class.getName()), isA(ResourceBinder.class));
          verify(servletContext).setAttribute(eq(DependencySupplier.class.getName()), isA(DependencySupplier.class));
      }
test_case.class_method_signature: EverrestInitializedListenerTest.setsEverrestComponentsAsServletContextAttributeWhenServletContextInitialized()
test_case.full_signature: @Test public void setsEverrestComponentsAsServletContextAttributeWhenServletContextInitialized()
test_case.identifier: setsEverrestComponentsAsServletContextAttributeWhenServletContextInitialized
test_case.invocations: contextInitialized setAttribute verify eq getName isA setAttribute verify eq getName isA setAttribute verify eq getName isA setAttribute verify eq getName isA setAttribute verify eq getName isA setAttribute verify eq getName isA
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void setsEverrestComponentsAsServletContextAttributeWhenServletContextInitialized()
focal_class.file: everrest-core/src/main/java/org/everrest/core/servlet/EverrestInitializedListener.java
focal_class.identifier: EverrestInitializedListener
focal_class.interfaces: implements ServletContextListener
focal_class.class_method_signature: EverrestInitializedListener.contextDestroyed(ServletContextEvent sce)
focal_class.full_signature: @Override public void contextDestroyed(ServletContextEvent sce)
focal_class.identifier: contextDestroyed
focal_class.modifiers: @Override public
focal_class.parameters: (ServletContextEvent sce)
focal_class.return: void
focal_class.signature: void contextDestroyed(ServletContextEvent sce)
focal_class.class_method_signature: EverrestInitializedListener.makeFileCollectorDestroyer()
focal_class.full_signature: protected FileCollectorDestroyer makeFileCollectorDestroyer()
focal_class.identifier: makeFileCollectorDestroyer
focal_class.modifiers: protected
focal_class.parameters: ()
focal_class.return: FileCollectorDestroyer
focal_class.signature: FileCollectorDestroyer makeFileCollectorDestroyer()
focal_class.class_method_signature: EverrestInitializedListener.contextInitialized(ServletContextEvent sce)
focal_class.full_signature: @Override public void contextInitialized(ServletContextEvent sce)
focal_class.identifier: contextInitialized
focal_class.modifiers: @Override public
focal_class.parameters: (ServletContextEvent sce)
focal_class.return: void
focal_class.signature: void contextInitialized(ServletContextEvent sce)
focal_class.class_method_signature: EverrestInitializedListener.initializeEverrestComponents(EverrestServletContextInitializer initializer, ServletContext servletContext)
focal_class.full_signature:  void initializeEverrestComponents(EverrestServletContextInitializer initializer, ServletContext servletContext)
focal_class.identifier: initializeEverrestComponents
focal_class.parameters: (EverrestServletContextInitializer initializer, ServletContext servletContext)
focal_class.return: void
focal_class.signature: void initializeEverrestComponents(EverrestServletContextInitializer initializer, ServletContext servletContext)
focal_method.body: @Override
      public void contextInitialized(ServletContextEvent sce) {
          ServletContext servletContext = sce.getServletContext();
          EverrestServletContextInitializer initializer = new EverrestServletContextInitializer(servletContext);
          initializeEverrestComponents(initializer, servletContext);
      }
focal_method.class_method_signature: EverrestInitializedListener.contextInitialized(ServletContextEvent sce)
focal_method.full_signature: @Override public void contextInitialized(ServletContextEvent sce)
focal_method.identifier: contextInitialized
focal_method.invocations: getServletContext initializeEverrestComponents
focal_method.modifiers: @Override public
focal_method.parameters: (ServletContextEvent sce)
focal_method.return: void
focal_method.signature: void contextInitialized(ServletContextEvent sce)