projects/dwt-mac: dwt/custom/DefaultContent.d annotate

annotate dwt/custom/DefaultContent.d @ 7:e831403a80a9

Add 'cast' to casts

author	Frank Benoit <benoit@tionex.de>
date	Wed, 27 Aug 2008 14:30:35 +0200
parents	1a8b3cb347e0
children	6337764516f1

rev	line source
0 380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	1 /*******************************************************************************
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	2 * Copyright (c) 2000, 2007 IBM Corporation and others.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	3 * All rights reserved. This program and the accompanying materials
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	4 * are made available under the terms of the Eclipse Public License v1.0
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	5 * which accompanies this distribution, and is available at
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	6 * http://www.eclipse.org/legal/epl-v10.html
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	7 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	8 * Contributors:
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	9 * IBM Corporation - initial API and implementation
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	10 *******************************************************************************/
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	11 module dwt.custom;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	12
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	13 import dwt.*;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	14 import dwt.internal.Compatibility;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	15 import dwt.widgets.*;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	16 import java.util.Vector;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	17
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	18 class DefaultContent : StyledTextContent {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	19 private final static String LineDelimiter = System.getProperty("line.separator");
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	20
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	21 Vector textListeners = new Vector(); // stores text listeners for event sending
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	22 char[] textStore = new char[0]; // stores the actual text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	23 int gapStart = -1; // the character position start of the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	24 int gapEnd = -1; // the character position after the end of the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	25 int gapLine = -1; // the line on which the gap exists, the gap will always be associated with one line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	26 int highWatermark = 300;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	27 int lowWatermark = 50;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	28
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	29 int[][] lines = new int[50][2]; // array of character positions and lengths representing the lines of text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	30 int lineCount = 0; // the number of lines of text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	31 int expandExp = 1; // the expansion exponent, used to increase the lines array exponentially
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	32 int replaceExpandExp = 1; // the expansion exponent, used to increase the lines array exponentially
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	33
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	34 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	35 * Creates a new DefaultContent and initializes it. A <code>StyledTextContent</> will always have
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	36 * at least one empty line.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	37 */
5 1a8b3cb347e0 Fix Ctors to 'this' Frank Benoit <benoit@tionex.de> parents: 0 diff changeset	38 this() {
0 380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	39 super();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	40 setText("");
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	41 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	42 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	43 * Adds a line to the end of the line indexes array. Increases the size of the array if necessary.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	44 * <code>lineCount</code> is updated to reflect the new entry.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	45 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	46 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	47 * @param start the start of the line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	48 * @param length the length of the line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	49 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	50 void addLineIndex(int start, int length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	51 int size = lines.length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	52 if (lineCount is size) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	53 // expand the lines by powers of 2
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	54 int[][] newLines = new int[size+Compatibility.pow2(expandExp)][2];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	55 System.arraycopy(lines, 0, newLines, 0, size);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	56 lines = newLines;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	57 expandExp++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	58 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	59 int[] range = new int[] {start, length};
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	60 lines[lineCount] = range;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	61 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	62 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	63 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	64 * Adds a line index to the end of <code>linesArray</code>. Increases the
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	65 * size of the array if necessary and returns a new array.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	66 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	67 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	68 * @param start the start of the line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	69 * @param length the length of the line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	70 * @param linesArray the array to which to add the line index
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	71 * @param count the position at which to add the line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	72 * @return a new array of line indexes
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	73 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	74 int[][] addLineIndex(int start, int length, int[][] linesArray, int count) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	75 int size = linesArray.length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	76 int[][] newLines = linesArray;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	77 if (count is size) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	78 newLines = new int[size+Compatibility.pow2(replaceExpandExp)][2];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	79 replaceExpandExp++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	80 System.arraycopy(linesArray, 0, newLines, 0, size);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	81 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	82 int[] range = new int[] {start, length};
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	83 newLines[count] = range;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	84 return newLines;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	85 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	86 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	87 * Adds a <code>TextChangeListener</code> listening for
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	88 * <code>TextChangingEvent</code> and <code>TextChangedEvent</code>. A
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	89 * <code>TextChangingEvent</code> is sent before changes to the text occur.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	90 * A <code>TextChangedEvent</code> is sent after changes to the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	91 * occurred.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	92 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	93 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	94 * @param listener the listener
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	95 * @exception IllegalArgumentException <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	96 * <li>ERROR_NULL_ARGUMENT when listener is null</li>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	97 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	98 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	99 public void addTextChangeListener(TextChangeListener listener) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	100 if (listener is null) error(DWT.ERROR_NULL_ARGUMENT);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	101 StyledTextListener typedListener = new StyledTextListener(listener);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	102 textListeners.addElement(typedListener);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	103 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	104 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	105 * Adjusts the gap to accommodate a text change that is occurring.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	106 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	107 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	108 * @param position the position at which a change is occurring
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	109 * @param sizeHint the size of the change
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	110 * @param line the line where the gap will go
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	111 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	112 void adjustGap(int position, int sizeHint, int line) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	113 if (position is gapStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	114 // text is being inserted at the gap position
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	115 int size = (gapEnd - gapStart) - sizeHint;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	116 if (lowWatermark <= size && size <= highWatermark)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	117 return;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	118 } else if ((position + sizeHint is gapStart) && (sizeHint < 0)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	119 // text is being deleted at the gap position
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	120 int size = (gapEnd - gapStart) - sizeHint;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	121 if (lowWatermark <= size && size <= highWatermark)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	122 return;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	123 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	124 moveAndResizeGap(position, sizeHint, line);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	125 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	126 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	127 * Calculates the indexes of each line in the text store. Assumes no gap exists.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	128 * Optimized to do less checking.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	129 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	130 void indexLines(){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	131 int start = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	132 lineCount = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	133 int textLength = textStore.length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	134 int i;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	135 for (i = start; i < textLength; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	136 char ch = textStore[i];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	137 if (ch is DWT.CR) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	138 // see if the next character is a LF
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	139 if (i + 1 < textLength) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	140 ch = textStore[i+1];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	141 if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	142 i++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	143 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	144 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	145 addLineIndex(start, i - start + 1);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	146 start = i + 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	147 } else if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	148 addLineIndex(start, i - start + 1);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	149 start = i + 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	150 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	151 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	152 addLineIndex(start, i - start);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	153 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	154 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	155 * Returns whether or not the given character is a line delimiter. Both CR and LF
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	156 * are valid line delimiters.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	157 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	158 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	159 * @param ch the character to test
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	160 * @return true if ch is a delimiter, false otherwise
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	161 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	162 bool isDelimiter(char ch) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	163 if (ch is DWT.CR) return true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	164 if (ch is DWT.LF) return true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	165 return false;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	166 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	167 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	168 * Determine whether or not the replace operation is valid. DefaultContent will not allow
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	169 * the /r/n line delimiter to be split or partially deleted.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	170 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	171 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	172 * @param start start offset of text to replace
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	173 * @param replaceLength start offset of text to replace
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	174 * @param newText start offset of text to replace
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	175 * @return a bool specifying whether or not the replace operation is valid
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	176 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	177 protected bool isValidReplace(int start, int replaceLength, String newText){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	178 if (replaceLength is 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	179 // inserting text, see if the \r\n line delimiter is being split
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	180 if (start is 0) return true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	181 if (start is getCharCount()) return true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	182 char before = getTextRange(start - 1, 1).charAt(0);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	183 if (before is '\r') {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	184 char after = getTextRange(start, 1).charAt(0);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	185 if (after is '\n') return false;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	186 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	187 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	188 // deleting text, see if part of a \r\n line delimiter is being deleted
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	189 char startChar = getTextRange(start, 1).charAt(0);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	190 if (startChar is '\n') {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	191 // see if char before delete position is \r
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	192 if (start !is 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	193 char before = getTextRange(start - 1, 1).charAt(0);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	194 if (before is '\r') return false;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	195 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	196 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	197 char endChar = getTextRange(start + replaceLength - 1, 1).charAt(0);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	198 if (endChar is '\r') {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	199 // see if char after delete position is \n
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	200 if (start + replaceLength !is getCharCount()) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	201 char after = getTextRange(start + replaceLength, 1).charAt(0);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	202 if (after is '\n') return false;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	203 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	204 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	205 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	206 return true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	207 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	208 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	209 * Calculates the indexes of each line of text in the given range.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	210 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	211 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	212 * @param offset the logical start offset of the text lineate
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	213 * @param length the length of the text to lineate, includes gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	214 * @param numLines the number of lines to initially allocate for the line index array,
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	215 * passed in for efficiency (the exact number of lines may be known)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	216 * @return a line indexes array where each line is identified by a start offset and
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	217 * a length
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	218 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	219 int[][] indexLines(int offset, int length, int numLines){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	220 int[][] indexedLines = new int[numLines][2];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	221 int start = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	222 int lineCount = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	223 int i;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	224 replaceExpandExp = 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	225 for (i = start; i < length; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	226 int location = i + offset;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	227 if ((location >= gapStart) && (location < gapEnd)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	228 // ignore the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	229 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	230 char ch = textStore[location];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	231 if (ch is DWT.CR) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	232 // see if the next character is a LF
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	233 if (location+1 < textStore.length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	234 ch = textStore[location+1];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	235 if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	236 i++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	237 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	238 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	239 indexedLines = addLineIndex(start, i - start + 1, indexedLines, lineCount);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	240 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	241 start = i + 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	242 } else if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	243 indexedLines = addLineIndex(start, i - start + 1, indexedLines, lineCount);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	244 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	245 start = i + 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	246 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	247 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	248 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	249 int[][] newLines = new int[lineCount+1][2];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	250 System.arraycopy(indexedLines, 0, newLines, 0, lineCount);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	251 int[] range = new int[] {start, i - start};
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	252 newLines[lineCount] = range;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	253 return newLines;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	254 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	255 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	256 * Inserts text.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	257 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	258 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	259 * @param position the position at which to insert the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	260 * @param text the text to insert
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	261 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	262 void insert(int position, String text) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	263 if (text.length() is 0) return;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	264
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	265 int startLine = getLineAtOffset(position);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	266 int change = text.length();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	267 bool endInsert = position is getCharCount();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	268 adjustGap(position, change, startLine);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	269
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	270 // during an insert the gap will be adjusted to start at
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	271 // position and it will be associated with startline, the
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	272 // inserted text will be placed in the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	273 int startLineOffset = getOffsetAtLine(startLine);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	274 // at this point, startLineLength will include the start line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	275 // and all of the newly inserted text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	276 int startLineLength = getPhysicalLine(startLine).length();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	277
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	278 if (change > 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	279 // shrink gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	280 gapStart += (change);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	281 for (int i = 0; i < text.length(); i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	282 textStore[position + i]= text.charAt(i);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	283 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	284 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	285
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	286 // figure out the number of new lines that have been inserted
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	287 int [][] newLines = indexLines(startLineOffset, startLineLength, 10);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	288 // only insert an empty line if it is the last line in the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	289 int numNewLines = newLines.length - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	290 if (newLines[numNewLines][1] is 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	291 // last inserted line is a new line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	292 if (endInsert) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	293 // insert happening at end of the text, leave numNewLines as
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	294 // is since the last new line will not be concatenated with another
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	295 // line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	296 numNewLines += 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	297 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	298 numNewLines -= 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	299 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	300 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	301
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	302 // make room for the new lines
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	303 expandLinesBy(numNewLines);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	304 // shift down the lines after the replace line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	305 for (int i = lineCount - 1; i > startLine; i--) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	306 lines[i + numNewLines]=lines[i];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	307 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	308 // insert the new lines
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	309 for (int i = 0; i < numNewLines; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	310 newLines[i][0] += startLineOffset;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	311 lines[startLine + i]=newLines[i];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	312 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	313 // update the last inserted line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	314 if (numNewLines < newLines.length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	315 newLines[numNewLines][0] += startLineOffset;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	316 lines[startLine + numNewLines] = newLines[numNewLines];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	317 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	318
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	319 lineCount += numNewLines;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	320 gapLine = getLineAtPhysicalOffset(gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	321 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	322 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	323 * Moves the gap and adjusts its size in anticipation of a text change.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	324 * The gap is resized to actual size + the specified size and moved to the given
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	325 * position.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	326 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	327 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	328 * @param position the position at which a change is occurring
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	329 * @param size the size of the change
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	330 * @param newGapLine the line where the gap should be put
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	331 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	332 void moveAndResizeGap(int position, int size, int newGapLine) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	333 char[] content = null;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	334 int oldSize = gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	335 int newSize;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	336 if (size > 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	337 newSize = highWatermark + size;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	338 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	339 newSize = lowWatermark - size;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	340 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	341 // remove the old gap from the lines information
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	342 if (gapExists()) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	343 // adjust the line length
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	344 lines[gapLine][1] = lines[gapLine][1] - oldSize;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	345 // adjust the offsets of the lines after the gapLine
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	346 for (int i = gapLine + 1; i < lineCount; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	347 lines[i][0] = lines[i][0] - oldSize;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	348 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	349 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	350
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	351 if (newSize < 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	352 if (oldSize > 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	353 // removing the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	354 content = new char[textStore.length - oldSize];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	355 System.arraycopy(textStore, 0, content, 0, gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	356 System.arraycopy(textStore, gapEnd, content, gapStart, content.length - gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	357 textStore = content;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	358 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	359 gapStart = gapEnd = position;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	360 return;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	361 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	362 content = new char[textStore.length + (newSize - oldSize)];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	363 int newGapStart = position;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	364 int newGapEnd = newGapStart + newSize;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	365 if (oldSize is 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	366 System.arraycopy(textStore, 0, content, 0, newGapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	367 System.arraycopy(textStore, newGapStart, content, newGapEnd, content.length - newGapEnd);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	368 } else if (newGapStart < gapStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	369 int delta = gapStart - newGapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	370 System.arraycopy(textStore, 0, content, 0, newGapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	371 System.arraycopy(textStore, newGapStart, content, newGapEnd, delta);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	372 System.arraycopy(textStore, gapEnd, content, newGapEnd + delta, textStore.length - gapEnd);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	373 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	374 int delta = newGapStart - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	375 System.arraycopy(textStore, 0, content, 0, gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	376 System.arraycopy(textStore, gapEnd, content, gapStart, delta);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	377 System.arraycopy(textStore, gapEnd + delta, content, newGapEnd, content.length - newGapEnd);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	378 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	379 textStore = content;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	380 gapStart = newGapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	381 gapEnd = newGapEnd;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	382
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	383 // add the new gap to the lines information
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	384 if (gapExists()) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	385 gapLine = newGapLine;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	386 // adjust the line length
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	387 int gapLength = gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	388 lines[gapLine][1] = lines[gapLine][1] + (gapLength);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	389 // adjust the offsets of the lines after the gapLine
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	390 for (int i = gapLine + 1; i < lineCount; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	391 lines[i][0] = lines[i][0] + gapLength;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	392 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	393 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	394 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	395 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	396 * Returns the number of lines that are in the specified text.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	397 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	398 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	399 * @param startOffset the start of the text to lineate
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	400 * @param length the length of the text to lineate
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	401 * @return number of lines
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	402 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	403 int lineCount(int startOffset, int length){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	404 if (length is 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	405 return 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	406 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	407 int lineCount = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	408 int count = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	409 int i = startOffset;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	410 if (i >= gapStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	411 i += gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	412 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	413 while (count < length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	414 if ((i >= gapStart) && (i < gapEnd)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	415 // ignore the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	416 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	417 char ch = textStore[i];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	418 if (ch is DWT.CR) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	419 // see if the next character is a LF
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	420 if (i + 1 < textStore.length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	421 ch = textStore[i+1];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	422 if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	423 i++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	424 count++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	425 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	426 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	427 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	428 } else if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	429 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	430 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	431 count++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	432 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	433 i++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	434 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	435 return lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	436 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	437 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	438 * Returns the number of lines that are in the specified text.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	439 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	440 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	441 * @param text the text to lineate
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	442 * @return number of lines in the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	443 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	444 int lineCount(String text){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	445 int lineCount = 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	446 int length = text.length();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	447 for (int i = 0; i < length; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	448 char ch = text.charAt(i);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	449 if (ch is DWT.CR) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	450 if (i + 1 < length && text.charAt(i + 1) is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	451 i++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	452 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	453 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	454 } else if (ch is DWT.LF) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	455 lineCount++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	456 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	457 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	458 return lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	459 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	460 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	461 * @return the logical length of the text store
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	462 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	463 public int getCharCount() {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	464 int length = gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	465 return (textStore.length - length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	466 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	467 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	468 * Returns the line at <code>index</code> without delimiters.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	469 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	470 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	471 * @param index the index of the line to return
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	472 * @return the logical line text (i.e., without the gap)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	473 * @exception IllegalArgumentException <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	474 * <li>ERROR_INVALID_ARGUMENT when index is out of range</li>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	475 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	476 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	477 public String getLine(int index) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	478 if ((index >= lineCount) \|\| (index < 0)) error(DWT.ERROR_INVALID_ARGUMENT);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	479 int start = lines[index][0];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	480 int length = lines[index][1];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	481 int end = start + length - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	482 if (!gapExists() \|\| (end < gapStart) \|\| (start >= gapEnd)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	483 // line is before or after the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	484 while ((length - 1 >= 0) && isDelimiter(textStore[start+length-1])) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	485 length--;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	486 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	487 return new String(textStore, start, length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	488 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	489 // gap is in the specified range, strip out the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	490 StringBuffer buf = new StringBuffer();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	491 int gapLength = gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	492 buf.append(textStore, start, gapStart - start);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	493 buf.append(textStore, gapEnd, length - gapLength - (gapStart - start));
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	494 length = buf.length();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	495 while ((length - 1 >=0) && isDelimiter(buf.charAt(length - 1))) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	496 length--;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	497 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	498 return buf.toString().substring(0, length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	499 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	500 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	501 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	502 * Returns the line delimiter that should be used by the StyledText
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	503 * widget when inserting new lines. This delimiter may be different than the
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	504 * delimiter that is used by the <code>StyledTextContent</code> interface.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	505 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	506 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	507 * @return the platform line delimiter as specified in the line.separator
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	508 * system property.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	509 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	510 public String getLineDelimiter() {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	511 return LineDelimiter;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	512 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	513 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	514 * Returns the line at the given index with delimiters.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	515 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	516 * @param index the index of the line to return
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	517 * @return the logical line text (i.e., without the gap) with delimiters
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	518 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	519 String getFullLine(int index) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	520 int start = lines[index][0];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	521 int length = lines[index][1];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	522 int end = start + length - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	523 if (!gapExists() \|\| (end < gapStart) \|\| (start >= gapEnd)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	524 // line is before or after the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	525 return new String(textStore, start, length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	526 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	527 // gap is in the specified range, strip out the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	528 StringBuffer buffer = new StringBuffer();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	529 int gapLength = gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	530 buffer.append(textStore, start, gapStart - start);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	531 buffer.append(textStore, gapEnd, length - gapLength - (gapStart - start));
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	532 return buffer.toString();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	533 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	534 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	535 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	536 * Returns the physical line at the given index (i.e., with delimiters and the gap).
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	537 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	538 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	539 * @param index the line index
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	540 * @return the physical line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	541 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	542 String getPhysicalLine(int index) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	543 int start = lines[index][0];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	544 int length = lines[index][1];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	545 return getPhysicalText(start, length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	546 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	547 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	548 * @return the number of lines in the text store
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	549 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	550 public int getLineCount(){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	551 return lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	552 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	553 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	554 * Returns the line at the given offset.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	555 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	556 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	557 * @param charPosition logical character offset (i.e., does not include gap)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	558 * @return the line index
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	559 * @exception IllegalArgumentException <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	560 * <li>ERROR_INVALID_ARGUMENT when charPosition is out of range</li>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	561 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	562 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	563 public int getLineAtOffset(int charPosition){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	564 if ((charPosition > getCharCount()) \|\| (charPosition < 0)) error(DWT.ERROR_INVALID_ARGUMENT);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	565 int position;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	566 if (charPosition < gapStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	567 // position is before the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	568 position = charPosition;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	569 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	570 // position includes the gap
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	571 position = charPosition + (gapEnd - gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	572 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	573
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	574 // if last line and the line is not empty you can ask for
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	575 // a position that doesn't exist (the one to the right of the
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	576 // last character) - for inserting
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	577 if (lineCount > 0) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	578 int lastLine = lineCount - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	579 if (position is lines[lastLine][0] + lines[lastLine][1])
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	580 return lastLine;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	581 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	582
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	583 int high = lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	584 int low = -1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	585 int index = lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	586 while (high - low > 1) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	587 index = (high + low) / 2;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	588 int lineStart = lines[index][0];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	589 int lineEnd = lineStart + lines[index][1] - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	590 if (position <= lineStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	591 high = index;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	592 } else if (position <= lineEnd) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	593 high = index;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	594 break;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	595 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	596 low = index;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	597 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	598 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	599 return high;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	600 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	601 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	602 * Returns the line index at the given physical offset.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	603 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	604 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	605 * @param position physical character offset (i.e., includes gap)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	606 * @return the line index
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	607 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	608 int getLineAtPhysicalOffset(int position){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	609 int high = lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	610 int low = -1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	611 int index = lineCount;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	612 while (high - low > 1) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	613 index = (high + low) / 2;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	614 int lineStart = lines[index][0];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	615 int lineEnd = lineStart + lines[index][1] - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	616 if (position <= lineStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	617 high = index;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	618 } else if (position <= lineEnd) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	619 high = index;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	620 break;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	621 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	622 low = index;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	623 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	624 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	625 return high;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	626 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	627 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	628 * Returns the logical offset of the given line.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	629 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	630 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	631 * @param lineIndex index of line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	632 * @return the logical starting offset of the line. When there are not any lines,
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	633 * getOffsetAtLine(0) is a valid call that should answer 0.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	634 * @exception IllegalArgumentException <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	635 * <li>ERROR_INVALID_ARGUMENT when lineIndex is out of range</li>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	636 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	637 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	638 public int getOffsetAtLine(int lineIndex) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	639 if (lineIndex is 0) return 0;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	640 if ((lineIndex >= lineCount) \|\| (lineIndex < 0)) error(DWT.ERROR_INVALID_ARGUMENT);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	641 int start = lines[lineIndex][0];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	642 if (start > gapEnd) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	643 return start - (gapEnd - gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	644 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	645 return start;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	646 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	647 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	648 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	649 * Increases the line indexes array to accommodate more lines.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	650 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	651 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	652 * @param numLines the number to increase the array by
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	653 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	654 void expandLinesBy(int numLines) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	655 int size = lines.length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	656 if (size - lineCount >= numLines) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	657 return;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	658 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	659 int[][] newLines = new int[size+Math.max(10, numLines)][2];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	660 System.arraycopy(lines, 0, newLines, 0, size);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	661 lines = newLines;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	662 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	663 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	664 * Reports an DWT error.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	665 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	666 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	667 * @param code the error code
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	668 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	669 void error (int code) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	670 DWT.error(code);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	671 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	672 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	673 * Returns whether or not a gap exists in the text store.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	674 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	675 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	676 * @return true if gap exists, false otherwise
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	677 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	678 bool gapExists() {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	679 return gapStart !is gapEnd;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	680 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	681 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	682 * Returns a String representing the continuous content of
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	683 * the text store.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	684 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	685 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	686 * @param start the physical start offset of the text to return
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	687 * @param length the physical length of the text to return
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	688 * @return the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	689 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	690 String getPhysicalText(int start, int length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	691 return new String(textStore, start, length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	692 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	693 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	694 * Returns a String representing the logical content of
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	695 * the text store (i.e., gap stripped out).
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	696 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	697 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	698 * @param start the logical start offset of the text to return
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	699 * @param length the logical length of the text to return
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	700 * @return the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	701 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	702 public String getTextRange(int start, int length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	703 if (textStore is null)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	704 return "";
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	705 if (length is 0)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	706 return "";
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	707 int end= start + length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	708 if (!gapExists() \|\| (end < gapStart))
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	709 return new String(textStore, start, length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	710 if (gapStart < start) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	711 int gapLength= gapEnd - gapStart;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	712 return new String(textStore, start + gapLength , length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	713 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	714 StringBuffer buf = new StringBuffer();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	715 buf.append(textStore, start, gapStart - start);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	716 buf.append(textStore, gapEnd, end - gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	717 return buf.toString();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	718 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	719 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	720 * Removes the specified <code>TextChangeListener</code>.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	721 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	722 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	723 * @param listener the listener
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	724 * @exception IllegalArgumentException <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	725 * <li>ERROR_NULL_ARGUMENT when listener is null</li>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	726 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	727 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	728 public void removeTextChangeListener(TextChangeListener listener){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	729 if (listener is null) error(DWT.ERROR_NULL_ARGUMENT);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	730 for (int i = 0; i < textListeners.size(); i++) {
7 e831403a80a9 Add 'cast' to casts Frank Benoit <benoit@tionex.de> parents: 5 diff changeset	731 TypedListener typedListener = cast(TypedListener) textListeners.elementAt(i);
0 380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	732 if (typedListener.getEventListener () is listener) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	733 textListeners.removeElementAt(i);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	734 break;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	735 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	736 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	737 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	738 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	739 * Replaces the text with <code>newText</code> starting at position <code>start</code>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	740 * for a length of <code>replaceLength</code>. Notifies the appropriate listeners.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	741 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	742 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	743 * When sending the TextChangingEvent, <code>newLineCount</code> is the number of
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	744 * lines that are going to be inserted and <code>replaceLineCount</code> is
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	745 * the number of lines that are going to be deleted, based on the change
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	746 * that occurs visually. For example:
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	747 * <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	748 * <li>(replaceText,newText) ==> (replaceLineCount,newLineCount)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	749 * <li>("","\n") ==> (0,1)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	750 * <li>("\n\n","a") ==> (2,0)
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	751 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	752 * </p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	753 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	754 * @param start start offset of text to replace
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	755 * @param replaceLength start offset of text to replace
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	756 * @param newText start offset of text to replace
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	757 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	758 * @exception DWTException <ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	759 * <li>ERROR_INVALID_ARGUMENT when the text change results in a multi byte
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	760 * line delimiter being split or partially deleted. Splitting a line
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	761 * delimiter by inserting text between the CR and LF characters of the
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	762 * \r\n delimiter or deleting part of this line delimiter is not supported</li>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	763 * </ul>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	764 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	765 public void replaceTextRange(int start, int replaceLength, String newText){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	766 // check for invalid replace operations
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	767 if (!isValidReplace(start, replaceLength, newText)) DWT.error(DWT.ERROR_INVALID_ARGUMENT);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	768
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	769 // inform listeners
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	770 StyledTextEvent event = new StyledTextEvent(this);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	771 event.type = StyledText.TextChanging;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	772 event.start = start;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	773 event.replaceLineCount = lineCount(start, replaceLength);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	774 event.text = newText;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	775 event.newLineCount = lineCount(newText);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	776 event.replaceCharCount = replaceLength;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	777 event.newCharCount = newText.length();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	778 sendTextEvent(event);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	779
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	780 // first delete the text to be replaced
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	781 delete(start, replaceLength, event.replaceLineCount + 1);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	782 // then insert the new text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	783 insert(start, newText);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	784 // inform listeners
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	785 event = new StyledTextEvent(this);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	786 event.type = StyledText.TextChanged;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	787 sendTextEvent(event);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	788 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	789 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	790 * Sends the text listeners the TextChanged event.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	791 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	792 void sendTextEvent(StyledTextEvent event) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	793 for (int i = 0; i < textListeners.size(); i++) {
7 e831403a80a9 Add 'cast' to casts Frank Benoit <benoit@tionex.de> parents: 5 diff changeset	794 (cast(StyledTextListener)textListeners.elementAt(i)).handleEvent(event);
0 380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	795 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	796 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	797 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	798 * Sets the content to text and removes the gap since there are no sensible predictions
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	799 * about where the next change will occur.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	800 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	801 *
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	802 * @param text the text
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	803 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	804 public void setText (String text){
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	805 textStore = text.toCharArray();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	806 gapStart = -1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	807 gapEnd = -1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	808 expandExp = 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	809 indexLines();
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	810 StyledTextEvent event = new StyledTextEvent(this);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	811 event.type = StyledText.TextSet;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	812 event.text = "";
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	813 sendTextEvent(event);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	814 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	815 /**
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	816 * Deletes text.
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	817 * <p>
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	818 * @param position the position at which the text to delete starts
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	819 * @param length the length of the text to delete
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	820 * @param numLines the number of lines that are being deleted
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	821 */
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	822 void delete(int position, int length, int numLines) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	823 if (length is 0) return;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	824
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	825 int startLine = getLineAtOffset(position);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	826 int startLineOffset = getOffsetAtLine(startLine);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	827 int endLine = getLineAtOffset(position + length);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	828
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	829 String endText = "";
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	830 bool splittingDelimiter = false;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	831 if (position + length < getCharCount()) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	832 endText = getTextRange(position + length - 1, 2);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	833 if ((endText.charAt(0) is DWT.CR) && (endText.charAt(1) is DWT.LF)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	834 splittingDelimiter = true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	835 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	836 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	837
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	838 adjustGap(position + length, -length, startLine);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	839 int [][] oldLines = indexLines(position, length + (gapEnd - gapStart), numLines);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	840
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	841 // enlarge the gap - the gap can be enlarged either to the
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	842 // right or left
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	843 if (position + length is gapStart) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	844 gapStart -= length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	845 } else {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	846 gapEnd += length;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	847 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	848
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	849 // figure out the length of the new concatenated line, do so by
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	850 // finding the first line delimiter after position
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	851 int j = position;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	852 bool eol = false;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	853 while (j < textStore.length && !eol) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	854 if (j < gapStart \|\| j >= gapEnd) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	855 char ch = textStore[j];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	856 if (isDelimiter(ch)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	857 if (j + 1 < textStore.length) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	858 if (ch is DWT.CR && (textStore[j+1] is DWT.LF)) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	859 j++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	860 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	861 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	862 eol = true;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	863 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	864 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	865 j++;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	866 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	867 // update the line where the deletion started
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	868 lines[startLine][1] = (position - startLineOffset) + (j - position);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	869 // figure out the number of lines that have been deleted
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	870 int numOldLines = oldLines.length - 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	871 if (splittingDelimiter) numOldLines -= 1;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	872 // shift up the lines after the last deleted line, no need to update
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	873 // the offset or length of the lines
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	874 for (int i = endLine + 1; i < lineCount; i++) {
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	875 lines[i - numOldLines] = lines[i];
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	876 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	877 lineCount -= numOldLines;
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	878 gapLine = getLineAtPhysicalOffset(gapStart);
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	879 }
380af2bdd8e5 Upload of whole dwt tree Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com> parents: diff changeset	880 }

Mercurial > projects > dwt-mac

annotate dwt/custom/DefaultContent.d @ 7:e831403a80a9