test_class.declarator: thrown = ExpectedException.none()
test_class.modifier: @Rule public
test_class.original_string: @Rule public ExpectedException thrown = ExpectedException.none();
test_class.type: ExpectedException
test_class.var_name: thrown
test_class.declarator: request
test_class.modifier: private
test_class.original_string: private HttpServletRequest  request;
test_class.type: HttpServletRequest
test_class.var_name: request
test_class.declarator: response
test_class.modifier: private
test_class.original_string: private HttpServletResponse response;
test_class.type: HttpServletResponse
test_class.var_name: response
test_class.declarator: servletConfig
test_class.modifier: private
test_class.original_string: private ServletConfig       servletConfig;
test_class.type: ServletConfig
test_class.var_name: servletConfig
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.declarator: everrestProcessor
test_class.modifier: private
test_class.original_string: private EverrestProcessor   everrestProcessor;
test_class.type: EverrestProcessor
test_class.var_name: everrestProcessor
test_class.declarator: everrestServlet
test_class.modifier: private
test_class.original_string: private EverrestServlet everrestServlet;
test_class.type: EverrestServlet
test_class.var_name: everrestServlet
test_class.file: everrest-core/src/test/java/org/everrest/core/servlet/EverrestServletTest.java
test_class.identifier: EverrestServletTest
test_case.body: @Test
      public void sendsErrorStatusWhenStatusIsSetInUnhandledException() throws Exception {
          UnhandledException unhandledException = new UnhandledException(403);
  
          doThrow(unhandledException).when(everrestProcessor).process(isA(ServletContainerRequest.class), isA(ContainerResponse.class), isA(EnvironmentContext.class));
  
          everrestServlet.service(request, response);
          verify(response).sendError(403);
      }
test_case.class_method_signature: EverrestServletTest.sendsErrorStatusWhenStatusIsSetInUnhandledException()
test_case.full_signature: @Test public void sendsErrorStatusWhenStatusIsSetInUnhandledException()
test_case.identifier: sendsErrorStatusWhenStatusIsSetInUnhandledException
test_case.invocations: process when doThrow isA isA isA service sendError verify
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void sendsErrorStatusWhenStatusIsSetInUnhandledException()
focal_class.declarator: LOG = LoggerFactory.getLogger(EverrestServlet.class)
focal_class.modifier: private static final
focal_class.original_string: private static final Logger LOG = LoggerFactory.getLogger(EverrestServlet.class);
focal_class.type: Logger
focal_class.var_name: LOG
focal_class.declarator: webApplicationRoles
focal_class.modifier: private
focal_class.original_string: private WebApplicationDeclaredRoles webApplicationRoles;
focal_class.type: WebApplicationDeclaredRoles
focal_class.var_name: webApplicationRoles
focal_class.declarator: errorPages
focal_class.modifier: private
focal_class.original_string: private ErrorPages                  errorPages;
focal_class.type: ErrorPages
focal_class.var_name: errorPages
focal_class.declarator: processor
focal_class.modifier: protected
focal_class.original_string: protected EverrestProcessor processor;
focal_class.type: EverrestProcessor
focal_class.var_name: processor
focal_class.file: everrest-core/src/main/java/org/everrest/core/servlet/EverrestServlet.java
focal_class.identifier: EverrestServlet
focal_class.class_method_signature: EverrestServlet.init()
focal_class.full_signature: @Override public void init()
focal_class.identifier: init
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: void
focal_class.signature: void init()
focal_class.class_method_signature: EverrestServlet.service(HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_class.full_signature: @Override public void service(HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_class.identifier: service
focal_class.modifiers: @Override public
focal_class.parameters: (HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_class.return: void
focal_class.signature: void service(HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_class.superclass: extends HttpServlet
focal_method.body: @Override
      public void service(HttpServletRequest httpRequest, HttpServletResponse httpResponse) throws IOException, ServletException {
          EnvironmentContext env = new EnvironmentContext();
          env.put(HttpServletRequest.class, httpRequest);
          env.put(HttpServletResponse.class, httpResponse);
          env.put(ServletConfig.class, getServletConfig());
          env.put(ServletContext.class, getServletContext());
          env.put(WebApplicationDeclaredRoles.class, webApplicationRoles);
          env.put(ErrorPages.class, errorPages);
          try {
              ServletContainerRequest request = ServletContainerRequest.create(httpRequest);
              ContainerResponse response = new ContainerResponse(new ServletContainerResponseWriter(httpResponse));
              processor.process(request, response, env);
          } catch (IOException ioe) {
              // Met problem with Acrobat Reader HTTP client when use EverRest for WebDav.
              // Client close connection before all data transferred and it cause error on server side.
              if (ioe.getClass().getName().equals("org.apache.catalina.connector.ClientAbortException")) {
                  LOG.debug(ioe.getMessage(), ioe);
              } else {
                  throw ioe;
              }
          } catch (UnhandledException e) {
              LOG.error(e.getMessage(), e);
              if (e.getResponseStatus() != 0) {
                  httpResponse.sendError(e.getResponseStatus());
              } else {
                  throw new ServletException(e.getCause());
              }
          } catch (Throwable e){
              LOG.debug(e.getLocalizedMessage(), e);
              throw e;
          }
      }
focal_method.class_method_signature: EverrestServlet.service(HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_method.full_signature: @Override public void service(HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_method.identifier: service
focal_method.invocations: put put put getServletConfig put getServletContext put put create process equals getName getClass debug getMessage error getMessage getResponseStatus sendError getResponseStatus getCause debug getLocalizedMessage
focal_method.modifiers: @Override public
focal_method.parameters: (HttpServletRequest httpRequest, HttpServletResponse httpResponse)
focal_method.return: void
focal_method.signature: void service(HttpServletRequest httpRequest, HttpServletResponse httpResponse)