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

#ifndef __java_io_DataInputStream__
#define __java_io_DataInputStream__

#pragma interface

#include <java/io/FilterInputStream.h>
#include <gcj/array.h>

class ::java::io::DataInputStream : public ::java::io::FilterInputStream
{
public:
  DataInputStream (::java::io::InputStream *);
  jint read (jbyteArray);
  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 ();
  static ::java::lang::String *readUTF (::java::io::DataInput *);
  jint skipBytes (jint);
public: // actually package-private
  static jboolean convertToBoolean (jint);
  static jbyte convertToByte (jint);
  static jint convertToUnsignedByte (jint);
  static jchar convertToChar (jbyteArray);
  static jshort convertToShort (jbyteArray);
  static jint convertToUnsignedShort (jbyteArray);
  static jint convertToInt (jbyteArray);
  static jlong convertToLong (jbyteArray);
  static ::java::lang::String *convertFromUTF (jbyteArray);
  jboolean ignoreInitialNewline;
  jbyteArray buf;
public:

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

#endif /* __java_io_DataInputStream__ */
