blob: 4ba6344b4ef6608bda0ee079f17a048ea50ce451 (
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
|
/*******************************************************************************
* Copyright (c) 2000, 2003 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are 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
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.ui.externaltools.internal.ant.editor.derived;
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;
}
}
|
