Package Name: java.io.randomaccessfile
with java.lang; use java.lang;
with java.lang.String; use java.lang.String;
with java.io.DataOutput; use java.io.DataOutput;
with java.io.DataInput; use java.io.DataInput;
with java.io.File; use java.io.File;
with java.io.FileDescriptor; use java.io.FileDescriptor;
package java.io.RandomAccessFile is
type RandomAccessFile_Obj is new Object with record
DataOutput : aliased DataOutput_Obj; -- implements DataOutput
DataInput : aliased DataInput_Obj; -- implements DataInput
end record;
type RandomAccessFile_Ptr is access all RandomAccessFile_Obj'Class;
function new_RandomAccessFile(
name : String_Ptr;
mode : String_Ptr;
Obj : RandomAccessFile_Ptr := null)
return RandomAccessFile_Ptr;
function new_RandomAccessFile(
file : File_Ptr;
mode : String_Ptr;
Obj : RandomAccessFile_Ptr := null)
return RandomAccessFile_Ptr;
function getFD(Obj : access RandomAccessFile_Obj) return FileDescriptor_Ptr;
function read(Obj : access RandomAccessFile_Obj) return Integer;
function read(Obj : access RandomAccessFile_Obj;
b : String;
off : Integer;
len : Integer)
return Integer;
function read(Obj : access RandomAccessFile_Obj;
b : String)
return Integer;
procedure readFully(Obj : access RandomAccessFile_Obj;
b : String);
procedure readFully(Obj : access RandomAccessFile_Obj;
b : String;
off : Integer;
len : Integer);
function skipBytes(Obj : access RandomAccessFile_Obj;
n : Integer)
return Integer;
procedure write(Obj : access RandomAccessFile_Obj;
P1 : Integer);
procedure write(Obj : access RandomAccessFile_Obj;
b : String);
procedure write(Obj : access RandomAccessFile_Obj;
b : String;
off : Integer;
len : Integer);
function getFilePointer(Obj : access RandomAccessFile_Obj) return Long_Integer;
procedure seek(Obj : access RandomAccessFile_Obj;
P1 : Long_Integer);
function length(Obj : access RandomAccessFile_Obj) return Long_Integer;
procedure close(Obj : access RandomAccessFile_Obj);
function readBoolean(Obj : access RandomAccessFile_Obj) return Boolean;
function readByte(Obj : access RandomAccessFile_Obj) return Character;
function readUnsignedByte(Obj : access RandomAccessFile_Obj) return Integer;
function readShort(Obj : access RandomAccessFile_Obj) return Short_Integer;
function readUnsignedShort(Obj : access RandomAccessFile_Obj) return Integer;
function readChar(Obj : access RandomAccessFile_Obj) return Wide_Character;
function readInt(Obj : access RandomAccessFile_Obj) return Integer;
function readLong(Obj : access RandomAccessFile_Obj) return Long_Integer;
function readFloat(Obj : access RandomAccessFile_Obj) return Float;
function readDouble(Obj : access RandomAccessFile_Obj) return Long_Float;
function readLine(Obj : access RandomAccessFile_Obj) return String_Ptr;
function readUTF(Obj : access RandomAccessFile_Obj) return String_Ptr;
procedure writeBoolean(Obj : access RandomAccessFile_Obj;
v : Boolean);
procedure writeByte(Obj : access RandomAccessFile_Obj;
v : Integer);
procedure writeShort(Obj : access RandomAccessFile_Obj;
v : Integer);
procedure writeChar(Obj : access RandomAccessFile_Obj;
v : Integer);
procedure writeInt(Obj : access RandomAccessFile_Obj;
v : Integer);
procedure writeLong(Obj : access RandomAccessFile_Obj;
v : Long_Integer);
procedure writeFloat(Obj : access RandomAccessFile_Obj;
v : Float);
procedure writeDouble(Obj : access RandomAccessFile_Obj;
v : Long_Float);
procedure writeBytes(Obj : access RandomAccessFile_Obj;
s : String_Ptr);
procedure writeChars(Obj : access RandomAccessFile_Obj;
s : String_Ptr);
procedure writeUTF(Obj : access RandomAccessFile_Obj;
str : String_Ptr);
pragma Import(Java, length);
pragma Import(Java, getFilePointer);
pragma Import(Java, readBoolean);
pragma Import(Java, close);
pragma Import(Java, getFD);
pragma Import(Java, readFully);
pragma Import(Java, readInt);
pragma Import(Java, writeBoolean);
pragma Import(Java, writeUTF);
pragma Import(Java, readUnsignedShort);
pragma Import(Java, writeBytes);
pragma Import(Java, readUnsignedByte);
pragma Import(Java, readFloat);
pragma Import(Java, readByte);
pragma Import(Java, readLine);
pragma Import(Java, writeDouble);
pragma Import(Java, readShort);
pragma Import(Java, readChar);
pragma Import(Java, writeByte);
pragma Import(Java, writeChars);
pragma Import(Java, read);
pragma Import(Java, writeFloat);
pragma Import(Java, writeChar);
pragma Import(Java, readLong);
pragma Import(Java, readUTF);
pragma Import(Java, write);
pragma Import(Java, writeShort);
pragma Import(Java, writeInt);
pragma Import(Java, seek);
pragma Import(Java, skipBytes);
pragma Import(Java, writeLong);
pragma Import(Java, readDouble);
pragma Import(Java_Constructor, new_RandomAccessFile);
end java.io.RandomAccessFile;