blob: 98026451eebe2b6a4160995db928ec4dc6744738 (
plain) (
blame)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved.
*/
package org.eclipse.compare.internal.patch;
import java.io.*;
import java.util.*;
import org.eclipse.jface.util.Assert;
/* package */ class LineReader {
private boolean fHaveChar= false;
private int fLastChar;
private boolean fSawEOF= false;
private BufferedReader fReader;
/* package */ LineReader(BufferedReader reader) {
fReader= reader;
Assert.isNotNull(reader);
}
/**
* Reads a line of text. A line is considered to be terminated by any one
* of a line feed ('\n'), a carriage return ('\r'), or a carriage return
* followed immediately by a linefeed.
* @return A string containing the contents of the line including
* the line-termination characters, or <code>null</code> if the end of the
* stream has been reached
* @exception IOException If an I/O error occurs
*/
/* package */ String readLine() throws IOException {
StringBuffer sb= null;
while (!fSawEOF) {
int c= readChar();
if (c == -1) {
fSawEOF= true;
break;
}
if (sb == null)
sb= new StringBuffer();
sb.append((char)c);
if (c == '\n')
break;
if (c == '\r') {
c= readChar();
if (c == -1) {
fSawEOF= true;
break; // EOF
}
if (c != '\n') {
fHaveChar= true;
fLastChar= c;
} else
sb.append((char)c);
break;
}
}
if (sb != null)
return sb.toString();
return null;
}
/* package */ void close() {
try {
fReader.close();
} catch (IOException ex) {
}
}
/* package */ List readLines() {
try {
List lines= new ArrayList();
String line;
while ((line= readLine()) != null)
lines.add(line);
return lines;
} catch (IOException ex) {
//System.out.println("error while reading file: " + fileName + "(" + ex + ")");
} finally {
close();
}
return null;
}
/**
* Returns the number of characters in the given string without
* counting a trailing line separator.
*/
/* package */ int lineContentLength(String line) {
if (line == null)
return 0;
int length= line.length();
for (int i= length-1; i >= 0; i--) {
char c= line.charAt(i);
if (c =='\n' || c == '\r')
length--;
else
break;
}
return length;
}
//---- private
private int readChar() throws IOException {
if (fHaveChar) {
fHaveChar= false;
return fLastChar;
}
return fReader.read();
}
}
|
