Class FileEntryResource

  • All Implemented Interfaces:
    Resource

    final class FileEntryResource
    extends java.lang.Object
    implements Resource
    A file entry resource.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.security.AccessControlContext context  
      private java.io.File file  
      private java.lang.String name  
      private java.net.URL url  
    • Constructor Summary

      Constructors 
      Constructor Description
      FileEntryResource​(java.lang.String name, java.io.File file, java.net.URL url, java.security.AccessControlContext context)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getName()
      Get the relative resource name.
      long getSize()
      Get the size of the resource, if known.
      java.net.URL getURL()
      Get the complete URL of this resource.
      java.io.InputStream openStream()
      Open an input stream to this resource.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • name

        private final java.lang.String name
      • file

        private final java.io.File file
      • url

        private final java.net.URL url
      • context

        private final java.security.AccessControlContext context
    • Constructor Detail

      • FileEntryResource

        FileEntryResource​(java.lang.String name,
                          java.io.File file,
                          java.net.URL url,
                          java.security.AccessControlContext context)
    • Method Detail

      • getSize

        public long getSize()
        Description copied from interface: Resource
        Get the size of the resource, if known.
        Specified by:
        getSize in interface Resource
        Returns:
        the size, or 0L if unknown
      • getName

        public java.lang.String getName()
        Description copied from interface: Resource
        Get the relative resource name.
        Specified by:
        getName in interface Resource
        Returns:
        the name
      • getURL

        public java.net.URL getURL()
        Description copied from interface: Resource
        Get the complete URL of this resource.
        Specified by:
        getURL in interface Resource
        Returns:
        the URL
      • openStream

        public java.io.InputStream openStream()
                                       throws java.io.IOException
        Description copied from interface: Resource
        Open an input stream to this resource.
        Specified by:
        openStream in interface Resource
        Returns:
        the stream
        Throws:
        java.io.IOException - if an I/O error occurs