Class TextIO


  • public class TextIO
    extends Object
    Provides static methods to perform easily textual I/O.

    This class fills a gap in the Java API: a natural operation on sequences of primitive elements is to load or store them in textual form. This format makes files humanly readable.

    For each primitive type, this class provides methods that read elements from a BufferedReader or from a filename (which will be opened using a buffer of BUFFER_SIZE bytes) into an array. Analogously, there are methods that store the content of an array (fragment) or the elements returned by an iterator to a PrintStream or to a given filename.

    Finally, there are useful wrapper methods that exhibit a file as a type-specific iterator.

    Note that, contrarily to the binary case, there is no way to load from a file without providing an array. You can easily work around the problem as follows:

     array = IntIterators.unwrap(TextIO.asIntIterator("foo"));
     
    Since:
    4.4
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int BUFFER_SIZE
      The size of the buffer used for all I/O on files.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static BooleanIterable asBooleanIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static BooleanIterable asBooleanIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static BooleanIterator asBooleanIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static BooleanIterator asBooleanIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static BooleanIterator asBooleanIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static ByteIterable asByteIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static ByteIterable asByteIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static ByteIterator asByteIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static ByteIterator asByteIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static ByteIterator asByteIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static DoubleIterable asDoubleIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static DoubleIterable asDoubleIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static DoubleIterator asDoubleIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static DoubleIterator asDoubleIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static DoubleIterator asDoubleIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static FloatIterable asFloatIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static FloatIterable asFloatIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static FloatIterator asFloatIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static FloatIterator asFloatIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static FloatIterator asFloatIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static IntIterable asIntIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static IntIterable asIntIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static IntIterator asIntIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static IntIterator asIntIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static IntIterator asIntIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static LongIterable asLongIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static LongIterable asLongIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static LongIterator asLongIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static LongIterator asLongIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static LongIterator asLongIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static ShortIterable asShortIterable​(File file)
      Wraps a file given by a File object into an iterable object.
      static ShortIterable asShortIterable​(CharSequence filename)
      Wraps a file given by a pathname into an iterable object.
      static ShortIterator asShortIterator​(BufferedReader reader)
      Wraps the given buffered reader into an iterator.
      static ShortIterator asShortIterator​(File file)
      Wraps a file given by a File object into an iterator.
      static ShortIterator asShortIterator​(CharSequence filename)
      Wraps a file given by a pathname into an iterator.
      static int loadBooleans​(BufferedReader reader, boolean[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadBooleans​(BufferedReader reader, boolean[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadBooleans​(BufferedReader reader, boolean[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadBooleans​(BufferedReader reader, boolean[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadBooleans​(File file, boolean[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadBooleans​(File file, boolean[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadBooleans​(File file, boolean[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadBooleans​(File file, boolean[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadBooleans​(CharSequence filename, boolean[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadBooleans​(CharSequence filename, boolean[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadBooleans​(CharSequence filename, boolean[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadBooleans​(CharSequence filename, boolean[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static int loadBytes​(BufferedReader reader, byte[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadBytes​(BufferedReader reader, byte[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadBytes​(BufferedReader reader, byte[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadBytes​(BufferedReader reader, byte[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadBytes​(File file, byte[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadBytes​(File file, byte[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadBytes​(File file, byte[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadBytes​(File file, byte[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadBytes​(CharSequence filename, byte[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadBytes​(CharSequence filename, byte[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadBytes​(CharSequence filename, byte[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadBytes​(CharSequence filename, byte[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static int loadDoubles​(BufferedReader reader, double[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadDoubles​(BufferedReader reader, double[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadDoubles​(BufferedReader reader, double[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadDoubles​(BufferedReader reader, double[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadDoubles​(File file, double[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadDoubles​(File file, double[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadDoubles​(File file, double[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadDoubles​(File file, double[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadDoubles​(CharSequence filename, double[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadDoubles​(CharSequence filename, double[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadDoubles​(CharSequence filename, double[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadDoubles​(CharSequence filename, double[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static int loadFloats​(BufferedReader reader, float[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadFloats​(BufferedReader reader, float[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadFloats​(BufferedReader reader, float[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadFloats​(BufferedReader reader, float[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadFloats​(File file, float[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadFloats​(File file, float[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadFloats​(File file, float[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadFloats​(File file, float[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadFloats​(CharSequence filename, float[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadFloats​(CharSequence filename, float[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadFloats​(CharSequence filename, float[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadFloats​(CharSequence filename, float[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static int loadInts​(BufferedReader reader, int[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadInts​(BufferedReader reader, int[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadInts​(BufferedReader reader, int[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadInts​(BufferedReader reader, int[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadInts​(File file, int[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadInts​(File file, int[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadInts​(File file, int[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadInts​(File file, int[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadInts​(CharSequence filename, int[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadInts​(CharSequence filename, int[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadInts​(CharSequence filename, int[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadInts​(CharSequence filename, int[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static int loadLongs​(BufferedReader reader, long[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadLongs​(BufferedReader reader, long[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadLongs​(BufferedReader reader, long[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadLongs​(BufferedReader reader, long[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadLongs​(File file, long[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadLongs​(File file, long[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadLongs​(File file, long[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadLongs​(File file, long[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadLongs​(CharSequence filename, long[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadLongs​(CharSequence filename, long[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadLongs​(CharSequence filename, long[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadLongs​(CharSequence filename, long[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static int loadShorts​(BufferedReader reader, short[] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadShorts​(BufferedReader reader, short[][] array)
      Loads elements from a given buffered reader, storing them in a given array.
      static long loadShorts​(BufferedReader reader, short[][] array, long offset, long length)
      Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
      static int loadShorts​(BufferedReader reader, short[] array, int offset, int length)
      Loads elements from a given fast buffered reader, storing them in a given array fragment.
      static int loadShorts​(File file, short[] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadShorts​(File file, short[][] array)
      Loads elements from a file given by a File object, storing them in a given array.
      static long loadShorts​(File file, short[][] array, long offset, long length)
      Loads elements from a file given by a File object, storing them in a given big-array fragment.
      static int loadShorts​(File file, short[] array, int offset, int length)
      Loads elements from a file given by a File object, storing them in a given array fragment.
      static int loadShorts​(CharSequence filename, short[] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadShorts​(CharSequence filename, short[][] array)
      Loads elements from a file given by a filename, storing them in a given array.
      static long loadShorts​(CharSequence filename, short[][] array, long offset, long length)
      Loads elements from a file given by a filename, storing them in a given big-array fragment.
      static int loadShorts​(CharSequence filename, short[] array, int offset, int length)
      Loads elements from a file given by a filename, storing them in a given array fragment.
      static void storeBooleans​(boolean[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeBooleans​(boolean[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeBooleans​(boolean[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeBooleans​(boolean[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeBooleans​(boolean[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeBooleans​(boolean[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeBooleans​(boolean[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeBooleans​(boolean[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeBooleans​(boolean[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeBooleans​(boolean[] array, File file)
      Stores an array to a file given by a File object.
      static void storeBooleans​(boolean[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeBooleans​(boolean[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeBooleans​(BooleanIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeBooleans​(BooleanIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeBooleans​(BooleanIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
      static void storeBytes​(byte[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeBytes​(byte[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeBytes​(byte[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeBytes​(byte[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeBytes​(byte[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeBytes​(byte[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeBytes​(byte[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeBytes​(byte[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeBytes​(byte[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeBytes​(byte[] array, File file)
      Stores an array to a file given by a File object.
      static void storeBytes​(byte[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeBytes​(byte[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeBytes​(ByteIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeBytes​(ByteIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeBytes​(ByteIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
      static void storeDoubles​(double[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeDoubles​(double[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeDoubles​(double[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeDoubles​(double[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeDoubles​(double[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeDoubles​(double[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeDoubles​(double[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeDoubles​(double[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeDoubles​(double[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeDoubles​(double[] array, File file)
      Stores an array to a file given by a File object.
      static void storeDoubles​(double[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeDoubles​(double[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeDoubles​(DoubleIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeDoubles​(DoubleIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeDoubles​(DoubleIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
      static void storeFloats​(float[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeFloats​(float[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeFloats​(float[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeFloats​(float[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeFloats​(float[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeFloats​(float[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeFloats​(float[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeFloats​(float[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeFloats​(float[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeFloats​(float[] array, File file)
      Stores an array to a file given by a File object.
      static void storeFloats​(float[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeFloats​(float[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeFloats​(FloatIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeFloats​(FloatIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeFloats​(FloatIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
      static void storeInts​(int[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeInts​(int[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeInts​(int[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeInts​(int[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeInts​(int[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeInts​(int[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeInts​(int[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeInts​(int[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeInts​(int[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeInts​(int[] array, File file)
      Stores an array to a file given by a File object.
      static void storeInts​(int[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeInts​(int[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeInts​(IntIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeInts​(IntIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeInts​(IntIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
      static void storeLongs​(long[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeLongs​(long[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeLongs​(long[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeLongs​(long[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeLongs​(long[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeLongs​(long[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeLongs​(long[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeLongs​(long[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeLongs​(long[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeLongs​(long[] array, File file)
      Stores an array to a file given by a File object.
      static void storeLongs​(long[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeLongs​(long[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeLongs​(LongIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeLongs​(LongIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeLongs​(LongIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
      static void storeShorts​(short[][] array, long offset, long length, File file)
      Stores a big-array fragment to a file given by a File object.
      static void storeShorts​(short[][] array, long offset, long length, PrintStream stream)
      Stores a big-array fragment to a given print stream.
      static void storeShorts​(short[][] array, long offset, long length, CharSequence filename)
      Stores a big-array fragment to a file given by a pathname.
      static void storeShorts​(short[][] array, File file)
      Stores a big array to a file given by a File object.
      static void storeShorts​(short[][] array, PrintStream stream)
      Stores a big array to a given print stream.
      static void storeShorts​(short[][] array, CharSequence filename)
      Stores a big array to a file given by a pathname.
      static void storeShorts​(short[] array, int offset, int length, File file)
      Stores an array fragment to a file given by a File object.
      static void storeShorts​(short[] array, int offset, int length, PrintStream stream)
      Stores an array fragment to a given print stream.
      static void storeShorts​(short[] array, int offset, int length, CharSequence filename)
      Stores an array fragment to a file given by a pathname.
      static void storeShorts​(short[] array, File file)
      Stores an array to a file given by a File object.
      static void storeShorts​(short[] array, PrintStream stream)
      Stores an array to a given print stream.
      static void storeShorts​(short[] array, CharSequence filename)
      Stores an array to a file given by a pathname.
      static void storeShorts​(ShortIterator i, File file)
      Stores the element returned by an iterator to a file given by a File object.
      static void storeShorts​(ShortIterator i, PrintStream stream)
      Stores the element returned by an iterator to a given print stream.
      static void storeShorts​(ShortIterator i, CharSequence filename)
      Stores the element returned by an iterator to a file given by a pathname.
    • Field Detail

      • BUFFER_SIZE

        public static final int BUFFER_SIZE
        The size of the buffer used for all I/O on files.
        See Also:
        Constant Field Values
    • Method Detail

      • loadInts

        public static int loadInts​(BufferedReader reader,
                                   int[] array,
                                   int offset,
                                   int length)
                            throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadInts

        public static int loadInts​(BufferedReader reader,
                                   int[] array)
                            throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadInts

        public static int loadInts​(File file,
                                   int[] array,
                                   int offset,
                                   int length)
                            throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadInts

        public static int loadInts​(CharSequence filename,
                                   int[] array,
                                   int offset,
                                   int length)
                            throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadInts

        public static int loadInts​(File file,
                                   int[] array)
                            throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadInts

        public static int loadInts​(CharSequence filename,
                                   int[] array)
                            throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[] array,
                                     int offset,
                                     int length,
                                     PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeInts

        public static void storeInts​(int[] array,
                                     PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeInts

        public static void storeInts​(int[] array,
                                     int offset,
                                     int length,
                                     File file)
                              throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[] array,
                                     int offset,
                                     int length,
                                     CharSequence filename)
                              throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[] array,
                                     File file)
                              throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[] array,
                                     CharSequence filename)
                              throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(IntIterator i,
                                     PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeInts

        public static void storeInts​(IntIterator i,
                                     File file)
                              throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(IntIterator i,
                                     CharSequence filename)
                              throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadInts

        public static long loadInts​(BufferedReader reader,
                                    int[][] array,
                                    long offset,
                                    long length)
                             throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadInts

        public static long loadInts​(BufferedReader reader,
                                    int[][] array)
                             throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadInts

        public static long loadInts​(File file,
                                    int[][] array,
                                    long offset,
                                    long length)
                             throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadInts

        public static long loadInts​(CharSequence filename,
                                    int[][] array,
                                    long offset,
                                    long length)
                             throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadInts

        public static long loadInts​(File file,
                                    int[][] array)
                             throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadInts

        public static long loadInts​(CharSequence filename,
                                    int[][] array)
                             throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[][] array,
                                     long offset,
                                     long length,
                                     PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeInts

        public static void storeInts​(int[][] array,
                                     PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeInts

        public static void storeInts​(int[][] array,
                                     long offset,
                                     long length,
                                     File file)
                              throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[][] array,
                                     long offset,
                                     long length,
                                     CharSequence filename)
                              throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[][] array,
                                     File file)
                              throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeInts

        public static void storeInts​(int[][] array,
                                     CharSequence filename)
                              throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asIntIterator

        public static IntIterator asIntIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asIntIterable

        public static IntIterable asIntIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asIntIterable

        public static IntIterable asIntIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.
      • loadLongs

        public static int loadLongs​(BufferedReader reader,
                                    long[] array,
                                    int offset,
                                    int length)
                             throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadLongs

        public static int loadLongs​(BufferedReader reader,
                                    long[] array)
                             throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadLongs

        public static int loadLongs​(File file,
                                    long[] array,
                                    int offset,
                                    int length)
                             throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadLongs

        public static int loadLongs​(CharSequence filename,
                                    long[] array,
                                    int offset,
                                    int length)
                             throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadLongs

        public static int loadLongs​(File file,
                                    long[] array)
                             throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadLongs

        public static int loadLongs​(CharSequence filename,
                                    long[] array)
                             throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[] array,
                                      int offset,
                                      int length,
                                      PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeLongs

        public static void storeLongs​(long[] array,
                                      PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeLongs

        public static void storeLongs​(long[] array,
                                      int offset,
                                      int length,
                                      File file)
                               throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[] array,
                                      int offset,
                                      int length,
                                      CharSequence filename)
                               throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[] array,
                                      File file)
                               throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[] array,
                                      CharSequence filename)
                               throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(LongIterator i,
                                      PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeLongs

        public static void storeLongs​(LongIterator i,
                                      File file)
                               throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(LongIterator i,
                                      CharSequence filename)
                               throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadLongs

        public static long loadLongs​(BufferedReader reader,
                                     long[][] array,
                                     long offset,
                                     long length)
                              throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadLongs

        public static long loadLongs​(BufferedReader reader,
                                     long[][] array)
                              throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadLongs

        public static long loadLongs​(File file,
                                     long[][] array,
                                     long offset,
                                     long length)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadLongs

        public static long loadLongs​(CharSequence filename,
                                     long[][] array,
                                     long offset,
                                     long length)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadLongs

        public static long loadLongs​(File file,
                                     long[][] array)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadLongs

        public static long loadLongs​(CharSequence filename,
                                     long[][] array)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[][] array,
                                      long offset,
                                      long length,
                                      PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeLongs

        public static void storeLongs​(long[][] array,
                                      PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeLongs

        public static void storeLongs​(long[][] array,
                                      long offset,
                                      long length,
                                      File file)
                               throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[][] array,
                                      long offset,
                                      long length,
                                      CharSequence filename)
                               throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[][] array,
                                      File file)
                               throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeLongs

        public static void storeLongs​(long[][] array,
                                      CharSequence filename)
                               throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asLongIterator

        public static LongIterator asLongIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asLongIterable

        public static LongIterable asLongIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asLongIterable

        public static LongIterable asLongIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.
      • loadDoubles

        public static int loadDoubles​(BufferedReader reader,
                                      double[] array,
                                      int offset,
                                      int length)
                               throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadDoubles

        public static int loadDoubles​(BufferedReader reader,
                                      double[] array)
                               throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadDoubles

        public static int loadDoubles​(File file,
                                      double[] array,
                                      int offset,
                                      int length)
                               throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadDoubles

        public static int loadDoubles​(CharSequence filename,
                                      double[] array,
                                      int offset,
                                      int length)
                               throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadDoubles

        public static int loadDoubles​(File file,
                                      double[] array)
                               throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadDoubles

        public static int loadDoubles​(CharSequence filename,
                                      double[] array)
                               throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[] array,
                                        int offset,
                                        int length,
                                        PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeDoubles

        public static void storeDoubles​(double[] array,
                                        PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeDoubles

        public static void storeDoubles​(double[] array,
                                        int offset,
                                        int length,
                                        File file)
                                 throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[] array,
                                        int offset,
                                        int length,
                                        CharSequence filename)
                                 throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[] array,
                                        File file)
                                 throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[] array,
                                        CharSequence filename)
                                 throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(DoubleIterator i,
                                        PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeDoubles

        public static void storeDoubles​(DoubleIterator i,
                                        File file)
                                 throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(DoubleIterator i,
                                        CharSequence filename)
                                 throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadDoubles

        public static long loadDoubles​(BufferedReader reader,
                                       double[][] array,
                                       long offset,
                                       long length)
                                throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadDoubles

        public static long loadDoubles​(BufferedReader reader,
                                       double[][] array)
                                throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadDoubles

        public static long loadDoubles​(File file,
                                       double[][] array,
                                       long offset,
                                       long length)
                                throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadDoubles

        public static long loadDoubles​(CharSequence filename,
                                       double[][] array,
                                       long offset,
                                       long length)
                                throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadDoubles

        public static long loadDoubles​(File file,
                                       double[][] array)
                                throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadDoubles

        public static long loadDoubles​(CharSequence filename,
                                       double[][] array)
                                throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[][] array,
                                        long offset,
                                        long length,
                                        PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeDoubles

        public static void storeDoubles​(double[][] array,
                                        PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeDoubles

        public static void storeDoubles​(double[][] array,
                                        long offset,
                                        long length,
                                        File file)
                                 throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[][] array,
                                        long offset,
                                        long length,
                                        CharSequence filename)
                                 throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[][] array,
                                        File file)
                                 throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeDoubles

        public static void storeDoubles​(double[][] array,
                                        CharSequence filename)
                                 throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asDoubleIterator

        public static DoubleIterator asDoubleIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asDoubleIterable

        public static DoubleIterable asDoubleIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asDoubleIterable

        public static DoubleIterable asDoubleIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.
      • loadBooleans

        public static int loadBooleans​(BufferedReader reader,
                                       boolean[] array,
                                       int offset,
                                       int length)
                                throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadBooleans

        public static int loadBooleans​(BufferedReader reader,
                                       boolean[] array)
                                throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadBooleans

        public static int loadBooleans​(File file,
                                       boolean[] array,
                                       int offset,
                                       int length)
                                throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBooleans

        public static int loadBooleans​(CharSequence filename,
                                       boolean[] array,
                                       int offset,
                                       int length)
                                throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBooleans

        public static int loadBooleans​(File file,
                                       boolean[] array)
                                throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadBooleans

        public static int loadBooleans​(CharSequence filename,
                                       boolean[] array)
                                throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[] array,
                                         int offset,
                                         int length,
                                         PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeBooleans

        public static void storeBooleans​(boolean[] array,
                                         PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeBooleans

        public static void storeBooleans​(boolean[] array,
                                         int offset,
                                         int length,
                                         File file)
                                  throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[] array,
                                         int offset,
                                         int length,
                                         CharSequence filename)
                                  throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[] array,
                                         File file)
                                  throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[] array,
                                         CharSequence filename)
                                  throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(BooleanIterator i,
                                         PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeBooleans

        public static void storeBooleans​(BooleanIterator i,
                                         File file)
                                  throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(BooleanIterator i,
                                         CharSequence filename)
                                  throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadBooleans

        public static long loadBooleans​(BufferedReader reader,
                                        boolean[][] array,
                                        long offset,
                                        long length)
                                 throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadBooleans

        public static long loadBooleans​(BufferedReader reader,
                                        boolean[][] array)
                                 throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadBooleans

        public static long loadBooleans​(File file,
                                        boolean[][] array,
                                        long offset,
                                        long length)
                                 throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBooleans

        public static long loadBooleans​(CharSequence filename,
                                        boolean[][] array,
                                        long offset,
                                        long length)
                                 throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBooleans

        public static long loadBooleans​(File file,
                                        boolean[][] array)
                                 throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadBooleans

        public static long loadBooleans​(CharSequence filename,
                                        boolean[][] array)
                                 throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[][] array,
                                         long offset,
                                         long length,
                                         PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeBooleans

        public static void storeBooleans​(boolean[][] array,
                                         PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeBooleans

        public static void storeBooleans​(boolean[][] array,
                                         long offset,
                                         long length,
                                         File file)
                                  throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[][] array,
                                         long offset,
                                         long length,
                                         CharSequence filename)
                                  throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[][] array,
                                         File file)
                                  throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeBooleans

        public static void storeBooleans​(boolean[][] array,
                                         CharSequence filename)
                                  throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asBooleanIterator

        public static BooleanIterator asBooleanIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asBooleanIterable

        public static BooleanIterable asBooleanIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asBooleanIterable

        public static BooleanIterable asBooleanIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.
      • loadBytes

        public static int loadBytes​(BufferedReader reader,
                                    byte[] array,
                                    int offset,
                                    int length)
                             throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadBytes

        public static int loadBytes​(BufferedReader reader,
                                    byte[] array)
                             throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadBytes

        public static int loadBytes​(File file,
                                    byte[] array,
                                    int offset,
                                    int length)
                             throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBytes

        public static int loadBytes​(CharSequence filename,
                                    byte[] array,
                                    int offset,
                                    int length)
                             throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBytes

        public static int loadBytes​(File file,
                                    byte[] array)
                             throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadBytes

        public static int loadBytes​(CharSequence filename,
                                    byte[] array)
                             throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[] array,
                                      int offset,
                                      int length,
                                      PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeBytes

        public static void storeBytes​(byte[] array,
                                      PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeBytes

        public static void storeBytes​(byte[] array,
                                      int offset,
                                      int length,
                                      File file)
                               throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[] array,
                                      int offset,
                                      int length,
                                      CharSequence filename)
                               throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[] array,
                                      File file)
                               throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[] array,
                                      CharSequence filename)
                               throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(ByteIterator i,
                                      PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeBytes

        public static void storeBytes​(ByteIterator i,
                                      File file)
                               throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(ByteIterator i,
                                      CharSequence filename)
                               throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadBytes

        public static long loadBytes​(BufferedReader reader,
                                     byte[][] array,
                                     long offset,
                                     long length)
                              throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadBytes

        public static long loadBytes​(BufferedReader reader,
                                     byte[][] array)
                              throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadBytes

        public static long loadBytes​(File file,
                                     byte[][] array,
                                     long offset,
                                     long length)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBytes

        public static long loadBytes​(CharSequence filename,
                                     byte[][] array,
                                     long offset,
                                     long length)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadBytes

        public static long loadBytes​(File file,
                                     byte[][] array)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadBytes

        public static long loadBytes​(CharSequence filename,
                                     byte[][] array)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[][] array,
                                      long offset,
                                      long length,
                                      PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeBytes

        public static void storeBytes​(byte[][] array,
                                      PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeBytes

        public static void storeBytes​(byte[][] array,
                                      long offset,
                                      long length,
                                      File file)
                               throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[][] array,
                                      long offset,
                                      long length,
                                      CharSequence filename)
                               throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[][] array,
                                      File file)
                               throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeBytes

        public static void storeBytes​(byte[][] array,
                                      CharSequence filename)
                               throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asByteIterator

        public static ByteIterator asByteIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asByteIterable

        public static ByteIterable asByteIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asByteIterable

        public static ByteIterable asByteIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.
      • loadShorts

        public static int loadShorts​(BufferedReader reader,
                                     short[] array,
                                     int offset,
                                     int length)
                              throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadShorts

        public static int loadShorts​(BufferedReader reader,
                                     short[] array)
                              throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadShorts

        public static int loadShorts​(File file,
                                     short[] array,
                                     int offset,
                                     int length)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadShorts

        public static int loadShorts​(CharSequence filename,
                                     short[] array,
                                     int offset,
                                     int length)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadShorts

        public static int loadShorts​(File file,
                                     short[] array)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadShorts

        public static int loadShorts​(CharSequence filename,
                                     short[] array)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[] array,
                                       int offset,
                                       int length,
                                       PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeShorts

        public static void storeShorts​(short[] array,
                                       PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeShorts

        public static void storeShorts​(short[] array,
                                       int offset,
                                       int length,
                                       File file)
                                throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[] array,
                                       int offset,
                                       int length,
                                       CharSequence filename)
                                throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[] array,
                                       File file)
                                throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[] array,
                                       CharSequence filename)
                                throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(ShortIterator i,
                                       PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeShorts

        public static void storeShorts​(ShortIterator i,
                                       File file)
                                throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(ShortIterator i,
                                       CharSequence filename)
                                throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadShorts

        public static long loadShorts​(BufferedReader reader,
                                      short[][] array,
                                      long offset,
                                      long length)
                               throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadShorts

        public static long loadShorts​(BufferedReader reader,
                                      short[][] array)
                               throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadShorts

        public static long loadShorts​(File file,
                                      short[][] array,
                                      long offset,
                                      long length)
                               throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadShorts

        public static long loadShorts​(CharSequence filename,
                                      short[][] array,
                                      long offset,
                                      long length)
                               throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadShorts

        public static long loadShorts​(File file,
                                      short[][] array)
                               throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadShorts

        public static long loadShorts​(CharSequence filename,
                                      short[][] array)
                               throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[][] array,
                                       long offset,
                                       long length,
                                       PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeShorts

        public static void storeShorts​(short[][] array,
                                       PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeShorts

        public static void storeShorts​(short[][] array,
                                       long offset,
                                       long length,
                                       File file)
                                throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[][] array,
                                       long offset,
                                       long length,
                                       CharSequence filename)
                                throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[][] array,
                                       File file)
                                throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeShorts

        public static void storeShorts​(short[][] array,
                                       CharSequence filename)
                                throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asShortIterator

        public static ShortIterator asShortIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asShortIterable

        public static ShortIterable asShortIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asShortIterable

        public static ShortIterable asShortIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.
      • loadFloats

        public static int loadFloats​(BufferedReader reader,
                                     float[] array,
                                     int offset,
                                     int length)
                              throws IOException
        Loads elements from a given fast buffered reader, storing them in a given array fragment.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadFloats

        public static int loadFloats​(BufferedReader reader,
                                     float[] array)
                              throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - an array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadFloats

        public static int loadFloats​(File file,
                                     float[] array,
                                     int offset,
                                     int length)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given array fragment.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadFloats

        public static int loadFloats​(CharSequence filename,
                                     float[] array,
                                     int offset,
                                     int length)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given array fragment.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadFloats

        public static int loadFloats​(File file,
                                     float[] array)
                              throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadFloats

        public static int loadFloats​(CharSequence filename,
                                     float[] array)
                              throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - an array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[] array,
                                       int offset,
                                       int length,
                                       PrintStream stream)
        Stores an array fragment to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeFloats

        public static void storeFloats​(float[] array,
                                       PrintStream stream)
        Stores an array to a given print stream.
        Parameters:
        array - an array whose elements will be written to stream.
        stream - a print stream.
      • storeFloats

        public static void storeFloats​(float[] array,
                                       int offset,
                                       int length,
                                       File file)
                                throws IOException
        Stores an array fragment to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[] array,
                                       int offset,
                                       int length,
                                       CharSequence filename)
                                throws IOException
        Stores an array fragment to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[] array,
                                       File file)
                                throws IOException
        Stores an array to a file given by a File object.
        Parameters:
        array - an array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[] array,
                                       CharSequence filename)
                                throws IOException
        Stores an array to a file given by a pathname.
        Parameters:
        array - an array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(FloatIterator i,
                                       PrintStream stream)
        Stores the element returned by an iterator to a given print stream.
        Parameters:
        i - an iterator whose output will be written to stream.
        stream - a print stream.
      • storeFloats

        public static void storeFloats​(FloatIterator i,
                                       File file)
                                throws IOException
        Stores the element returned by an iterator to a file given by a File object.
        Parameters:
        i - an iterator whose output will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(FloatIterator i,
                                       CharSequence filename)
                                throws IOException
        Stores the element returned by an iterator to a file given by a pathname.
        Parameters:
        i - an iterator whose output will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • loadFloats

        public static long loadFloats​(BufferedReader reader,
                                      float[][] array,
                                      long offset,
                                      long length)
                               throws IOException
        Loads elements from a given fast buffered reader, storing them in a given big-array fragment.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from reader (it might be less than length if reader ends).
        Throws:
        IOException
      • loadFloats

        public static long loadFloats​(BufferedReader reader,
                                      float[][] array)
                               throws IOException
        Loads elements from a given buffered reader, storing them in a given array.
        Parameters:
        reader - a buffered reader.
        array - a big array which will be filled with data from reader.
        Returns:
        the number of elements actually read from reader (it might be less than the array length if reader ends).
        Throws:
        IOException
      • loadFloats

        public static long loadFloats​(File file,
                                      float[][] array,
                                      long offset,
                                      long length)
                               throws IOException
        Loads elements from a file given by a File object, storing them in a given big-array fragment.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadFloats

        public static long loadFloats​(CharSequence filename,
                                      float[][] array,
                                      long offset,
                                      long length)
                               throws IOException
        Loads elements from a file given by a filename, storing them in a given big-array fragment.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        offset - the index of the first element of array to be filled.
        length - the number of elements of array to be filled.
        Returns:
        the number of elements actually read from the given file (it might be less than length if the file is too short).
        Throws:
        IOException
      • loadFloats

        public static long loadFloats​(File file,
                                      float[][] array)
                               throws IOException
        Loads elements from a file given by a File object, storing them in a given array.
        Parameters:
        file - a file.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • loadFloats

        public static long loadFloats​(CharSequence filename,
                                      float[][] array)
                               throws IOException
        Loads elements from a file given by a filename, storing them in a given array.
        Parameters:
        filename - a filename.
        array - a big array which will be filled with data from the specified file.
        Returns:
        the number of elements actually read from the given file (it might be less than the array length if the file is too short).
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[][] array,
                                       long offset,
                                       long length,
                                       PrintStream stream)
        Stores a big-array fragment to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        stream - a print stream.
      • storeFloats

        public static void storeFloats​(float[][] array,
                                       PrintStream stream)
        Stores a big array to a given print stream.
        Parameters:
        array - a big array whose elements will be written to stream.
        stream - a print stream.
      • storeFloats

        public static void storeFloats​(float[][] array,
                                       long offset,
                                       long length,
                                       File file)
                                throws IOException
        Stores a big-array fragment to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        file - a file.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[][] array,
                                       long offset,
                                       long length,
                                       CharSequence filename)
                                throws IOException
        Stores a big-array fragment to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        offset - the index of the first element of array to be written.
        length - the number of elements of array to be written.
        filename - a filename.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[][] array,
                                       File file)
                                throws IOException
        Stores a big array to a file given by a File object.
        Parameters:
        array - a big array whose elements will be written to filename.
        file - a file.
        Throws:
        IOException
      • storeFloats

        public static void storeFloats​(float[][] array,
                                       CharSequence filename)
                                throws IOException
        Stores a big array to a file given by a pathname.
        Parameters:
        array - a big array whose elements will be written to filename.
        filename - a filename.
        Throws:
        IOException
      • asFloatIterator

        public static FloatIterator asFloatIterator​(BufferedReader reader)
        Wraps the given buffered reader into an iterator.
        Parameters:
        reader - a buffered reader.
      • asFloatIterable

        public static FloatIterable asFloatIterable​(File file)
        Wraps a file given by a File object into an iterable object.
        Parameters:
        file - a file.
      • asFloatIterable

        public static FloatIterable asFloatIterable​(CharSequence filename)
        Wraps a file given by a pathname into an iterable object.
        Parameters:
        filename - a filename.