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__
42