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