Class FileSelector

    • Field Detail

      • path

        private final java.lang.String path
    • Constructor Detail

      • FileSelector

        FileSelector​(java.lang.String path,
                     FilePosition position)
    • Method Detail

      • getFile

        public java.io.File getFile()
        Get the selected file as a File.
        See Also:
        getPath(), getRawPath()
      • getPath

        public java.nio.file.Path getPath()
        Get the selected file as a Path using the default FileSystem.
        See Also:
        getFile(), getRawPath()
      • getRawPath

        public java.lang.String getRawPath()
        Get the selected file as a raw path.
        See Also:
        getFile(), getPath()
      • getPosition

        public java.util.Optional<FilePosition> getPosition()
        Get the selected position within the file as a FilePosition.
      • equals

        @API(status=STABLE,
             since="1.3")
        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
        Since:
        1.3
      • hashCode

        @API(status=STABLE,
             since="1.3")
        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
        Since:
        1.3
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object