secure.phpeclipse.com Git - phpeclipse.git/blob

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2004 IBM Corporation 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 API and implementation
  10  *******************************************************************************/
  11 package net.sourceforge.phpdt.internal.ui.text;
  12
  13 import java.util.Arrays;
  14
  15 import net.sourceforge.phpdt.internal.compiler.parser.Scanner;
  16 import net.sourceforge.phpdt.internal.core.Assert;
  17 import net.sourceforge.phpdt.internal.ui.text.SmartBackspaceManager.UndoSpec;
  18 import net.sourceforge.phpdt.ui.PreferenceConstants;
  19 //import net.sourceforge.phpeclipse.PHPeclipsePlugin;
  20 import net.sourceforge.phpeclipse.phpeditor.PHPUnitEditor;
  21 import net.sourceforge.phpeclipse.ui.WebUI;
  22
  23 import org.eclipse.jface.preference.IPreferenceStore;
  24 import org.eclipse.jface.text.BadLocationException;
  25 import org.eclipse.jface.text.DocumentCommand;
  26 import org.eclipse.jface.text.IAutoEditStrategy;
  27 import org.eclipse.jface.text.IDocument;
  28 import org.eclipse.jface.text.IRegion;
  29 import org.eclipse.jface.text.ITextSelection;
  30 import org.eclipse.jface.text.ITypedRegion;
  31 import org.eclipse.jface.text.Region;
  32 import org.eclipse.jface.text.TextSelection;
  33 import org.eclipse.jface.text.TextUtilities;
  34 import org.eclipse.text.edits.DeleteEdit;
  35 import org.eclipse.text.edits.MalformedTreeException;
  36 import org.eclipse.text.edits.ReplaceEdit;
  37 import org.eclipse.text.edits.TextEdit;
  38 import org.eclipse.ui.IEditorPart;
  39 import org.eclipse.ui.IWorkbenchPage;
  40 import org.eclipse.ui.texteditor.ITextEditorExtension2;
  41 import org.eclipse.ui.texteditor.ITextEditorExtension3;
  42
  43 /**
  44  * Modifies <code>DocumentCommand</code>s inserting semicolons and opening
  45  * braces to place them smartly, i.e. moving them to the end of a line if that
  46  * is what the user expects.
  47  *
  48  * <p>
  49  * In practice, semicolons and braces (and the caret) are moved to the end of
  50  * the line if they are typed anywhere except for semicolons in a
  51  * <code>for</code> statements definition. If the line contains a semicolon or
  52  * brace after the current caret position, the cursor is moved after it.
  53  * </p>
  54  *
  55  * @see org.eclipse.jface.text.DocumentCommand
  56  * @since 3.0
  57  */
  58 public class SmartSemicolonAutoEditStrategy implements IAutoEditStrategy {
  59
  60         /** String representation of a semicolon. */
  61         private static final String SEMICOLON = ";"; //$NON-NLS-1$
  62
  63         /** Char representation of a semicolon. */
  64         private static final char SEMICHAR = ';';
  65
  66         /** String represenattion of a opening brace. */
  67         private static final String BRACE = "{"; //$NON-NLS-1$
  68
  69         /** Char representation of a opening brace */
  70         private static final char BRACECHAR = '{';
  71
  72         private char fCharacter;
  73
  74         private String fPartitioning;
  75
  76         /**
  77          * Creates a new SmartSemicolonAutoEditStrategy.
  78          *
  79          * @param partitioning
  80          *            the document partitioning
  81          */
  82         public SmartSemicolonAutoEditStrategy(String partitioning) {
  83                 fPartitioning = partitioning;
  84         }
  85
  86         /*
  87          * @see org.eclipse.jface.text.IAutoEditStrategy#customizeDocumentCommand(org.eclipse.jface.text.IDocument,
  88          *      org.eclipse.jface.text.DocumentCommand)
  89          */
  90         public void customizeDocumentCommand(IDocument document,
  91                         DocumentCommand command) {
  92                 // 0: early pruning
  93                 // also customize if <code>doit</code> is false (so it works in code
  94                 // completion situations)
  95                 // if (!command.doit)
  96                 // return;
  97
  98                 if (command.text == null)
  99                         return;
 100
 101                 if (command.text.equals(SEMICOLON))
 102                         fCharacter = SEMICHAR;
 103                 else if (command.text.equals(BRACE))
 104                         fCharacter = BRACECHAR;
 105                 else
 106                         return;
 107
 108                 IPreferenceStore store = WebUI.getDefault()
 109                                 .getPreferenceStore();
 110                 if (fCharacter == SEMICHAR
 111                                 && !store
 112                                                 .getBoolean(PreferenceConstants.EDITOR_SMART_SEMICOLON))
 113                         return;
 114                 if (fCharacter == BRACECHAR
 115                                 && !store
 116                                                 .getBoolean(PreferenceConstants.EDITOR_SMART_OPENING_BRACE))
 117                         return;
 118
 119                 IWorkbenchPage page = WebUI.getActivePage();
 120                 if (page == null)
 121                         return;
 122                 IEditorPart part = page.getActiveEditor();
 123                 if (!(part instanceof PHPUnitEditor))
 124                         return;
 125                 PHPUnitEditor editor = (PHPUnitEditor) part;
 126                 if (editor.getInsertMode() != ITextEditorExtension3.SMART_INSERT
 127                                 || !editor.isEditable())
 128                         return;
 129                 ITextEditorExtension2 extension = (ITextEditorExtension2) editor
 130                                 .getAdapter(ITextEditorExtension2.class);
 131                 if (extension != null && !extension.validateEditorInputState())
 132                         return;
 133                 if (isMultilineSelection(document, command))
 134                         return;
 135
 136                 // 1: find concerned line / position in java code, location in statement
 137                 int pos = command.offset;
 138                 ITextSelection line;
 139                 try {
 140                         IRegion l = document.getLineInformationOfOffset(pos);
 141                         line = new TextSelection(document, l.getOffset(), l.getLength());
 142                 } catch (BadLocationException e) {
 143                         return;
 144                 }
 145
 146                 // 2: choose action based on findings (is for-Statement?)
 147                 // for now: compute the best position to insert the new character
 148                 int positionInLine = computeCharacterPosition(document, line, pos
 149                                 - line.getOffset(), fCharacter, fPartitioning);
 150                 int position = positionInLine + line.getOffset();
 151
 152                 // never position before the current position!
 153                 if (position < pos)
 154                         return;
 155
 156                 // never double already existing content
 157                 if (alreadyPresent(document, fCharacter, position))
 158                         return;
 159
 160                 // don't do special processing if what we do is actually the normal
 161                 // behaviour
 162                 String insertion = adjustSpacing(document, position, fCharacter);
 163                 if (command.offset == position && insertion.equals(command.text))
 164                         return;
 165
 166                 try {
 167
 168                         final SmartBackspaceManager manager = (SmartBackspaceManager) editor
 169                                         .getAdapter(SmartBackspaceManager.class);
 170                         if (manager != null
 171                                         && WebUI.getDefault().getPreferenceStore()
 172                                                         .getBoolean(
 173                                                                         PreferenceConstants.EDITOR_SMART_BACKSPACE)) {
 174                                 TextEdit e1 = new ReplaceEdit(command.offset, command.text
 175                                                 .length(), document.get(command.offset, command.length));
 176                                 UndoSpec s1 = new UndoSpec(command.offset
 177                                                 + command.text.length(), new Region(command.offset, 0),
 178                                                 new TextEdit[] { e1 }, 0, null);
 179
 180                                 DeleteEdit smart = new DeleteEdit(position, insertion.length());
 181                                 ReplaceEdit raw = new ReplaceEdit(command.offset,
 182                                                 command.length, command.text);
 183                                 UndoSpec s2 = new UndoSpec(position + insertion.length(),
 184                                                 new Region(command.offset + command.text.length(), 0),
 185                                                 new TextEdit[] { smart, raw }, 2, s1);
 186                                 manager.register(s2);
 187                         }
 188
 189                         // 3: modify command
 190                         command.offset = position;
 191                         command.length = 0;
 192                         command.caretOffset = position;
 193                         command.text = insertion;
 194                         command.doit = true;
 195                         command.owner = null;
 196                 } catch (MalformedTreeException e) {
 197                         WebUI.log(e);
 198                 } catch (BadLocationException e) {
 199                         WebUI.log(e);
 200                 }
 201
 202         }
 203
 204         /**
 205          * Returns <code>true</code> if the document command is applied on a multi
 206          * line selection, <code>false</code> otherwise.
 207          *
 208          * @param document
 209          *            the document
 210          * @param command
 211          *            the command
 212          * @return <code>true</code> if <code>command</code> is a multiline
 213          *         command
 214          */
 215         private boolean isMultilineSelection(IDocument document,
 216                         DocumentCommand command) {
 217                 try {
 218                         return document.getNumberOfLines(command.offset, command.length) > 1;
 219                 } catch (BadLocationException e) {
 220                         // ignore
 221                         return false;
 222                 }
 223         }
 224
 225         /**
 226          * Adds a space before a brace if it is inserted after a parenthesis, equal
 227          * sign, or one of the keywords <code>try, else, do</code>.
 228          *
 229          * @param document
 230          *            the document we are working on
 231          * @param position
 232          *            the insert position of <code>character</code>
 233          * @param character
 234          *            the character to be inserted
 235          * @return a <code>String</code> consisting of <code>character</code>
 236          *         plus any additional spacing
 237          */
 238         private String adjustSpacing(IDocument doc, int position, char character) {
 239                 if (character == BRACECHAR) {
 240                         if (position > 0 && position <= doc.getLength()) {
 241                                 int pos = position - 1;
 242                                 if (looksLike(doc, pos, ")") //$NON-NLS-1$
 243                                                 || looksLike(doc, pos, "=") //$NON-NLS-1$
 244                                                 || looksLike(doc, pos, "]") //$NON-NLS-1$
 245                                                 || looksLike(doc, pos, "try") //$NON-NLS-1$
 246                                                 || looksLike(doc, pos, "else") //$NON-NLS-1$
 247                                                 || looksLike(doc, pos, "synchronized") //$NON-NLS-1$
 248                                                 || looksLike(doc, pos, "static") //$NON-NLS-1$
 249                                                 || looksLike(doc, pos, "finally") //$NON-NLS-1$
 250                                                 || looksLike(doc, pos, "do")) //$NON-NLS-1$
 251                                         return new String(new char[] { ' ', character });
 252                         }
 253                 }
 254
 255                 return new String(new char[] { character });
 256         }
 257
 258         /**
 259          * Checks whether a character to be inserted is already present at the
 260          * insert location (perhaps separated by some whitespace from
 261          * <code>position</code>.
 262          *
 263          * @param document
 264          *            the document we are working on
 265          * @param position
 266          *            the insert position of <code>ch</code>
 267          * @param character
 268          *            the character to be inserted
 269          * @return <code>true</code> if <code>ch</code> is already present at
 270          *         <code>location</code>, <code>false</code> otherwise
 271          */
 272         private boolean alreadyPresent(IDocument document, char ch, int position) {
 273                 int pos = firstNonWhitespaceForward(document, position, fPartitioning,
 274                                 document.getLength());
 275                 try {
 276                         if (pos != -1 && document.getChar(pos) == ch)
 277                                 return true;
 278                 } catch (BadLocationException e) {
 279                 }
 280
 281                 return false;
 282         }
 283
 284         /**
 285          * Computes the next insert position of the given character in the current
 286          * line.
 287          *
 288          * @param document
 289          *            the document we are working on
 290          * @param line
 291          *            the line where the change is being made
 292          * @param offset
 293          *            the position of the caret in the line when
 294          *            <code>character</code> was typed
 295          * @param character
 296          *            the character to look for
 297          * @param partitioning
 298          *            the document partitioning
 299          * @return the position where <code>character</code> should be inserted /
 300          *         replaced
 301          */
 302         protected static int computeCharacterPosition(IDocument document,
 303                         ITextSelection line, int offset, char character, String partitioning) {
 304                 String text = line.getText();
 305                 if (text == null)
 306                         return 0;
 307
 308                 int insertPos;
 309                 if (character == BRACECHAR) {
 310
 311                         insertPos = computeArrayInitializationPos(document, line, offset,
 312                                         partitioning);
 313
 314                         if (insertPos == -1) {
 315                                 insertPos = computeAfterTryDoElse(document, line, offset);
 316                         }
 317
 318                         if (insertPos == -1) {
 319                                 insertPos = computeAfterParenthesis(document, line, offset,
 320                                                 partitioning);
 321                         }
 322
 323                 } else if (character == SEMICHAR) {
 324
 325                         if (isForStatement(text, offset)) {
 326                                 insertPos = -1; // don't do anything in for statements, as semis
 327                                                                 // are vital part of these
 328                         } else {
 329                                 int nextPartitionPos = nextPartitionOrLineEnd(document, line,
 330                                                 offset, partitioning);
 331                                 insertPos = startOfWhitespaceBeforeOffset(text,
 332                                                 nextPartitionPos);
 333                                 // if there is a semi present, return its location as
 334                                 // alreadyPresent() will take it out this way.
 335                                 if (insertPos > 0 && text.charAt(insertPos - 1) == character)
 336                                         insertPos = insertPos - 1;
 337                         }
 338
 339                 } else {
 340                         Assert.isTrue(false);
 341                         return -1;
 342                 }
 343
 344                 return insertPos;
 345         }
 346
 347         /**
 348          * Computes an insert position for an opening brace if <code>offset</code>
 349          * maps to a position in <code>document</code> that looks like being the
 350          * RHS of an assignment or like an array definition.
 351          *
 352          * @param document
 353          *            the document being modified
 354          * @param line
 355          *            the current line under investigation
 356          * @param offset
 357          *            the offset of the caret position, relative to the line start.
 358          * @param partitioning
 359          *            the document partitioning
 360          * @return an insert position relative to the line start if
 361          *         <code>line</code> looks like being an array initialization at
 362          *         <code>offset</code>, -1 otherwise
 363          */
 364         private static int computeArrayInitializationPos(IDocument document,
 365                         ITextSelection line, int offset, String partitioning) {
 366                 // search backward while WS, find = (not != <= >= ==) in default
 367                 // partition
 368                 int pos = offset + line.getOffset();
 369
 370                 if (pos == 0)
 371                         return -1;
 372
 373                 int p = firstNonWhitespaceBackward(document, pos - 1, partitioning, -1);
 374
 375                 if (p == -1)
 376                         return -1;
 377
 378                 try {
 379
 380                         char ch = document.getChar(p);
 381                         if (ch != '=' && ch != ']')
 382                                 return -1;
 383
 384                         if (p == 0)
 385                                 return offset;
 386
 387                         p = firstNonWhitespaceBackward(document, p - 1, partitioning, -1);
 388                         if (p == -1)
 389                                 return -1;
 390
 391                         ch = document.getChar(p);
 392                         if (Scanner.isPHPIdentifierPart(ch) || ch == ']' || ch == '[')
 393                                 return offset;
 394
 395                 } catch (BadLocationException e) {
 396                 }
 397                 return -1;
 398         }
 399
 400         /**
 401          * Computes an insert position for an opening brace if <code>offset</code>
 402          * maps to a position in <code>document</code> involving a keyword taking
 403          * a block after it. These are: <code>try</code>, <code>do</code>,
 404          * <code>synchronized</code>, <code>static</code>,
 405          * <code>finally</code>, or <code>else</code>.
 406          *
 407          * @param document
 408          *            the document being modified
 409          * @param line
 410          *            the current line under investigation
 411          * @param offset
 412          *            the offset of the caret position, relative to the line start.
 413          * @return an insert position relative to the line start if
 414          *         <code>line</code> contains one of the above keywords at or
 415          *         before <code>offset</code>, -1 otherwise
 416          */
 417         private static int computeAfterTryDoElse(IDocument doc,
 418                         ITextSelection line, int offset) {
 419                 // search backward while WS, find 'try', 'do', 'else' in default
 420                 // partition
 421                 int p = offset + line.getOffset();
 422                 p = firstWhitespaceToRight(doc, p);
 423                 if (p == -1)
 424                         return -1;
 425                 p--;
 426
 427                 if (looksLike(doc, p, "try") //$NON-NLS-1$
 428                                 || looksLike(doc, p, "do") //$NON-NLS-1$
 429                                 || looksLike(doc, p, "synchronized") //$NON-NLS-1$
 430                                 || looksLike(doc, p, "static") //$NON-NLS-1$
 431                                 || looksLike(doc, p, "finally") //$NON-NLS-1$
 432                                 || looksLike(doc, p, "else")) //$NON-NLS-1$
 433                         return p + 1 - line.getOffset();
 434
 435                 return -1;
 436         }
 437
 438         /**
 439          * Computes an insert position for an opening brace if <code>offset</code>
 440          * maps to a position in <code>document</code> with a expression in
 441          * parenthesis that will take a block after the closing parenthesis.
 442          *
 443          * @param document
 444          *            the document being modified
 445          * @param line
 446          *            the current line under investigation
 447          * @param offset
 448          *            the offset of the caret position, relative to the line start.
 449          * @param partitioning
 450          *            the document partitioning
 451          * @return an insert position relative to the line start if
 452          *         <code>line</code> contains a parenthesized expression that can
 453          *         be followed by a block, -1 otherwise
 454          */
 455         private static int computeAfterParenthesis(IDocument document,
 456                         ITextSelection line, int offset, String partitioning) {
 457                 // find the opening parenthesis for every closing parenthesis on the
 458                 // current line after offset
 459                 // return the position behind the closing parenthesis if it looks like a
 460                 // method declaration
 461                 // or an expression for an if, while, for, catch statement
 462                 int pos = offset + line.getOffset();
 463                 int length = line.getOffset() + line.getLength();
 464                 int scanTo = scanForward(document, pos, partitioning, length, '}');
 465                 if (scanTo == -1)
 466                         scanTo = length;
 467
 468                 int closingParen = findClosingParenToLeft(document, pos, partitioning) - 1;
 469
 470                 while (true) {
 471                         int startScan = closingParen + 1;
 472                         closingParen = scanForward(document, startScan, partitioning,
 473                                         scanTo, ')');
 474                         if (closingParen == -1)
 475                                 break;
 476
 477                         int openingParen = findOpeningParenMatch(document, closingParen,
 478                                         partitioning);
 479
 480                         // no way an expression at the beginning of the document can mean
 481                         // anything
 482                         if (openingParen < 1)
 483                                 break;
 484
 485                         // only select insert positions for parenthesis currently embracing
 486                         // the caret
 487                         if (openingParen > pos)
 488                                 continue;
 489
 490                         if (looksLikeAnonymousClassDef(document, openingParen - 1,
 491                                         partitioning))
 492                                 return closingParen + 1 - line.getOffset();
 493
 494                         if (looksLikeIfWhileForCatch(document, openingParen - 1,
 495                                         partitioning))
 496                                 return closingParen + 1 - line.getOffset();
 497
 498                         if (looksLikeMethodDecl(document, openingParen - 1, partitioning))
 499                                 return closingParen + 1 - line.getOffset();
 500
 501                 }
 502
 503                 return -1;
 504         }
 505
 506         /**
 507          * Finds a closing parenthesis to the left of <code>position</code> in
 508          * document, where that parenthesis is only separated by whitespace from
 509          * <code>position</code>. If no such parenthesis can be found,
 510          * <code>position</code> is returned.
 511          *
 512          * @param document
 513          *            the document being modified
 514          * @param position
 515          *            the first character position in <code>document</code> to be
 516          *            considered
 517          * @param partitioning
 518          *            the document partitioning
 519          * @return the position of a closing parenthesis left to
 520          *         <code>position</code> separated only by whitespace, or
 521          *         <code>position</code> if no parenthesis can be found
 522          */
 523         private static int findClosingParenToLeft(IDocument document, int position,
 524                         String partitioning) {
 525                 final char CLOSING_PAREN = ')';
 526                 try {
 527                         if (position < 1)
 528                                 return position;
 529
 530                         int nonWS = firstNonWhitespaceBackward(document, position - 1,
 531                                         partitioning, -1);
 532                         if (nonWS != -1 && document.getChar(nonWS) == CLOSING_PAREN)
 533                                 return nonWS;
 534                 } catch (BadLocationException e1) {
 535                 }
 536                 return position;
 537         }
 538
 539         /**
 540          * Finds the first whitespace character position to the right of (and
 541          * including) <code>position</code>.
 542          *
 543          * @param document
 544          *            the document being modified
 545          * @param position
 546          *            the first character position in <code>document</code> to be
 547          *            considered
 548          * @return the position of a whitespace character greater or equal than
 549          *         <code>position</code> separated only by whitespace, or -1 if
 550          *         none found
 551          */
 552         private static int firstWhitespaceToRight(IDocument document, int position) {
 553                 int length = document.getLength();
 554                 Assert.isTrue(position >= 0);
 555                 Assert.isTrue(position <= length);
 556
 557                 try {
 558                         while (position < length) {
 559                                 char ch = document.getChar(position);
 560                                 if (Character.isWhitespace(ch))
 561                                         return position;
 562                                 position++;
 563                         }
 564                         return position;
 565                 } catch (BadLocationException e) {
 566                 }
 567                 return -1;
 568         }
 569
 570         /**
 571          * Finds the highest position in <code>document</code> such that the
 572          * position is &lt;= <code>position</code> and &gt; <code>bound</code>
 573          * and <code>Character.isWhitespace(document.getChar(pos))</code>
 574          * evaluates to <code>false</code> and the position is in the default
 575          * partition.
 576          *
 577          * @param document
 578          *            the document being modified
 579          * @param position
 580          *            the first character position in <code>document</code> to be
 581          *            considered
 582          * @param partitioning
 583          *            the document partitioning
 584          * @param bound
 585          *            the first position in <code>document</code> to not consider
 586          *            any more, with <code>bound</code> &gt; <code>position</code>
 587          * @return the highest position of one element in <code>chars</code> in [<code>position</code>,
 588          *         <code>scanTo</code>) that resides in a Java partition, or
 589          *         <code>-1</code> if none can be found
 590          */
 591         private static int firstNonWhitespaceBackward(IDocument document,
 592                         int position, String partitioning, int bound) {
 593                 Assert.isTrue(position < document.getLength());
 594                 Assert.isTrue(bound >= -1);
 595
 596                 try {
 597                         while (position > bound) {
 598                                 char ch = document.getChar(position);
 599                                 if (!Character.isWhitespace(ch)
 600                                                 && isDefaultPartition(document, position, partitioning))
 601                                         return position;
 602                                 position--;
 603                         }
 604                 } catch (BadLocationException e) {
 605                 }
 606                 return -1;
 607         }
 608
 609         /**
 610          * Finds the smallest position in <code>document</code> such that the
 611          * position is &gt;= <code>position</code> and &lt; <code>bound</code>
 612          * and <code>Character.isWhitespace(document.getChar(pos))</code>
 613          * evaluates to <code>false</code> and the position is in the default
 614          * partition.
 615          *
 616          * @param document
 617          *            the document being modified
 618          * @param position
 619          *            the first character position in <code>document</code> to be
 620          *            considered
 621          * @param partitioning
 622          *            the document partitioning
 623          * @param bound
 624          *            the first position in <code>document</code> to not consider
 625          *            any more, with <code>bound</code> &gt; <code>position</code>
 626          * @return the smallest position of one element in <code>chars</code> in [<code>position</code>,
 627          *         <code>scanTo</code>) that resides in a Java partition, or
 628          *         <code>-1</code> if none can be found
 629          */
 630         private static int firstNonWhitespaceForward(IDocument document,
 631                         int position, String partitioning, int bound) {
 632                 Assert.isTrue(position >= 0);
 633                 Assert.isTrue(bound <= document.getLength());
 634
 635                 try {
 636                         while (position < bound) {
 637                                 char ch = document.getChar(position);
 638                                 if (!Character.isWhitespace(ch)
 639                                                 && isDefaultPartition(document, position, partitioning))
 640                                         return position;
 641                                 position++;
 642                         }
 643                 } catch (BadLocationException e) {
 644                 }
 645                 return -1;
 646         }
 647
 648         /**
 649          * Finds the highest position in <code>document</code> such that the
 650          * position is &lt;= <code>position</code> and &gt; <code>bound</code>
 651          * and <code>document.getChar(position) == ch</code> evaluates to
 652          * <code>true</code> for at least one ch in <code>chars</code> and the
 653          * position is in the default partition.
 654          *
 655          * @param document
 656          *            the document being modified
 657          * @param position
 658          *            the first character position in <code>document</code> to be
 659          *            considered
 660          * @param partitioning
 661          *            the document partitioning
 662          * @param bound
 663          *            the first position in <code>document</code> to not consider
 664          *            any more, with <code>scanTo</code> &gt;
 665          *            <code>position</code>
 666          * @param chars
 667          *            an array of <code>char</code> to search for
 668          * @return the highest position of one element in <code>chars</code> in (<code>bound</code>,
 669          *         <code>position</code>] that resides in a Java partition, or
 670          *         <code>-1</code> if none can be found
 671          */
 672         private static int scanBackward(IDocument document, int position,
 673                         String partitioning, int bound, char[] chars) {
 674                 Assert.isTrue(bound >= -1);
 675                 Assert.isTrue(position < document.getLength());
 676
 677                 Arrays.sort(chars);
 678
 679                 try {
 680                         while (position > bound) {
 681
 682                                 if (Arrays.binarySearch(chars, document.getChar(position)) >= 0
 683                                                 && isDefaultPartition(document, position, partitioning))
 684                                         return position;
 685
 686                                 position--;
 687                         }
 688                 } catch (BadLocationException e) {
 689                 }
 690                 return -1;
 691         }
 692
 693         // /**
 694         // * Finds the highest position in <code>document</code> such that the
 695         // position is &lt;= <code>position</code>
 696         // * and &gt; <code>bound</code> and <code>document.getChar(position) ==
 697         // ch</code> evaluates to <code>true</code>
 698         // * and the position is in the default partition.
 699         // *
 700         // * @param document the document being modified
 701         // * @param position the first character position in <code>document</code>
 702         // to be considered
 703         // * @param bound the first position in <code>document</code> to not
 704         // consider any more, with <code>scanTo</code> &gt; <code>position</code>
 705         // * @param chars an array of <code>char</code> to search for
 706         // * @return the highest position of one element in <code>chars</code> in
 707         // [<code>position</code>, <code>scanTo</code>) that resides in a Java
 708         // partition, or <code>-1</code> if none can be found
 709         // */
 710         // private static int scanBackward(IDocument document, int position, int
 711         // bound, char ch) {
 712         // return scanBackward(document, position, bound, new char[] {ch});
 713         // }
 714         //
 715         /**
 716          * Finds the lowest position in <code>document</code> such that the
 717          * position is &gt;= <code>position</code> and &lt; <code>bound</code>
 718          * and <code>document.getChar(position) == ch</code> evaluates to
 719          * <code>true</code> for at least one ch in <code>chars</code> and the
 720          * position is in the default partition.
 721          *
 722          * @param document
 723          *            the document being modified
 724          * @param position
 725          *            the first character position in <code>document</code> to be
 726          *            considered
 727          * @param partitioning
 728          *            the document partitioning
 729          * @param bound
 730          *            the first position in <code>document</code> to not consider
 731          *            any more, with <code>scanTo</code> &gt;
 732          *            <code>position</code>
 733          * @param chars
 734          *            an array of <code>char</code> to search for
 735          * @return the lowest position of one element in <code>chars</code> in [<code>position</code>,
 736          *         <code>bound</code>) that resides in a Java partition, or
 737          *         <code>-1</code> if none can be found
 738          */
 739         private static int scanForward(IDocument document, int position,
 740                         String partitioning, int bound, char[] chars) {
 741                 Assert.isTrue(position >= 0);
 742                 Assert.isTrue(bound <= document.getLength());
 743
 744                 Arrays.sort(chars);
 745
 746                 try {
 747                         while (position < bound) {
 748
 749                                 if (Arrays.binarySearch(chars, document.getChar(position)) >= 0
 750                                                 && isDefaultPartition(document, position, partitioning))
 751                                         return position;
 752
 753                                 position++;
 754                         }
 755                 } catch (BadLocationException e) {
 756                 }
 757                 return -1;
 758         }
 759
 760         /**
 761          * Finds the lowest position in <code>document</code> such that the
 762          * position is &gt;= <code>position</code> and &lt; <code>bound</code>
 763          * and <code>document.getChar(position) == ch</code> evaluates to
 764          * <code>true</code> and the position is in the default partition.
 765          *
 766          * @param document
 767          *            the document being modified
 768          * @param position
 769          *            the first character position in <code>document</code> to be
 770          *            considered
 771          * @param partitioning
 772          *            the document partitioning
 773          * @param bound
 774          *            the first position in <code>document</code> to not consider
 775          *            any more, with <code>scanTo</code> &gt;
 776          *            <code>position</code>
 777          * @param chars
 778          *            an array of <code>char</code> to search for
 779          * @return the lowest position of one element in <code>chars</code> in [<code>position</code>,
 780          *         <code>bound</code>) that resides in a Java partition, or
 781          *         <code>-1</code> if none can be found
 782          */
 783         private static int scanForward(IDocument document, int position,
 784                         String partitioning, int bound, char ch) {
 785                 return scanForward(document, position, partitioning, bound,
 786                                 new char[] { ch });
 787         }
 788
 789         /**
 790          * Checks whether the content of <code>document</code> in the range (<code>offset</code>,
 791          * <code>length</code>) contains the <code>new</code> keyword.
 792          *
 793          * @param document
 794          *            the document being modified
 795          * @param offset
 796          *            the first character position in <code>document</code> to be
 797          *            considered
 798          * @param length
 799          *            the length of the character range to be considered
 800          * @param partitioning
 801          *            the document partitioning
 802          * @return <code>true</code> if the specified character range contains a
 803          *         <code>new</code> keyword, <code>false</code> otherwise.
 804          */
 805         private static boolean isNewMatch(IDocument document, int offset,
 806                         int length, String partitioning) {
 807                 Assert.isTrue(length >= 0);
 808                 Assert.isTrue(offset >= 0);
 809                 Assert.isTrue(offset + length < document.getLength() + 1);
 810
 811                 try {
 812                         String text = document.get(offset, length);
 813                         int pos = text.indexOf("new"); //$NON-NLS-1$
 814
 815                         while (pos != -1
 816                                         && !isDefaultPartition(document, pos + offset, partitioning))
 817                                 pos = text.indexOf("new", pos + 2); //$NON-NLS-1$
 818
 819                         if (pos < 0)
 820                                 return false;
 821
 822                         if (pos != 0 && Scanner.isPHPIdentifierPart(text.charAt(pos - 1)))
 823                                 return false;
 824
 825                         if (pos + 3 < length
 826                                         && Scanner.isPHPIdentifierPart(text.charAt(pos + 3)))
 827                                 return false;
 828
 829                         return true;
 830
 831                 } catch (BadLocationException e) {
 832                 }
 833                 return false;
 834         }
 835
 836         /**
 837          * Checks whether the content of <code>document</code> at
 838          * <code>position</code> looks like an anonymous class definition.
 839          * <code>position</code> must be to the left of the opening parenthesis of
 840          * the definition's parameter list.
 841          *
 842          * @param document
 843          *            the document being modified
 844          * @param position
 845          *            the first character position in <code>document</code> to be
 846          *            considered
 847          * @param partitioning
 848          *            the document partitioning
 849          * @return <code>true</code> if the content of <code>document</code>
 850          *         looks like an anonymous class definition, <code>false</code>
 851          *         otherwise
 852          */
 853         private static boolean looksLikeAnonymousClassDef(IDocument document,
 854                         int position, String partitioning) {
 855                 int previousCommaOrParen = scanBackward(document, position - 1,
 856                                 partitioning, -1, new char[] { ',', '(' });
 857                 if (previousCommaOrParen == -1 || position < previousCommaOrParen + 5) // 2
 858                                                                                                                                                                 // for
 859                                                                                                                                                                 // borders,
 860                                                                                                                                                                 // 3
 861                                                                                                                                                                 // for
 862                                                                                                                                                                 // "new"
 863                         return false;
 864
 865                 if (isNewMatch(document, previousCommaOrParen + 1, position
 866                                 - previousCommaOrParen - 2, partitioning))
 867                         return true;
 868
 869                 return false;
 870         }
 871
 872         /**
 873          * Checks whether <code>position</code> resides in a default (Java)
 874          * partition of <code>document</code>.
 875          *
 876          * @param document
 877          *            the document being modified
 878          * @param position
 879          *            the position to be checked
 880          * @param partitioning
 881          *            the document partitioning
 882          * @return <code>true</code> if <code>position</code> is in the default
 883          *         partition of <code>document</code>, <code>false</code>
 884          *         otherwise
 885          */
 886         private static boolean isDefaultPartition(IDocument document, int position,
 887                         String partitioning) {
 888                 Assert.isTrue(position >= 0);
 889                 Assert.isTrue(position <= document.getLength());
 890
 891                 try {
 892                         // don't use getPartition2 since we're interested in the scanned
 893                         // character's partition
 894                         ITypedRegion region = TextUtilities.getPartition(document,
 895                                         partitioning, position, false);
 896                         return region.getType().equals(IDocument.DEFAULT_CONTENT_TYPE);
 897
 898                 } catch (BadLocationException e) {
 899                 }
 900
 901                 return false;
 902         }
 903
 904         /**
 905          * Finds the position of the parenthesis matching the closing parenthesis at
 906          * <code>position</code>.
 907          *
 908          * @param document
 909          *            the document being modified
 910          * @param position
 911          *            the position in <code>document</code> of a closing
 912          *            parenthesis
 913          * @param partitioning
 914          *            the document partitioning
 915          * @return the position in <code>document</code> of the matching
 916          *         parenthesis, or -1 if none can be found
 917          */
 918         private static int findOpeningParenMatch(IDocument document, int position,
 919                         String partitioning) {
 920                 final char CLOSING_PAREN = ')';
 921                 final char OPENING_PAREN = '(';
 922
 923                 Assert.isTrue(position < document.getLength());
 924                 Assert.isTrue(position >= 0);
 925                 Assert.isTrue(isDefaultPartition(document, position, partitioning));
 926
 927                 try {
 928
 929                         Assert.isTrue(document.getChar(position) == CLOSING_PAREN);
 930
 931                         int depth = 1;
 932                         while (true) {
 933                                 position = scanBackward(document, position - 1, partitioning,
 934                                                 -1, new char[] { CLOSING_PAREN, OPENING_PAREN });
 935                                 if (position == -1)
 936                                         return -1;
 937
 938                                 if (document.getChar(position) == CLOSING_PAREN)
 939                                         depth++;
 940                                 else
 941                                         depth--;
 942
 943                                 if (depth == 0)
 944                                         return position;
 945                         }
 946
 947                 } catch (BadLocationException e) {
 948                         return -1;
 949                 }
 950         }
 951
 952         /**
 953          * Checks whether, to the left of <code>position</code> and separated only
 954          * by whitespace, <code>document</code> contains a keyword taking a
 955          * parameter list and a block after it. These are: <code>if</code>,
 956          * <code>while</code>, <code>catch</code>, <code>for</code>,
 957          * <code>synchronized</code>, <code>switch</code>.
 958          *
 959          * @param document
 960          *            the document being modified
 961          * @param position
 962          *            the first character position in <code>document</code> to be
 963          *            considered
 964          * @param partitioning
 965          *            the document partitioning
 966          * @return <code>true</code> if <code>document</code> contains any of
 967          *         the above keywords to the left of <code>position</code>,
 968          *         <code>false</code> otherwise
 969          */
 970         private static boolean looksLikeIfWhileForCatch(IDocument document,
 971                         int position, String partitioning) {
 972                 position = firstNonWhitespaceBackward(document, position, partitioning,
 973                                 -1);
 974                 if (position == -1)
 975                         return false;
 976
 977                 return looksLike(document, position, "if") //$NON-NLS-1$
 978                                 || looksLike(document, position, "while") //$NON-NLS-1$
 979                                 || looksLike(document, position, "catch") //$NON-NLS-1$
 980                                 || looksLike(document, position, "synchronized") //$NON-NLS-1$
 981                                 || looksLike(document, position, "switch") //$NON-NLS-1$
 982                                 || looksLike(document, position, "for"); //$NON-NLS-1$
 983         }
 984
 985         /**
 986          * Checks whether code>document</code> contains the <code>String</code> <code>like</code>
 987          * such that its last character is at <code>position</code>. If <code>like</code>
 988          * starts with a identifier part (as determined by
 989          * {@link Scanner#isPHPIdentifierPart(char)}), it is also made sure that
 990          * <code>like</code> is preceded by some non-identifier character or
 991          * stands at the document start.
 992          *
 993          * @param document
 994          *            the document being modified
 995          * @param position
 996          *            the first character position in <code>document</code> to be
 997          *            considered
 998          * @param like
 999          *            the <code>String</code> to look for.
1000          * @return <code>true</code> if <code>document</code> contains <code>like</code>
1001          *         such that it ends at <code>position</code>, <code>false</code>
1002          *         otherwise
1003          */
1004         private static boolean looksLike(IDocument document, int position,
1005                         String like) {
1006                 int length = like.length();
1007                 if (position < length - 1)
1008                         return false;
1009
1010                 try {
1011                         if (!like.equals(document.get(position - length + 1, length)))
1012                                 return false;
1013
1014                         if (position >= length
1015                                         && Scanner.isPHPIdentifierPart(like.charAt(0))
1016                                         && Scanner.isPHPIdentifierPart(document.getChar(position
1017                                                         - length)))
1018                                 return false;
1019
1020                 } catch (BadLocationException e) {
1021                         return false;
1022                 }
1023
1024                 return true;
1025         }
1026
1027         /**
1028          * Checks whether the content of <code>document</code> at
1029          * <code>position</code> looks like a method declaration header (i.e. only
1030          * the return type and method name). <code>position</code> must be just
1031          * left of the opening parenthesis of the parameter list.
1032          *
1033          * @param document
1034          *            the document being modified
1035          * @param position
1036          *            the first character position in <code>document</code> to be
1037          *            considered
1038          * @param partitioning
1039          *            the document partitioning
1040          * @return <code>true</code> if the content of <code>document</code>
1041          *         looks like a method definition, <code>false</code> otherwise
1042          */
1043         private static boolean looksLikeMethodDecl(IDocument document,
1044                         int position, String partitioning) {
1045
1046                 // method name
1047                 position = eatIdentToLeft(document, position, partitioning);
1048                 if (position < 1)
1049                         return false;
1050
1051                 position = eatBrackets(document, position - 1, partitioning);
1052                 if (position < 1)
1053                         return false;
1054
1055                 position = eatIdentToLeft(document, position - 1, partitioning);
1056
1057                 return position != -1;
1058         }
1059
1060         /**
1061          * From <code>position</code> to the left, eats any whitespace and then a
1062          * pair of brackets as used to declare an array return type like
1063          *
1064          * <pre>
1065          * String [ ]
1066          * </pre>. The return value is either the position of the opening bracket
1067          * or <code>position</code> if no pair of brackets can be parsed.
1068          *
1069          * @param document
1070          *            the document being modified
1071          * @param position
1072          *            the first character position in <code>document</code> to be
1073          *            considered
1074          * @param partitioning
1075          *            the document partitioning
1076          * @return the smallest character position of bracket pair or
1077          *         <code>position</code>
1078          */
1079         private static int eatBrackets(IDocument document, int position,
1080                         String partitioning) {
1081                 // accept array return type
1082                 int pos = firstNonWhitespaceBackward(document, position, partitioning,
1083                                 -1);
1084                 try {
1085                         if (pos > 1 && document.getChar(pos) == ']') {
1086                                 pos = firstNonWhitespaceBackward(document, pos - 1,
1087                                                 partitioning, -1);
1088                                 if (pos > 0 && document.getChar(pos) == '[')
1089                                         return pos;
1090                         }
1091                 } catch (BadLocationException e) {
1092                         // won't happen
1093                 }
1094                 return position;
1095         }
1096
1097         /**
1098          * From <code>position</code> to the left, eats any whitespace and the
1099          * first identifier, returning the position of the first identifier
1100          * character (in normal read order).
1101          * <p>
1102          * When called on a document with content <code>" some string  "</code> and
1103          * positionition 13, the return value will be 6 (the first letter in
1104          * <code>string</code>).
1105          * </p>
1106          *
1107          * @param document
1108          *            the document being modified
1109          * @param position
1110          *            the first character position in <code>document</code> to be
1111          *            considered
1112          * @param partitioning
1113          *            the document partitioning
1114          * @return the smallest character position of an identifier or -1 if none
1115          *         can be found; always &lt;= <code>position</code>
1116          */
1117         private static int eatIdentToLeft(IDocument document, int position,
1118                         String partitioning) {
1119                 if (position < 0)
1120                         return -1;
1121                 Assert.isTrue(position < document.getLength());
1122
1123                 int p = firstNonWhitespaceBackward(document, position, partitioning, -1);
1124                 if (p == -1)
1125                         return -1;
1126
1127                 try {
1128                         while (p >= 0) {
1129
1130                                 char ch = document.getChar(p);
1131                                 if (Scanner.isPHPIdentifierPart(ch)) {
1132                                         p--;
1133                                         continue;
1134                                 }
1135
1136                                 // length must be > 0
1137                                 if (Character.isWhitespace(ch) && p != position)
1138                                         return p + 1;
1139                                 else
1140                                         return -1;
1141
1142                         }
1143
1144                         // start of document reached
1145                         return 0;
1146
1147                 } catch (BadLocationException e) {
1148                 }
1149                 return -1;
1150         }
1151
1152         /**
1153          * Returns a position in the first java partition after the last non-empty
1154          * and non-comment partition. There is no non-whitespace from the returned
1155          * position to the end of the partition it is contained in.
1156          *
1157          * @param document
1158          *            the document being modified
1159          * @param line
1160          *            the line under investigation
1161          * @param offset
1162          *            the caret offset into <code>line</code>
1163          * @param partitioning
1164          *            the document partitioning
1165          * @return the position of the next Java partition, or the end of
1166          *         <code>line</code>
1167          */
1168         private static int nextPartitionOrLineEnd(IDocument document,
1169                         ITextSelection line, int offset, String partitioning) {
1170                 // run relative to document
1171                 final int docOffset = offset + line.getOffset();
1172                 final int eol = line.getOffset() + line.getLength();
1173                 int nextPartitionPos = eol; // init with line end
1174                 int validPosition = docOffset;
1175
1176                 try {
1177                         ITypedRegion partition = TextUtilities.getPartition(document,
1178                                         partitioning, nextPartitionPos, true);
1179                         validPosition = getValidPositionForPartition(document, partition,
1180                                         eol);
1181                         while (validPosition == -1) {
1182                                 nextPartitionPos = partition.getOffset() - 1;
1183                                 if (nextPartitionPos < docOffset) {
1184                                         validPosition = docOffset;
1185                                         break;
1186                                 }
1187                                 partition = TextUtilities.getPartition(document, partitioning,
1188                                                 nextPartitionPos, false);
1189                                 validPosition = getValidPositionForPartition(document,
1190                                                 partition, eol);
1191                         }
1192                 } catch (BadLocationException e) {
1193                 }
1194
1195                 validPosition = Math.max(validPosition, docOffset);
1196                 // make relative to line
1197                 validPosition -= line.getOffset();
1198                 return validPosition;
1199         }
1200
1201         /**
1202          * Returns a valid insert location (except for whitespace) in
1203          * <code>partition</code> or -1 if there is no valid insert location. An
1204          * valid insert location is right after any java string or character
1205          * partition, or at the end of a java default partition, but never behind
1206          * <code>maxOffset</code>. Comment partitions or empty java partitions do
1207          * never yield valid insert positions.
1208          *
1209          * @param doc
1210          *            the document being modified
1211          * @param partition
1212          *            the current partition
1213          * @param maxOffset
1214          *            the maximum offset to consider
1215          * @return a valid insert location in <code>partition</code>, or -1 if
1216          *         there is no valid insert location
1217          */
1218         private static int getValidPositionForPartition(IDocument doc,
1219                         ITypedRegion partition, int maxOffset) {
1220                 final int INVALID = -1;
1221
1222                 if (IPHPPartitions.PHP_PHPDOC_COMMENT.equals(partition.getType()))
1223                         return INVALID;
1224                 if (IPHPPartitions.PHP_MULTILINE_COMMENT.equals(partition.getType()))
1225                         return INVALID;
1226                 if (IPHPPartitions.PHP_SINGLELINE_COMMENT.equals(partition.getType()))
1227                         return INVALID;
1228
1229                 int endOffset = Math.min(maxOffset, partition.getOffset()
1230                                 + partition.getLength());
1231
1232                 // if (IPHPPartitions.JAVA_CHARACTER.equals(partition.getType()))
1233                 // return endOffset;
1234                 if (IPHPPartitions.PHP_STRING_DQ.equals(partition.getType()))
1235                         return endOffset;
1236                 if (IPHPPartitions.PHP_STRING_SQ.equals(partition.getType()))
1237                         return endOffset;
1238                 if (IPHPPartitions.PHP_STRING_HEREDOC.equals(partition.getType()))
1239                         return endOffset;
1240                 if (IDocument.DEFAULT_CONTENT_TYPE.equals(partition.getType())) {
1241                         try {
1242                                 if (doc.get(partition.getOffset(),
1243                                                 endOffset - partition.getOffset()).trim().length() == 0)
1244                                         return INVALID;
1245                                 else
1246                                         return endOffset;
1247                         } catch (BadLocationException e) {
1248                                 return INVALID;
1249                         }
1250                 }
1251                 // default: we don't know anything about the partition - assume valid
1252                 return endOffset;
1253         }
1254
1255         /**
1256          * Determines whether the current line contains a for statement. Algorithm:
1257          * any "for" word in the line is a positive, "for" contained in a string
1258          * literal will produce a false positive.
1259          *
1260          * @param line
1261          *            the line where the change is being made
1262          * @param offset
1263          *            the position of the caret
1264          * @return <code>true</code> if <code>line</code> contains
1265          *         <code>for</code>, <code>false</code> otherwise
1266          */
1267         private static boolean isForStatement(String line, int offset) {
1268                 /* searching for (^|\s)for(\s|$) */
1269                 int forPos = line.indexOf("for"); //$NON-NLS-1$
1270                 if (forPos != -1) {
1271                         if ((forPos == 0 || !Scanner.isPHPIdentifierPart(line
1272                                         .charAt(forPos - 1)))
1273                                         && (line.length() == forPos + 3 || !Scanner
1274                                                         .isPHPIdentifierPart(line.charAt(forPos + 3))))
1275                                 return true;
1276                 }
1277                 return false;
1278         }
1279
1280         /**
1281          * Returns the position in <code>text</code> after which there comes only
1282          * whitespace, up to <code>offset</code>.
1283          *
1284          * @param text
1285          *            the text being searched
1286          * @param offset
1287          *            the maximum offset to search for
1288          * @return the smallest value <code>v</code> such that
1289          *         <code>text.substring(v, offset).trim() == 0</code>
1290          */
1291         private static int startOfWhitespaceBeforeOffset(String text, int offset) {
1292                 int i = Math.min(offset, text.length());
1293                 for (; i >= 1; i--) {
1294                         if (!Character.isWhitespace(text.charAt(i - 1)))
1295                                 break;
1296                 }
1297                 return i;
1298         }
1299 }