diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java | 352 |
1 files changed, 0 insertions, 352 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java deleted file mode 100644 index 7145fe09b..000000000 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleDocumentAdapter.java +++ /dev/null @@ -1,352 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2000, 2004 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.internal.console; - -import java.util.ArrayList; -import java.util.Iterator; -import java.util.List; -import java.util.regex.Matcher; -import java.util.regex.Pattern; - -import org.eclipse.jface.text.Assert; -import org.eclipse.jface.text.BadLocationException; -import org.eclipse.jface.text.DocumentEvent; -import org.eclipse.jface.text.IDocument; -import org.eclipse.jface.text.IDocumentAdapter; -import org.eclipse.jface.text.IDocumentListener; -import org.eclipse.jface.text.Region; -import org.eclipse.swt.custom.TextChangeListener; -import org.eclipse.swt.custom.TextChangedEvent; -import org.eclipse.swt.custom.TextChangingEvent; - -/** - * Adapts a Console's document to the viewer StyledText widget. Allows proper line - * wrapping of fixed width consoles without having to add line delimeters to the StyledText. - * - * By using this adapter, the offset of any character is the same in both the widget and the - * document. - * - * @since 3.1 - */ -public class ConsoleDocumentAdapter implements IDocumentAdapter, IDocumentListener { - - private int consoleWidth = -1; - private List textChangeListeners; - private IDocument document; - - private List regions; - private Pattern pattern = Pattern.compile("^.*$", Pattern.MULTILINE); //$NON-NLS-1$ - - public ConsoleDocumentAdapter(int width) { - textChangeListeners = new ArrayList(); - consoleWidth = width; - regions = new ArrayList(); - } - - /* - * repairs lines list from the beginning of the line containing the offset of any - * DocumentEvent, to the end of the Document. - */ - private void repairLines(int eventOffset) { - try { - int docLine = document.getLineOfOffset(eventOffset); - int docLineStart = document.getLineOffset(docLine); - int textLine = getLineAtOffset(docLineStart); - - for (int i=regions.size()-1; i>=textLine; i--) { - regions.remove(i); - } - - int numLinesInDoc = document.getNumberOfLines(); - String line = null; - int offset = 0; - for (int i = docLine; i<numLinesInDoc; i++) { - offset = document.getLineOffset(i); - int length = document.getLineLength(i); - - if (length == 0) { - regions.add(new Region(offset, 0)); - } else { - while (length > 0) { - int trimmedLength = length; - String lineDelimiter = document.getLineDelimiter(i); - int lineDelimiterLength = 0; - if (lineDelimiter != null) { - lineDelimiterLength = lineDelimiter.length(); - trimmedLength -= lineDelimiterLength; - } - - if (consoleWidth > 0 && consoleWidth < trimmedLength) { - regions.add(new Region(offset, consoleWidth)); - offset += consoleWidth; - length -= consoleWidth; - } else { - regions.add(new Region(offset, length)); - offset += length; - length -= length; - } - } - } - } - if (line != null && lineEndsWithDelimeter(line)) { - regions.add(new Region(offset, 0)); - } - - } catch (BadLocationException e) { - } - - if (regions.size() == 0) { - regions.add(new Region(document.getLength(), 0)); - } - } - - /** - * Returns <code>true</code> if the line ends with a legal line delimiter - * @return <code>true</code> if the line ends with a legal line delimiter, <code>false</code> otherwise - */ - private boolean lineEndsWithDelimeter(String line) { - String[] lld = document.getLegalLineDelimiters(); - for (int i = 0; i < lld.length; i++) { - if (line.endsWith(lld[i])) { - return true; - } - } - return false; - } - - /* (non-Javadoc) - * @see org.eclipse.jface.text.IDocumentAdapter#setDocument(org.eclipse.jface.text.IDocument) - */ - public void setDocument(IDocument doc) { - if (document != null) { - document.removeDocumentListener(this); - } - - document = doc; - - if (document != null) { - document.addDocumentListener(this); - repairLines(0); - } - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#addTextChangeListener(org.eclipse.swt.custom.TextChangeListener) - */ - public synchronized void addTextChangeListener(TextChangeListener listener) { - Assert.isNotNull(listener); - if (!textChangeListeners.contains(listener)) { - textChangeListeners.add(listener); - } - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#removeTextChangeListener(org.eclipse.swt.custom.TextChangeListener) - */ - public synchronized void removeTextChangeListener(TextChangeListener listener) { - if(textChangeListeners != null) { - Assert.isNotNull(listener); - textChangeListeners.remove(listener); - } - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getCharCount() - */ - public int getCharCount() { - return document.getLength(); - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getLine(int) - */ - public String getLine(int lineIndex) { - Region region = (Region) regions.get(lineIndex); - try { - StringBuffer line = new StringBuffer(document.get(region.getOffset(), region.getLength())); - int index = line.length() - 1; - while(index > -1 && (line.charAt(index)=='\n' || line.charAt(index)=='\r')) { - index--; - } - return line.substring(0, index+1); - } catch (BadLocationException e) { - } - return ""; //$NON-NLS-1$ - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getLineAtOffset(int) - */ - public int getLineAtOffset(int offset) { - if (offset == 0 || regions.size() <= 1) { - return 0; - } - - if (offset == document.getLength()) { - return regions.size()-1; - } - - int left= 0; - int right= regions.size() -1; - int midIndex = 0; - Region mid = null; - - while (left <= right) { - midIndex= (left + right) / 2; - - mid = (Region) regions.get(midIndex); - if (offset < mid.getOffset()) { - right = midIndex; - } else if (offset >= mid.getOffset() + mid.getLength()) { - left = midIndex + 1; - } else { - return midIndex; - } - } - - return midIndex; - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getLineCount() - */ - public int getLineCount() { - return regions.size(); - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getLineDelimiter() - */ - public String getLineDelimiter() { - return System.getProperty("line.separator"); //$NON-NLS-1$ - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getOffsetAtLine(int) - */ - public int getOffsetAtLine(int lineIndex) { - return ((Region) regions.get(lineIndex)).getOffset(); - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#getTextRange(int, int) - */ - public String getTextRange(int start, int length) { - try { - return document.get(start, length); - } catch (BadLocationException e) { - } - return null; - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#replaceTextRange(int, int, java.lang.String) - */ - public void replaceTextRange(int start, int replaceLength, String text) { - try { - document.replace(start, replaceLength, text); - } catch (BadLocationException e) { - } - } - - /* (non-Javadoc) - * @see org.eclipse.swt.custom.StyledTextContent#setText(java.lang.String) - */ - public synchronized void setText(String text) { - TextChangedEvent changeEvent = new TextChangedEvent(this); - for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) { - TextChangeListener element = (TextChangeListener) iter.next(); - element.textSet(changeEvent); - } - } - - /* (non-Javadoc) - * @see org.eclipse.jface.text.IDocumentListener#documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent) - */ - public synchronized void documentAboutToBeChanged(DocumentEvent event) { - if (document == null) { - return; - } - - TextChangingEvent changeEvent = new TextChangingEvent(this); - changeEvent.start = event.fOffset; - changeEvent.newText = (event.fText == null ? "" : event.fText); //$NON-NLS-1$ - changeEvent.replaceCharCount = event.fLength; - changeEvent.newCharCount = (event.fText == null ? 0 : event.fText.length()); - - int first = getLineAtOffset(event.fOffset); - int last = getLineAtOffset(event.fOffset + event.fLength); - changeEvent.replaceLineCount= last - first; - - changeEvent.newLineCount = countLines(event.fText) ; - - for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) { - TextChangeListener element = (TextChangeListener) iter.next(); - element.textChanging(changeEvent); - } - } - - /** - * Counts the number of lines the viewer's text widget will need to use to - * display the String - * @return The number of lines necessary to display the string in the viewer. - */ - private int countLines(String string) { - Matcher matcher = pattern.matcher(string); - int count = 0; - while (matcher.find()) { - count++; - if (consoleWidth > 0) { - String line = matcher.group(); - count += (line.length() / consoleWidth); - } - } - - if (lineEndsWithDelimeter(string)) { - count++; - } - - return count; - } - - - /* (non-Javadoc) - * @see org.eclipse.jface.text.IDocumentListener#documentChanged(org.eclipse.jface.text.DocumentEvent) - */ - public synchronized void documentChanged(DocumentEvent event) { - if (document == null) { - return; - } - - repairLines(event.fOffset); - - TextChangedEvent changeEvent = new TextChangedEvent(this); - - for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) { - TextChangeListener element = (TextChangeListener) iter.next(); - element.textChanged(changeEvent); - } - } - - /** - * sets consoleWidth, repairs line information, then fires event to the viewer text widget. - * @param width The console's width - */ - public void setWidth(int width) { - consoleWidth = width; - repairLines(0); - TextChangedEvent changeEvent = new TextChangedEvent(this); - for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) { - TextChangeListener element = (TextChangeListener) iter.next(); - element.textSet(changeEvent); - } - } -} |