net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/php/PHPWordDetector.java

   1 /**********************************************************************
   2 Copyright (c) 2000, 2002 IBM Corp. and others.
   3 All rights reserved. This program and the accompanying materials
   4 are made available under the terms of the Common Public License v1.0
   5 which accompanies this distribution, and is available at
   6 http://www.eclipse.org/legal/cpl-v10.html
   7
   8 Contributors:
   9     IBM Corporation - Initial implementation
  10     Klaus Hartlage - www.eclipseproject.de
  11 **********************************************************************/
  12 package net.sourceforge.phpeclipse.phpeditor.php;
  13
  14 import org.eclipse.swt.graphics.Point;
  15 import org.eclipse.jface.text.BadLocationException;
  16 import org.eclipse.jface.text.IDocument;
  17
  18 /**
  19  * Detects PHP words in documents.
  20  */
  21 public class PHPWordDetector {
  22
  23         /**
  24          * Find the location of the word at offset in document.
  25          * @returns Point - x is the start position, y is the end position.
  26          *      Return null if it is not found.
  27          * @param document the document being searched.
  28          * @param offset - the position to start searching from.
  29          */
  30         public static Point findWord(IDocument document, int offset) {
  31
  32                 int start = -1;
  33                 int end = -1;
  34
  35                 try {
  36
  37                         int position = offset;
  38                         char character;
  39
  40                         while (position >= 0) {
  41                                 character = document.getChar(position);
  42                                 if (!Character.isJavaIdentifierPart(character) && (character != '$'))
  43                                         break;
  44                                 --position;
  45                         }
  46
  47                         start = position;
  48
  49                         position = offset;
  50                         int length = document.getLength();
  51
  52                         while (position < length) {
  53                                 character = document.getChar(position);
  54                                 if (!Character.isJavaIdentifierPart(character) && (character != '$'))
  55                                         break;
  56                                 ++position;
  57                         }
  58
  59                         end = position;
  60
  61                         if (end > start)
  62                                 return new Point(start, end - start);
  63
  64                 } catch (BadLocationException x) {
  65                 }
  66
  67                 return null;
  68         }
  69 }