/*******************************************************************************
* Copyright (c) 2000, 2006 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.erlide.ui.util.eclipse.text;
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
*/
public class LineBreakingReader {
private final BufferedReader fReader;
private final GC fGC;
private final int fMaxWidth;
private String fLine;
private int fOffset;
private final BreakIterator fLineBreakIterator;
private final boolean fBreakWords;
/**
* 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 (pixels) where the text has to fit in
*/
public LineBreakingReader(final Reader reader, final GC gc, final int maxLineWidth) {
fReader = new BufferedReader(reader);
fGC = gc;
fMaxWidth = maxLineWidth;
fOffset = 0;
fLine = null;
fLineBreakIterator = BreakIterator.getLineInstance();
fBreakWords = true;
}
public boolean isFormattedLine() {
return fLine != null;
}
/**
* Reads the next line. The lengths of the line will not exceed the given
* maximum width.
*
* @return the next line
* @throws IOException
*/
public String readLine() throws IOException {
if (fLine == null) {
final String line = fReader.readLine();
if (line == null) {
return null;
}
final int lineLen = fGC.textExtent(line).x;
if (lineLen < fMaxWidth) {
return line;
}
fLine = line;
fLineBreakIterator.setText(line);
fOffset = 0;
}
final 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(final int currOffset0) {
int currOffset = currOffset0;
int currWidth = 0;
int nextOffset = fLineBreakIterator.following(currOffset);
while (nextOffset != BreakIterator.DONE) {
String word = fLine.substring(currOffset, nextOffset);
int wordWidth = fGC.textExtent(word).x;
final int nextWidth = wordWidth + currWidth;
if (nextWidth > fMaxWidth) {
if (currWidth > 0) {
return currOffset;
}
if (!fBreakWords) {
return nextOffset;
}
// need to fit into fMaxWidth
int length = word.length();
while (length >= 0) {
length--;
word = word.substring(0, length);
wordWidth = fGC.textExtent(word).x;
if (wordWidth + currWidth < fMaxWidth) {
return currOffset + length;
}
}
return nextOffset;
}
currWidth = nextWidth;
currOffset = nextOffset;
nextOffset = fLineBreakIterator.next();
}
return nextOffset;
}
private int findWordBegin(final int idx0) {
int idx = idx0;
while (idx < fLine.length() && Character.isWhitespace(fLine.charAt(idx))) {
idx++;
}
return idx;
}
}