Interface ApplicationExtension

All Superinterfaces:
jakarta.servlet.Servlet
All Known Implementing Classes:
ApiResource, ConfigurationResource, FrontPageResource, HealthResource, HttpController, HttpExtension, LifecycleResource, MetricsResource, ProfileResource, RemoteResource

public interface ApplicationExtension extends jakarta.servlet.Servlet
A servlet that allows remote management of the application.
Author:
Fabio Simeoni, Luca Frosini (ISTI-CNR)
  • Method Summary

    Modifier and Type
    Method
    Description
    Returns the set of request paths that should be excluded from request management.
    void
    Initialises the extensions with the context of the application.
    Returns the mapping of this extension.
    Returns the name of this extension.
    void
    Stops the extension and releases any resources.

    Methods inherited from interface jakarta.servlet.Servlet

    destroy, getServletConfig, getServletInfo, init, service
  • Method Details

    • init

      void init(ApplicationContext context) throws Exception
      Initialises the extensions with the context of the application.
      Parameters:
      context - the application context
      Throws:
      Exception - if the extension cannot be initialised
    • stop

      void stop()
      Stops the extension and releases any resources.
    • name

      String name()
      Returns the name of this extension.
      Returns:
      the name
    • mapping

      String mapping()
      Returns the mapping of this extension.
      Returns:
      the mapping
    • excludes

      Set<GCubeExclude> excludes()
      Returns the set of request paths that should be excluded from request management.
      Returns:
      the set of request paths that should be excluded from request management