projects/dwt2: org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/DefaultContent.d annotate

annotate org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/DefaultContent.d @ 112:9f4c18c268b2

Update to compile and execute with dmd 2.052.

author	kntroh
date	Wed, 16 Mar 2011 21:53:53 +0900
parents	b98647bc0aef
children	536e43f63c81

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

Mercurial > projects > dwt2

annotate org.eclipse.swt.win32.win32.x86/src/org/eclipse/swt/custom/DefaultContent.d @ 112:9f4c18c268b2