// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-

#ifndef __java_io_RandomAccessFile__
#define __java_io_RandomAccessFile__

#pragma interface

#include <java/lang/Object.h>
#include <gcj/array.h>

extern "Java"
{
  namespace java
  {
    namespace nio
    {
      namespace channels
      {
        class FileChannel;
      }
    }
  }
}

class java::io::RandomAccessFile : public ::java::lang::Object
{
public:
  RandomAccessFile (::java::io::File *, ::java::lang::String *);
  RandomAccessFile (::java::lang::String *, ::java::lang::String *);
  virtual void close ();
  ::java::io::FileDescriptor *getFD ();
  virtual jlong getFilePointer ();
  virtual void setLength (jlong);
  virtual jlong length ();
  virtual jint read ();
  virtual jint read (jbyteArray);
  virtual jint read (jbyteArray, jint, jint);
  jboolean readBoolean ();
  jbyte readByte ();
  jchar readChar ();
  jdouble readDouble ();
  jfloat readFloat ();
  void readFully (jbyteArray);
  void readFully (jbyteArray, jint, jint);
  jint readInt ();
  ::java::lang::String *readLine ();
  jlong readLong ();
  jshort readShort ();
  jint readUnsignedByte ();
  jint readUnsignedShort ();
  ::java::lang::String *readUTF ();
  virtual void seek (jlong);
  virtual jint skipBytes (jint);
  virtual void write (jint);
  virtual void write (jbyteArray);
  virtual void write (jbyteArray, jint, jint);
  void writeBoolean (jboolean);
  void writeByte (jint);
  void writeShort (jint);
  void writeChar (jint);
  void writeInt (jint);
  void writeLong (jlong);
  void writeFloat (jfloat);
  void writeDouble (jdouble);
  void writeBytes (::java::lang::String *);
  void writeChars (::java::lang::String *);
  void writeUTF (::java::lang::String *);
  ::java::nio::channels::FileChannel *getChannel ();
private:
  ::java::io::FileDescriptor * __attribute__((aligned(__alignof__( ::java::lang::Object )))) fd;
  ::java::io::DataOutputStream *out;
  ::java::io::DataInputStream *in;
  ::java::nio::channels::FileChannel *ch;
public:

  static ::java::lang::Class class$;
};

#endif /* __java_io_RandomAccessFile__ */
