Class FileGeometryInput

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.nio.file.Path file
      Input file.
    • Constructor Summary

      Constructors 
      Constructor Description
      FileGeometryInput​(java.nio.file.Path file)
      Construct a new instance for reading from the given file.
      FileGeometryInput​(java.nio.file.Path file, java.nio.charset.Charset charset)
      Construct a new instance for reading from the given file with the specific charset.
    • Field Detail

      • file

        private final java.nio.file.Path file
        Input file.
    • Constructor Detail

      • FileGeometryInput

        public FileGeometryInput​(java.nio.file.Path file)
        Construct a new instance for reading from the given file.
        Parameters:
        file - input file
      • FileGeometryInput

        public FileGeometryInput​(java.nio.file.Path file,
                                 java.nio.charset.Charset charset)
        Construct a new instance for reading from the given file with the specific charset.
        Parameters:
        file - input file
        charset - charset to use when reading from the input file
    • Method Detail

      • getFile

        public java.nio.file.Path getFile()
        Get the input file.
        Returns:
        input file
      • getInputStream

        public java.io.InputStream getInputStream()
        Get the input stream for reading from the input.

        The returned input stream is buffered.

        Specified by:
        getInputStream in interface GeometryInput
        Returns:
        input stream for reading from the input