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