libjava/java/io/LineNumberReader.h

   1
   2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
   3
   4 #ifndef __java_io_LineNumberReader__
   5 #define __java_io_LineNumberReader__
   6
   7 #pragma interface
   8
   9 #include <java/io/BufferedReader.h>
  10 #include <gcj/array.h>
  11
  12
  13 class java::io::LineNumberReader : public ::java::io::BufferedReader
  14 {
  15
  16 public:
  17   LineNumberReader(::java::io::Reader *);
  18   LineNumberReader(::java::io::Reader *, jint);
  19   virtual jint getLineNumber();
  20   virtual void setLineNumber(jint);
  21   virtual void mark(jint);
  22   virtual void reset();
  23 private:
  24   jint fill();
  25 public:
  26   virtual jint read();
  27   virtual jint read(JArray< jchar > *, jint, jint);
  28 private:
  29   void skipRedundantLF();
  30 public:
  31   virtual ::java::lang::String * readLine();
  32   virtual jlong skip(jlong);
  33 private:
  34   jint __attribute__((aligned(__alignof__( ::java::io::BufferedReader)))) lineNumber;
  35   jboolean matchedNewLine;
  36   jint savedLineNumber;
  37 public:
  38   static ::java::lang::Class class$;
  39 };
  40
  41 #endif // __java_io_LineNumberReader__