Class DevUIRecorder


  • public class DevUIRecorder
    extends Object
    • Field Detail

      • DEV_MANAGER_GLOBALS_JSON_MAPPER_FACTORY

        public static final String DEV_MANAGER_GLOBALS_JSON_MAPPER_FACTORY
        See Also:
        Constant Field Values
    • Constructor Detail

      • DevUIRecorder

        public DevUIRecorder()
    • Method Detail

      • communicationHandler

        public io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> communicationHandler()
      • buildTimeStaticHandler

        public io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> buildTimeStaticHandler​(String basePath,
                                                                                             Map<String,​String> urlAndPath)
      • vaadinRouterHandler

        public io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> vaadinRouterHandler​(String basePath)
      • mvnpmHandler

        public io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> mvnpmHandler​(String root,
                                                                                   Set<URL> mvnpmJarFiles)
      • redirect

        public io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> redirect​(String contextRoot)