RandomAccessFile
Related Doc:
package io
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
like skipBytes but just jumps, does not return.
like skipBytes but just jumps, does not return. For speed
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.readInt8
Alias, in java style, for breeze.io.RandomAccessFile.readInt8
Alias, in java style, for breeze.io.RandomAccessFile.readInt8
Alias, in java style, for breeze.io.RandomAccessFile.readInt8
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16
Tries to read n Doubles from the current getFilePointer().
Tries to read n Doubles from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read a Double at the current getFilePointer().
Tries to read a Double at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n Floats from the current getFilePointer().
Tries to read n Floats from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read a Float at the current getFilePointer().
Tries to read a Float at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.readUInt32
Alias, in java style, for breeze.io.RandomAccessFile.readUInt32
Alias, in java style, for breeze.io.RandomAccessFile.readUInt32
Alias, in java style, for breeze.io.RandomAccessFile.readUInt32
Tries to read n Int16s from the current getFilePointer().
Tries to read n Int16s from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read an Int16 at the current getFilePointer().
Tries to read an Int16 at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n Int32s from the current getFilePointer().
Tries to read n Int32s from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read an Int32 at the current getFilePointer().
Tries to read an Int32 at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n Int64s from the current getFilePointer().
Tries to read n Int64s from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read an Int64 at the current getFilePointer().
Tries to read an Int64 at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n Int8s (Bytes) from the current getFilePointer().
Tries to read n Int8s (Bytes) from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read an Int8 (Byte) at the current getFilePointer().
Tries to read an Int8 (Byte) at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.readInt64
Alias, in java style, for breeze.io.RandomAccessFile.readInt64
Alias, in java style, for breeze.io.RandomAccessFile.readInt64
Alias, in java style, for breeze.io.RandomAccessFile.readInt64
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Tries to read n UInt16s (Chars) from the current getFilePointer() as Int32.
Tries to read n UInt16s (Chars) from the current getFilePointer() as Int32. Will throw an exception if it encounters an end of file.
Tries to read a UInt16 (Char) at the current getFilePointer().
Tries to read a UInt16 (Char) at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n UInt32s as Longs from the current getFilePointer().
Tries to read n UInt32s as Longs from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read a UInt32 as Long at the current getFilePointer().
Tries to read a UInt32 as Long at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n UInt64s from the current getFilePointer().
Tries to read n UInt64s from the current getFilePointer(). Will throw an exception for UInt64 values which are larger than the maximum Long. Will throw an exception if it encounters an end of file.
Tries to read a UInt64 as spire.math.ULong at the current getFilePointer().
Tries to read a UInt64 as spire.math.ULong at the current getFilePointer(). Will throw an exception for UInt64 values which are larger than the maximum Long. Will throw an exception if it encounters an end of file.
Tries to read n UInt64s, shifted down in value to fit into Int64/Longs from the current getFilePointer().
Tries to read n UInt64s, shifted down in value to fit into Int64/Longs from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read a UInt64, shifted down in value to fit into Int64/Long at the current getFilePointer().
Tries to read a UInt64, shifted down in value to fit into Int64/Long at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read n UInt8s as Int from the current getFilePointer().
Tries to read n UInt8s as Int from the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to read a UInt8 as an Int16 at the current getFilePointer().
Tries to read a UInt8 as an Int16 at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.readUInt8
Alias, in java style, for breeze.io.RandomAccessFile.readUInt8
Alias, in java style, for breeze.io.RandomAccessFile.readUInt8
Alias, in java style, for breeze.io.RandomAccessFile.readUInt8
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16, but reads as Int.
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16, but reads as Int.
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16, but reads as Int.
Alias, in java style, for breeze.io.RandomAccessFile.readUInt16, but reads as Int.
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.writeInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeInt8
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.writeInt32
Alias, in java style, for breeze.io.RandomAccessFile.writeInt32
Alias, in java style, for breeze.io.RandomAccessFile.writeInt32
Alias, in java style, for breeze.io.RandomAccessFile.writeInt32
Tries to write an array of Int16s (Shorts) to the current getFilePointer().
Tries to write an array of Int16s (Shorts) to the current getFilePointer().
Tries to write an Int16 (Short) to the current getFilePointer().
Tries to write an Int16 (Short) to the current getFilePointer().
Tries to write an array of Int32s (Ints) to the current getFilePointer().
Tries to write an array of Int32s (Ints) to the current getFilePointer().
Tries to write an Int32 (Int) to the current getFilePointer().
Tries to write an Int32 (Int) to the current getFilePointer().
Tries to write an array of Int64s (Longs) to the current getFilePointer().
Tries to write an array of Int64s (Longs) to the current getFilePointer().
Tries to write an Int64 (Long) to the current getFilePointer().
Tries to write an Int64 (Long) to the current getFilePointer().
Tries to write n Int8s (Bytes) to the current getFilePointer().
Tries to write n Int8s (Bytes) to the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to write an Int8 (Byte) to the current getFilePointer().
Tries to write an Int8 (Byte) to the current getFilePointer().
Alias, in java style, for breeze.io.RandomAccessFile.writeInt64
Alias, in java style, for breeze.io.RandomAccessFile.writeInt64
Alias, in java style, for breeze.io.RandomAccessFile.writeInt64
Alias, in java style, for breeze.io.RandomAccessFile.writeInt64
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Alias, in java style, for breeze.io.RandomAccessFile.readInt16
Tries to write an array of UInt16s (Chars) to the current getFilePointer().
Tries to write an array of UInt16s (Chars) to the current getFilePointer().
Tries to write a UInt16 (Char) to the current getFilePointer().
Tries to write a UInt16 (Char) to the current getFilePointer().
Tries to write an array of Int32s (Ints) to the current getFilePointer().
Tries to write an array of Int32s (Ints) to the current getFilePointer().
Tries to write a UInt32 (represented by Int) to the current getFilePointer().
Tries to write a UInt32 (represented by Int) to the current getFilePointer().
Tries to write an array of UInt64s (input as spire.math.ULong) to the current getFilePointer().
Tries to write an array of UInt64s (input as spire.math.ULong) to the current getFilePointer(). Will throw error if value < 0.
Tries to write an UInt64 (described as Long) to the current getFilePointer().
Tries to write an UInt64 (described as Long) to the current getFilePointer(). Will throw error if value < 0.
Tries to write an array of UInt64Shifted (shifted down to Long range) to the current getFilePointer().
Tries to write an array of UInt64Shifted (shifted down to Long range) to the current getFilePointer().
Tries to write an UInt64Shifted (shifted down to Long range) to the current getFilePointer().
Tries to write an UInt64Shifted (shifted down to Long range) to the current getFilePointer().
Tries to write n UInt8s (Bytes) at the current getFilePointer().
Tries to write n UInt8s (Bytes) at the current getFilePointer(). Will throw an exception if it encounters an end of file.
Tries to write a UInt8 to the current getFilePointer().
Tries to write a UInt8 to the current getFilePointer().
Pass on to java.io.RandomAccessFile
Pass on to java.io.RandomAccessFile
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt8
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16, but reads as Int.
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16, but reads as Int.
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16, but reads as Int.
Alias, in java style, for breeze.io.RandomAccessFile.writeUInt16, but reads as Int.
Wrapper for java.io.RandomAccessFile.
The main differences to java.io.RandomAccessFile are (1) naming (e.g. default naming is readInt64 instead of readLong) (2) the readXXX(n: Int) functions, which will try to read n samples from the file. (Try to use these functions instead of reading multiple times in a loop with readXXX(), as each individual read is costly in terms of performance. * Each function throws a java.io.IOException (including subclass java.io.EOFException). These can be caught in Scala if necessary, to detect ends of files when reading, for example. Catching is obligatory in Java.
*note: given that the JVM/Scala does not have a UInt64 type, nor a Int128 to promote to, UInt64s are dealt with in two ways... (1) as a spire.math.ULong (which represents UInt64 wrapped as a regular Long where the negative values represent their unsigned two's complement equivalent:
or (2) as a shifted Int64, where UInt64 is shifted down by 2^63 in its range to cover both positive and negative values of Int64 (this is compatible with + and -, for use as timestamps, for example, but is of course not compatible with * and / operations)
*implementation note: this class was not overriden from java.io.RandomAccessFile or implicitly "pimped," but instead passes through to java.io.RandomAccessFile. This is mainly because the java.io.RandomAccessFile.readXXX functions are declared final, and cannot be overridden.