Class TextIO

java.lang.Object
it.unimi.dsi.fastutil.io.TextIO

public class TextIO
extends java.lang.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

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

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Field Details

    • 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 Details

    • loadInts

      public static int loadInts​(java.io.BufferedReader reader, int[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadInts

      public static int loadInts​(java.io.BufferedReader reader, int[] array) throws java.io.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:
      java.io.IOException
    • loadInts

      public static int loadInts​(java.io.File file, int[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadInts

      public static int loadInts​(java.lang.CharSequence filename, int[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadInts

      public static int loadInts​(java.io.File file, int[] array) throws java.io.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:
      java.io.IOException
    • loadInts

      public static int loadInts​(java.lang.CharSequence filename, int[] array) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(IntIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(IntIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadInts

      public static long loadInts​(java.io.BufferedReader reader, int[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadInts

      public static long loadInts​(java.io.BufferedReader reader, int[][] array) throws java.io.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:
      java.io.IOException
    • loadInts

      public static long loadInts​(java.io.File file, int[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadInts

      public static long loadInts​(java.lang.CharSequence filename, int[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadInts

      public static long loadInts​(java.io.File file, int[][] array) throws java.io.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:
      java.io.IOException
    • loadInts

      public static long loadInts​(java.lang.CharSequence filename, int[][] array) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeInts

      public static void storeInts​(int[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asIntIterator

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

      public static IntIterator asIntIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asIntIterator

      public static IntIterator asIntIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asIntIterable

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

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

      public static int loadLongs​(java.io.BufferedReader reader, long[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static int loadLongs​(java.io.BufferedReader reader, long[] array) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static int loadLongs​(java.io.File file, long[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static int loadLongs​(java.lang.CharSequence filename, long[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static int loadLongs​(java.io.File file, long[] array) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static int loadLongs​(java.lang.CharSequence filename, long[] array) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(LongIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(LongIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static long loadLongs​(java.io.BufferedReader reader, long[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static long loadLongs​(java.io.BufferedReader reader, long[][] array) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static long loadLongs​(java.io.File file, long[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static long loadLongs​(java.lang.CharSequence filename, long[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static long loadLongs​(java.io.File file, long[][] array) throws java.io.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:
      java.io.IOException
    • loadLongs

      public static long loadLongs​(java.lang.CharSequence filename, long[][] array) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeLongs

      public static void storeLongs​(long[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asLongIterator

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

      public static LongIterator asLongIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asLongIterator

      public static LongIterator asLongIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asLongIterable

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

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

      public static int loadDoubles​(java.io.BufferedReader reader, double[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static int loadDoubles​(java.io.BufferedReader reader, double[] array) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static int loadDoubles​(java.io.File file, double[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static int loadDoubles​(java.lang.CharSequence filename, double[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static int loadDoubles​(java.io.File file, double[] array) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static int loadDoubles​(java.lang.CharSequence filename, double[] array) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(DoubleIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(DoubleIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static long loadDoubles​(java.io.BufferedReader reader, double[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static long loadDoubles​(java.io.BufferedReader reader, double[][] array) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static long loadDoubles​(java.io.File file, double[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static long loadDoubles​(java.lang.CharSequence filename, double[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static long loadDoubles​(java.io.File file, double[][] array) throws java.io.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:
      java.io.IOException
    • loadDoubles

      public static long loadDoubles​(java.lang.CharSequence filename, double[][] array) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeDoubles

      public static void storeDoubles​(double[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asDoubleIterator

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

      public static DoubleIterator asDoubleIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asDoubleIterator

      public static DoubleIterator asDoubleIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asDoubleIterable

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

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

      public static int loadBooleans​(java.io.BufferedReader reader, boolean[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static int loadBooleans​(java.io.BufferedReader reader, boolean[] array) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static int loadBooleans​(java.io.File file, boolean[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static int loadBooleans​(java.lang.CharSequence filename, boolean[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static int loadBooleans​(java.io.File file, boolean[] array) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static int loadBooleans​(java.lang.CharSequence filename, boolean[] array) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(BooleanIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(BooleanIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static long loadBooleans​(java.io.BufferedReader reader, boolean[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static long loadBooleans​(java.io.BufferedReader reader, boolean[][] array) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static long loadBooleans​(java.io.File file, boolean[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static long loadBooleans​(java.lang.CharSequence filename, boolean[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static long loadBooleans​(java.io.File file, boolean[][] array) throws java.io.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:
      java.io.IOException
    • loadBooleans

      public static long loadBooleans​(java.lang.CharSequence filename, boolean[][] array) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBooleans

      public static void storeBooleans​(boolean[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asBooleanIterator

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

      public static BooleanIterator asBooleanIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asBooleanIterator

      public static BooleanIterator asBooleanIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asBooleanIterable

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

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

      public static int loadBytes​(java.io.BufferedReader reader, byte[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static int loadBytes​(java.io.BufferedReader reader, byte[] array) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static int loadBytes​(java.io.File file, byte[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static int loadBytes​(java.lang.CharSequence filename, byte[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static int loadBytes​(java.io.File file, byte[] array) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static int loadBytes​(java.lang.CharSequence filename, byte[] array) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(ByteIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(ByteIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static long loadBytes​(java.io.BufferedReader reader, byte[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static long loadBytes​(java.io.BufferedReader reader, byte[][] array) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static long loadBytes​(java.io.File file, byte[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static long loadBytes​(java.lang.CharSequence filename, byte[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static long loadBytes​(java.io.File file, byte[][] array) throws java.io.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:
      java.io.IOException
    • loadBytes

      public static long loadBytes​(java.lang.CharSequence filename, byte[][] array) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeBytes

      public static void storeBytes​(byte[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asByteIterator

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

      public static ByteIterator asByteIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asByteIterator

      public static ByteIterator asByteIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asByteIterable

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

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

      public static int loadShorts​(java.io.BufferedReader reader, short[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static int loadShorts​(java.io.BufferedReader reader, short[] array) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static int loadShorts​(java.io.File file, short[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static int loadShorts​(java.lang.CharSequence filename, short[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static int loadShorts​(java.io.File file, short[] array) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static int loadShorts​(java.lang.CharSequence filename, short[] array) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(ShortIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(ShortIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static long loadShorts​(java.io.BufferedReader reader, short[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static long loadShorts​(java.io.BufferedReader reader, short[][] array) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static long loadShorts​(java.io.File file, short[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static long loadShorts​(java.lang.CharSequence filename, short[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static long loadShorts​(java.io.File file, short[][] array) throws java.io.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:
      java.io.IOException
    • loadShorts

      public static long loadShorts​(java.lang.CharSequence filename, short[][] array) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeShorts

      public static void storeShorts​(short[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asShortIterator

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

      public static ShortIterator asShortIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asShortIterator

      public static ShortIterator asShortIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asShortIterable

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

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

      public static int loadFloats​(java.io.BufferedReader reader, float[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static int loadFloats​(java.io.BufferedReader reader, float[] array) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static int loadFloats​(java.io.File file, float[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static int loadFloats​(java.lang.CharSequence filename, float[] array, int offset, int length) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static int loadFloats​(java.io.File file, float[] array) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static int loadFloats​(java.lang.CharSequence filename, float[] array) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[] array, int offset, int length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(FloatIterator i, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(FloatIterator i, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static long loadFloats​(java.io.BufferedReader reader, float[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static long loadFloats​(java.io.BufferedReader reader, float[][] array) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static long loadFloats​(java.io.File file, float[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static long loadFloats​(java.lang.CharSequence filename, float[][] array, long offset, long length) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static long loadFloats​(java.io.File file, float[][] array) throws java.io.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:
      java.io.IOException
    • loadFloats

      public static long loadFloats​(java.lang.CharSequence filename, float[][] array) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[][] array, long offset, long length, java.io.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, java.io.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, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[][] array, long offset, long length, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[][] array, java.io.File file) throws java.io.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:
      java.io.IOException
    • storeFloats

      public static void storeFloats​(float[][] array, java.lang.CharSequence filename) throws java.io.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:
      java.io.IOException
    • asFloatIterator

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

      public static FloatIterator asFloatIterator​(java.io.File file) throws java.io.IOException
      Wraps a file given by a File object into an iterator.
      Parameters:
      file - a file.
      Throws:
      java.io.IOException
    • asFloatIterator

      public static FloatIterator asFloatIterator​(java.lang.CharSequence filename) throws java.io.IOException
      Wraps a file given by a pathname into an iterator.
      Parameters:
      filename - a filename.
      Throws:
      java.io.IOException
    • asFloatIterable

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

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