blob: 09b60ec618d5891c51b50c9dbbb9d84a5498e9bf (
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
|
package org.eclipse.ui.externaltools.internal.ant.editor.derived;
/**********************************************************************
Copyright (c) 2000, 2002 IBM Corp. All rights reserved.
This file is made available under the terms of the Common Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/cpl-v10.html
**********************************************************************/
import java.io.BufferedReader;
import java.io.IOException;
import java.io.Reader;
import java.text.BreakIterator;
import org.eclipse.swt.graphics.GC;
/**
* Not a real reader. Could change if requested
* @see org.eclipse.jdt.internal.ui.text.LineBreakingReader
*/
public class LineBreakingReader {
private BufferedReader fReader;
private GC fGC;
private int fMaxWidth;
private String fLine;
private int fOffset;
private BreakIterator fLineBreakIterator;
/**
* Creates a reader that breaks an input text to fit in a given width.
* @param reader Reader of the input text
* @param gc The graphic context that defines the currently used font sizes
* @param maxLineWidth The max width (pixes) where the text has to fit in
*/
public LineBreakingReader(Reader reader, GC gc, int maxLineWidth) {
fReader= new BufferedReader(reader);
fGC= gc;
fMaxWidth= maxLineWidth;
fOffset= 0;
fLine= null;
fLineBreakIterator= BreakIterator.getLineInstance();
}
public boolean isFormattedLine() {
return fLine != null;
}
/**
* Reads the next line. The lengths of the line will not exceed the gived maximum
* width.
*/
public String readLine() throws IOException {
if (fLine == null) {
String line= fReader.readLine();
if (line == null)
return null;
int lineLen= fGC.textExtent(line).x;
if (lineLen < fMaxWidth) {
return line;
}
fLine= line;
fLineBreakIterator.setText(line);
fOffset= 0;
}
int breakOffset= findNextBreakOffset(fOffset);
String res;
if (breakOffset != BreakIterator.DONE) {
res= fLine.substring(fOffset, breakOffset);
fOffset= findWordBegin(breakOffset);
if (fOffset == fLine.length()) {
fLine= null;
}
} else {
res= fLine.substring(fOffset);
fLine= null;
}
return res;
}
private int findNextBreakOffset(int currOffset) {
int currWidth= 0;
int nextOffset= fLineBreakIterator.following(currOffset);
while (nextOffset != BreakIterator.DONE) {
String word= fLine.substring(currOffset, nextOffset);
int wordWidth= fGC.textExtent(word).x;
int nextWidth= wordWidth + currWidth;
if (nextWidth > fMaxWidth) {
if (currWidth > 0) {
return currOffset;
} else {
return nextOffset;
}
}
currWidth= nextWidth;
currOffset= nextOffset;
nextOffset= fLineBreakIterator.next();
}
return nextOffset;
}
private int findWordBegin(int idx) {
while (idx < fLine.length() && Character.isWhitespace(fLine.charAt(idx))) {
idx++;
}
return idx;
}
}
|
