1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / BufferedDocumentScanner.java
index cb1a56d..65a2305 100644 (file)
 /*******************************************************************************
  * Copyright (c) 2000, 2004 IBM Corporation and others.
- * All rights reserved. This program and the accompanying materials 
+ * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Common Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/cpl-v10.html
- * 
+ *
  * Contributors:
  *     IBM Corporation - initial API and implementation
  *******************************************************************************/
 package net.sourceforge.phpdt.internal.ui.text;
 
-
-import org.eclipse.jface.text.Assert;
+//incastrix
+//import org.eclipse.jface.text.Assert;
+import org.eclipse.core.runtime.Assert;
 import org.eclipse.jface.text.BadLocationException;
 import org.eclipse.jface.text.IDocument;
 import org.eclipse.jface.text.rules.ICharacterScanner;
 
-
-
 /**
- * A buffered document scanner. The buffer always contains a section 
- * of a fixed size of the document to be scanned.
+ * A buffered document scanner. The buffer always contains a section of a fixed
+ * size of the document to be scanned.
  */
 
 public final class BufferedDocumentScanner implements ICharacterScanner {
 
        /** The document being scanned. */
        private IDocument fDocument;
+
        /** The offset of the document range to scan. */
        private int fRangeOffset;
+
        /** The length of the document range to scan. */
        private int fRangeLength;
+
        /** The delimiters of the document. */
        private char[][] fDelimiters;
 
        /** The buffer. */
        private final char[] fBuffer;
+
        /** The offset of the buffer within the document. */
        private int fBufferOffset;
+
        /** The valid length of the buffer for access. */
        private int fBufferLength;
+
        /** The offset of the scanner within the buffer. */
        private int fOffset;
 
-       
        /**
-        * Creates a new buffered document scanner.
-        * The buffer size is set to the given number of characters.
+        * Creates a new buffered document scanner. The buffer size is set to the
+        * given number of characters.
         * 
-        * @param size the buffer size
+        * @param size
+        *            the buffer size
         */
        public BufferedDocumentScanner(int size) {
                Assert.isTrue(size >= 1);
-               fBuffer= new char[size];
+               fBuffer = new char[size];
        }
 
        /**
-        * Fills the buffer with the contens of the document starting at the given offset.
-        *
-        * @param offset the document offset at which the buffer starts
+        * Fills the buffer with the contens of the document starting at the given
+        * offset.
+        * 
+        * @param offset
+        *            the document offset at which the buffer starts
         */
        private final void updateBuffer(int offset) {
 
-               fBufferOffset= offset;
-               
+               fBufferOffset = offset;
+
                if (fBufferOffset + fBuffer.length > fRangeOffset + fRangeLength)
-                       fBufferLength= fRangeLength - (fBufferOffset - fRangeOffset);
+                       fBufferLength = fRangeLength - (fBufferOffset - fRangeOffset);
                else
-                       fBufferLength= fBuffer.length;
+                       fBufferLength = fBuffer.length;
 
                try {
-                       final String content= fDocument.get(fBufferOffset, fBufferLength);
-                       content.getChars(0, fBufferLength, fBuffer, 0);
+                       final String content = fDocument.get(fBufferOffset, fBufferLength);
+                       if (content != null) {
+                               content.getChars(0, fBufferLength, fBuffer, 0);
+                       }
                } catch (BadLocationException e) {
                }
        }
 
        /**
-        * Configures the scanner by providing access to the document range over which to scan.
-        *
-        * @param document the document to scan
-        * @param offset the offset of the document range to scan
-        * @param length the length of the document range to scan
+        * Configures the scanner by providing access to the document range over
+        * which to scan.
+        * 
+        * @param document
+        *            the document to scan
+        * @param offset
+        *            the offset of the document range to scan
+        * @param length
+        *            the length of the document range to scan
         */
        public final void setRange(IDocument document, int offset, int length) {
 
-               fDocument= document;
-               fRangeOffset= offset;
-               fRangeLength= length;
+               fDocument = document;
+               fRangeOffset = offset;
+               fRangeLength = length;
 
-               String[] delimiters= document.getLegalLineDelimiters();
-               fDelimiters= new char[delimiters.length][];
-               for (int i= 0; i < delimiters.length; i++)
-                       fDelimiters[i]= delimiters[i].toCharArray();
+               String[] delimiters = document.getLegalLineDelimiters();
+               fDelimiters = new char[delimiters.length][];
+               for (int i = 0; i < delimiters.length; i++)
+                       fDelimiters[i] = delimiters[i].toCharArray();
 
                updateBuffer(offset);
-               fOffset= 0;
+               fOffset = 0;
        }
 
        /*
@@ -108,16 +121,16 @@ public final class BufferedDocumentScanner implements ICharacterScanner {
                                return EOF;
                        else {
                                updateBuffer(fBufferOffset + fBufferLength);
-                               fOffset= 0;
+                               fOffset = 0;
                        }
                }
-        try {
-               return fBuffer[fOffset++];
-        } catch (ArrayIndexOutOfBoundsException e) {
-          System.out.println("Offset:"+fOffset);
-          System.out.println("Buffer:"+fBuffer);
-          throw e;
-        }
+               try {
+                       return fBuffer[fOffset++];
+               } catch (ArrayIndexOutOfBoundsException e) {
+                       System.out.println("Offset:" + fOffset);
+                       System.out.println("Buffer:" + fBuffer.toString());
+                       throw e;
+               }
        }
 
        /*
@@ -130,9 +143,9 @@ public final class BufferedDocumentScanner implements ICharacterScanner {
                                // error: BOF
                        } else {
                                updateBuffer(fBufferOffset - fBuffer.length);
-                               fOffset= fBuffer.length - 1;
+                               fOffset = fBuffer.length - 1;
                        }
-               } else {                        
+               } else {
                        --fOffset;
                }
        }
@@ -143,9 +156,9 @@ public final class BufferedDocumentScanner implements ICharacterScanner {
        public final int getColumn() {
 
                try {
-                       final int offset= fBufferOffset + fOffset;
-                       final int line= fDocument.getLineOfOffset(offset);
-                       final int start= fDocument.getLineOffset(line);
+                       final int offset = fBufferOffset + fOffset;
+                       final int line = fDocument.getLineOfOffset(offset);
+                       final int start = fDocument.getLineOffset(line);
                        return offset - start;
                } catch (BadLocationException e) {
                }