Class HTTPServletWebPlatform

    • Constructor Detail

      • HTTPServletWebPlatform

        public HTTPServletWebPlatform​(GuiseApplication application,
                                      javax.servlet.http.HttpSession httpSession,
                                      javax.servlet.http.HttpServletRequest httpRequest)
        Application and request constructor. This implementation updates the environment from the initial request cookies
        Parameters:
        application - The Guise application running on this platform.
        httpSession - The HTTP servlet session with which this platform is associated.
        httpRequest - The HTTP servlet request.
        Throws:
        java.lang.NullPointerException - if the given application, HTTP session, and/or HTTP request is null.
    • Method Detail

      • getHTTPSession

        public javax.servlet.http.HttpSession getHTTPSession()
        Returns:
        The HTTP servlet session with which this platform is associated.
      • getJavaScriptProduct

        public Product getJavaScriptProduct()
        Returns:
        The JavaScript supported on this platform, or null if JavaScript is not supported or the JavaScript support is not yet known.
      • selectPlatformFiles

        public void selectPlatformFiles​(boolean multiple,
                                        ValueSelectListener<java.util.Collection<PlatformFile>> platformFileSelectListener)
        Description copied from interface: Platform
        Selects one or more files on the platform, using the appropriate selection functionality for the platform.
        Specified by:
        selectPlatformFiles in interface Platform
        Parameters:
        multiple - Whether multiple files should be allowed to be selected.
        platformFileSelectListener - The listener that will be notified when platform files are selected.
      • uploadPlatformFiles

        public void uploadPlatformFiles​(java.lang.String destinationPath,
                                        Bookmark destinationBookmark,
                                        com.globalmentor.event.ProgressListener progressListener,
                                        PlatformFile... platformFiles)
        Uploads files from the platform.
        Parameters:
        destinationPath - The path representing the destination of the platform files, relative to the application.
        destinationBookmark - The bookmark to be used in uploading the platform files to the destination path, or null if no bookmark should be used.
        progressListener - The listener that will be notified when progress is made for a particular platform file upload.
        platformFiles - That platform files to upload.
        Throws:
        java.lang.NullPointerException - if the given destination path and/or listener is null.
        java.lang.IllegalArgumentException - if the provided path specifies a URI scheme (i.e. the URI is absolute) and/or authority.
        java.lang.IllegalArgumentException - if the provided path is absolute.
        java.lang.IllegalStateException - if one or more of the specified platform files can no longer be uploaded because, for example, other platform files have since been selected.
      • sendResource

        public void sendResource​(com.globalmentor.net.URIPath resourcePath)
        Description copied from interface: Platform
        Sends a resource to the platform.
        Specified by:
        sendResource in interface Platform
        Parameters:
        resourcePath - The path of the resource to send, relative to the application.
      • sendResource

        public void sendResource​(java.net.URI resourceURI)
        Description copied from interface: Platform
        Sends a resource to the platform.
        Specified by:
        sendResource in interface Platform
        Parameters:
        resourceURI - The URI of the resource to send, relative to the application.
      • sendResource

        public void sendResource​(com.globalmentor.net.URIPath resourcePath,
                                 Bookmark bookmark)
        Description copied from interface: Platform
        Sends a resource to the platform with the specified bookmark.
        Specified by:
        sendResource in interface Platform
        Parameters:
        resourcePath - The path of the resource to send, relative to the application.
        bookmark - The bookmark at the given path, or null if there is no bookmark.
      • sendResource

        public void sendResource​(java.net.URI resourceURI,
                                 Bookmark bookmark)
        Sends a resource to the platform.
        Specified by:
        sendResource in interface Platform
        Parameters:
        resourceURI - The URI of the resource to send, relative to the application.
        bookmark - The bookmark at the given path, or null if there is no bookmark.
        Throws:
        java.lang.NullPointerException - if the given URI is null.