DartDoubleClickSelector_NEW.java

/*
 * Copyright (c) 2014, the Dart project authors.
 * 
 * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
 * in compliance with the License. You may obtain a copy of the License at
 * 
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Unless required by applicable law or agreed to in writing, software distributed under the License
 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
 * or implied. See the License for the specific language governing permissions and limitations under
 * the License.
 */
package com.google.dart.tools.ui.internal.text.dart;

import com.google.dart.tools.ui.internal.text.functions.DartPairMatcher;
import com.google.dart.tools.ui.internal.text.functions.ISourceVersionDependent;

import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IRegion;
import org.eclipse.jface.text.ITextDoubleClickStrategy;
import org.eclipse.jface.text.ITextViewer;
import org.eclipse.jface.text.Region;

/**
 * Double click strategy aware of Java identifier syntax rules.
 * 
 * @coverage dart.editor.ui.text
 */
public class DartDoubleClickSelector_NEW implements ITextDoubleClickStrategy,
    ISourceVersionDependent {
  protected static final char[] BRACKETS = {'{', '}', '(', ')', '[', ']', '<', '>'};
  protected DartPairMatcher pairMatcher = new DartPairMatcher(BRACKETS);

  @Override
  public void doubleClicked(ITextViewer textViewer) {
    IDocument document = textViewer.getDocument();
    // prepare offset
    int offset = textViewer.getSelectedRange().x;
    if (offset < 0) {
      return;
    }
    // try pair matching
    {
      IRegion region = pairMatcher.match(document, offset);
      if (region != null && region.getLength() >= 2) {
        textViewer.setSelectedRange(region.getOffset() + 1, region.getLength() - 2);
        return;
      }
    }
    // try word
    IRegion region = selectWord(document, offset);
    textViewer.setSelectedRange(region.getOffset(), region.getLength());
  }

  @Override
  public void setSourceVersion(String version) {
  }

  private IRegion selectWord(IDocument document, int anchor) {
    try {
      int length = document.getLength();
      // forward
      int end = anchor;
      while (end < length) {
        char c = document.getChar(end);
        if (!Character.isJavaIdentifierPart(c)) {
          break;
        }
        end++;
      }
      // backward
      int start = anchor;
      while (start > 0) {
        char c = document.getChar(start - 1);
        if (!Character.isJavaIdentifierPart(c)) {
          break;
        }
        if (c == '$' && start > 1 && !Character.isJavaIdentifierPart(document.getChar(start - 2))) {
          break;
        }
        start--;
      }
      // done
      return new Region(start, end - start);
    } catch (BadLocationException e) {
      return new Region(anchor, 0);
    }
  }
}