|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectit.unimi.dsi.fastutil.io.TextIO
public class TextIO
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") );
Field Summary | |
---|---|
static int |
BUFFER_SIZE
The size of the buffer used for all I/O on files. |
Method Summary | |
---|---|
static BooleanIterator |
asBooleanIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static BooleanIterator |
asBooleanIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static BooleanIterator |
asBooleanIterator(java.io.File file)
Wraps a file given by a File object into an iterator. |
static ByteIterator |
asByteIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static ByteIterator |
asByteIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static ByteIterator |
asByteIterator(java.io.File file)
Wraps a file given by a File object into an iterator. |
static DoubleIterator |
asDoubleIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static DoubleIterator |
asDoubleIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static DoubleIterator |
asDoubleIterator(java.io.File file)
Wraps a file given by a File object into an iterator. |
static FloatIterator |
asFloatIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static FloatIterator |
asFloatIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static FloatIterator |
asFloatIterator(java.io.File file)
Wraps a file given by a File object into an iterator. |
static IntIterator |
asIntIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static IntIterator |
asIntIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static IntIterator |
asIntIterator(java.io.File file)
Wraps a file given by a File object into an iterator. |
static LongIterator |
asLongIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static LongIterator |
asLongIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static LongIterator |
asLongIterator(java.io.File file)
Wraps a file given by a File object into an iterator. |
static ShortIterator |
asShortIterator(java.io.BufferedReader reader)
Wraps the given buffered reader into an iterator. |
static ShortIterator |
asShortIterator(java.lang.CharSequence filename)
Wraps a file given by a pathname into an iterator. |
static ShortIterator |
asShortIterator(java.io.File file)
Wraps a file given by a File object 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 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.lang.CharSequence filename,
boolean[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 |
loadBooleans(java.io.File file,
boolean[] array)
Loads elements from a file given by a File object, storing them in a given array. |
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 |
loadBytes(java.io.BufferedReader reader,
byte[] array)
Loads elements from a given buffered reader, storing them in a given array. |
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.lang.CharSequence filename,
byte[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 |
loadBytes(java.io.File file,
byte[] array)
Loads elements from a file given by a File object, storing them in a given array. |
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 |
loadDoubles(java.io.BufferedReader reader,
double[] array)
Loads elements from a given buffered reader, storing them in a given array. |
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.lang.CharSequence filename,
double[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 |
loadDoubles(java.io.File file,
double[] array)
Loads elements from a file given by a File object, storing them in a given array. |
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 |
loadFloats(java.io.BufferedReader reader,
float[] array)
Loads elements from a given buffered reader, storing them in a given array. |
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.lang.CharSequence filename,
float[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 |
loadFloats(java.io.File file,
float[] array)
Loads elements from a file given by a File object, storing them in a given array. |
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 |
loadInts(java.io.BufferedReader reader,
int[] array)
Loads elements from a given buffered reader, storing them in a given array. |
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.lang.CharSequence filename,
int[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 |
loadInts(java.io.File file,
int[] array)
Loads elements from a file given by a File object, storing them in a given array. |
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 |
loadLongs(java.io.BufferedReader reader,
long[] array)
Loads elements from a given buffered reader, storing them in a given array. |
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.lang.CharSequence filename,
long[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 |
loadLongs(java.io.File file,
long[] array)
Loads elements from a file given by a File object, storing them in a given array. |
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 |
loadShorts(java.io.BufferedReader reader,
short[] array)
Loads elements from a given buffered reader, storing them in a given array. |
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.lang.CharSequence filename,
short[] array)
Loads elements from a file given by a filename, storing them in a given array. |
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 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 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 void |
storeBooleans(boolean[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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 |
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 |
storeBytes(byte[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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 |
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 |
storeDoubles(double[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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 |
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 |
storeFloats(float[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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 |
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 |
storeInts(int[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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 |
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 |
storeLongs(long[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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 |
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 |
storeShorts(short[] array,
java.lang.CharSequence filename)
Stores an array 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,
int offset,
int length,
java.lang.CharSequence filename)
Stores an array fragment 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,
java.io.PrintStream stream)
Stores an array 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. |
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. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int BUFFER_SIZE
Method Detail |
---|
public static int loadBooleans(java.io.BufferedReader reader, boolean[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadBooleans(java.io.BufferedReader reader, boolean[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadBooleans(java.io.File file, boolean[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadBooleans(java.lang.CharSequence filename, boolean[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadBooleans(java.io.File file, boolean[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadBooleans(java.lang.CharSequence filename, boolean[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeBooleans(boolean[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeBooleans(boolean[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeBooleans(boolean[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeBooleans(boolean[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeBooleans(boolean[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeBooleans(boolean[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeBooleans(BooleanIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeBooleans(BooleanIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeBooleans(BooleanIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static BooleanIterator asBooleanIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static BooleanIterator asBooleanIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static BooleanIterator asBooleanIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
public static int loadBytes(java.io.BufferedReader reader, byte[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadBytes(java.io.BufferedReader reader, byte[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadBytes(java.io.File file, byte[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadBytes(java.lang.CharSequence filename, byte[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadBytes(java.io.File file, byte[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadBytes(java.lang.CharSequence filename, byte[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeBytes(byte[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeBytes(byte[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeBytes(byte[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeBytes(byte[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeBytes(byte[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeBytes(byte[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeBytes(ByteIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeBytes(ByteIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeBytes(ByteIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static ByteIterator asByteIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static ByteIterator asByteIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static ByteIterator asByteIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
public static int loadShorts(java.io.BufferedReader reader, short[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadShorts(java.io.BufferedReader reader, short[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadShorts(java.io.File file, short[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadShorts(java.lang.CharSequence filename, short[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadShorts(java.io.File file, short[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadShorts(java.lang.CharSequence filename, short[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeShorts(short[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeShorts(short[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeShorts(short[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeShorts(short[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeShorts(short[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeShorts(short[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeShorts(ShortIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeShorts(ShortIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeShorts(ShortIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static ShortIterator asShortIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static ShortIterator asShortIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static ShortIterator asShortIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
public static int loadInts(java.io.BufferedReader reader, int[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadInts(java.io.BufferedReader reader, int[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadInts(java.io.File file, int[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadInts(java.lang.CharSequence filename, int[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadInts(java.io.File file, int[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadInts(java.lang.CharSequence filename, int[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeInts(int[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeInts(int[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeInts(int[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeInts(int[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeInts(int[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeInts(int[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeInts(IntIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeInts(IntIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeInts(IntIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static IntIterator asIntIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static IntIterator asIntIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static IntIterator asIntIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
public static int loadLongs(java.io.BufferedReader reader, long[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadLongs(java.io.BufferedReader reader, long[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadLongs(java.io.File file, long[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadLongs(java.lang.CharSequence filename, long[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadLongs(java.io.File file, long[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadLongs(java.lang.CharSequence filename, long[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeLongs(long[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeLongs(long[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeLongs(long[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeLongs(long[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeLongs(long[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeLongs(long[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeLongs(LongIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeLongs(LongIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeLongs(LongIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static LongIterator asLongIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static LongIterator asLongIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static LongIterator asLongIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
public static int loadFloats(java.io.BufferedReader reader, float[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadFloats(java.io.BufferedReader reader, float[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadFloats(java.io.File file, float[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadFloats(java.lang.CharSequence filename, float[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadFloats(java.io.File file, float[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadFloats(java.lang.CharSequence filename, float[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeFloats(float[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeFloats(float[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeFloats(float[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeFloats(float[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeFloats(float[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeFloats(float[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeFloats(FloatIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeFloats(FloatIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeFloats(FloatIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static FloatIterator asFloatIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static FloatIterator asFloatIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static FloatIterator asFloatIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
public static int loadDoubles(java.io.BufferedReader reader, double[] array, int offset, int length) throws java.io.IOException
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.
reader
(it might be less than length
if reader
ends).
java.io.IOException
public static int loadDoubles(java.io.BufferedReader reader, double[] array) throws java.io.IOException
reader
- a buffered reader.array
- an array which will be filled with data from reader
.
reader
(it might be less than the array length if reader
ends).
java.io.IOException
public static int loadDoubles(java.io.File file, double[] array, int offset, int length) throws java.io.IOException
File
object, storing them in a given array fragment.
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.
length
if the file is too short).
java.io.IOException
public static int loadDoubles(java.lang.CharSequence filename, double[] array, int offset, int length) throws java.io.IOException
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.
length
if the file is too short).
java.io.IOException
public static int loadDoubles(java.io.File file, double[] array) throws java.io.IOException
File
object, storing them in a given array.
file
- a file.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static int loadDoubles(java.lang.CharSequence filename, double[] array) throws java.io.IOException
filename
- a filename.array
- an array which will be filled with data from the specified file.
java.io.IOException
public static void storeDoubles(double[] array, int offset, int length, java.io.PrintStream stream)
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.public static void storeDoubles(double[] array, java.io.PrintStream stream)
array
- an array whose elements will be written to stream
.stream
- a print stream.public static void storeDoubles(double[] array, int offset, int length, java.io.File file) throws java.io.IOException
File
object.
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.
java.io.IOException
public static void storeDoubles(double[] array, int offset, int length, java.lang.CharSequence filename) throws java.io.IOException
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.
java.io.IOException
public static void storeDoubles(double[] array, java.io.File file) throws java.io.IOException
File
object.
array
- an array whose elements will be written to filename
.file
- a file.
java.io.IOException
public static void storeDoubles(double[] array, java.lang.CharSequence filename) throws java.io.IOException
array
- an array whose elements will be written to filename
.filename
- a filename.
java.io.IOException
public static void storeDoubles(DoubleIterator i, java.io.PrintStream stream)
i
- an iterator whose output will be written to stream
.stream
- a print stream.public static void storeDoubles(DoubleIterator i, java.io.File file) throws java.io.IOException
File
object.
i
- an iterator whose output will be written to filename
.file
- a file.
java.io.IOException
public static void storeDoubles(DoubleIterator i, java.lang.CharSequence filename) throws java.io.IOException
i
- an iterator whose output will be written to filename
.filename
- a filename.
java.io.IOException
public static DoubleIterator asDoubleIterator(java.io.BufferedReader reader)
reader
- a buffered reader.public static DoubleIterator asDoubleIterator(java.io.File file) throws java.io.IOException
File
object into an iterator.
file
- a file.
java.io.IOException
public static DoubleIterator asDoubleIterator(java.lang.CharSequence filename) throws java.io.IOException
filename
- a filename.
java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |