Java TextSelection類代碼示例

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
@Override
public IRegion getHoverRegion(ITextViewer textViewer, int offset) {

	IDocument document = textViewer.getDocument();

	/* Vérifie qu'on est dans une String de KSP */
	boolean isSqlString = DocumentUtils.isContentType(document, offset, KspRegionType.STRING);
	if (!isSqlString) {
		return null;
	}

	/* Extrait le mot courant. */
	ITextSelection selection = new TextSelection(document, offset, 0);
	ITextSelection currentWordSelection = DocumentUtils.findCurrentWord(document, selection, WordSelectionType.SNAKE_CASE);
	if (currentWordSelection == null) {
		return null;
	}
	String currentWord = currentWordSelection.getText();
	if (currentWord == null) {
		return null;
	}

	/* Renvoie la région du mot. */
	return new Region(currentWordSelection.getOffset(), currentWordSelection.getLength());
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
private void insertMultiLiner(BracketInsertion data, ISelectionProvider selectionProvider, int offset,
		IDocument document) throws BadLocationException {
	IRegion region = document.getLineInformationOfOffset(offset);
	if (region == null) {
		return;
	}
	int length = region.getLength();

	String textBeforeColumn = document.get(offset - length, length-1); //-1 to get not he bracket itself
	String relevantColumnsBefore = TextUtil.trimRightWhitespaces(textBeforeColumn);
	InsertionData result = support.prepareInsertionString(
			data.createMultiLineTemplate(SourceCodeInsertionSupport.CURSOR_VARIABLE), relevantColumnsBefore);

	document.replace(offset - 1, 1, result.getSourceCode());
	selectionProvider.setSelection(new TextSelection(offset + result.getCursorOffset() - 1, 0));

}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
public void run() {
    if (editor == null)
        return;
    ITextSelection selection = (ITextSelection) editor.getSelectionProvider().getSelection();
    IDocument doc = editor.getDocumentProvider().getDocument(editor.getEditorInput());
    TexCompletionProposal prop = new TexCompletionProposal(entry, selection.getOffset() + 1, 0, 
            editor.getViewer());
    try {
        // insert a backslash first
        doc.replace(selection.getOffset(), 0, "\\");
        prop.apply(doc);
        int newOffset = selection.getOffset() + entry.key.length() + 1;
        if (entry.arguments > 0) {
            newOffset += 1;
        }
        editor.getSelectionProvider().setSelection(new TextSelection(newOffset, 0));
    } catch (BadLocationException e) {
        TexlipsePlugin.log("Error while trying to insert command", e);
    }
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
public void run() {
    try {
        handler.editor = EditorUtil.getTLAEditorWithFocus();
        handler.doc = editor.getDocumentProvider().getDocument(
                editor.getEditorInput());
        handler.selectionProvider = editor.getSelectionProvider();
        handler.selection = (TextSelection) selectionProvider
                .getSelection();
        handler.offset = selection.getOffset();

        // Get the module.
        String moduleName = editor.getModuleName();
        handler.moduleNode = ResourceHelper.getModuleNode(moduleName);

        handler.realExecute();
    } catch (ExecutionException e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
    }
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
public void run() {
 		try {
 			handler.editor = EditorUtil.getTLAEditorWithFocus();
 			handler.doc = editor.getDocumentProvider().getDocument(editor.getEditorInput());
 	        handler.selectionProvider = editor.getSelectionProvider();
 	        handler.selection = (TextSelection) selectionProvider.getSelection();
 	        handler.offset = selection.getOffset();

 	        // Get the module.
 	        String moduleName = editor.getModuleName();
 	        handler.moduleNode = ResourceHelper.getModuleNode(moduleName);

	handler.realExecute() ;
} catch (ExecutionException e) {
	// TODO Auto-generated catch block
	e.printStackTrace();
}
 	}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
private void startBoxedComment()
		throws org.eclipse.jface.text.BadLocationException {
	int indent = offset - lineInfo.getOffset() + 1;

	// set dontAddNewLine to true iff the rest of the line, starting from offset
	// consists entirely of // space characters.
	int restOfLineLength = lineInfo.getOffset() -  offset + lineInfo.getLength();
	String restOfLine = doc.get(offset, restOfLineLength);
	boolean dontAddNewLine = StringHelper.onlySpaces(restOfLine);

	String asterisks = StringHelper.copyString("*", Math.max(3, RightMargin
			- indent - 1));
	String newText = "(" + asterisks + StringHelper.newline
			+ StringHelper.newline + StringHelper.copyString(" ", indent)
			+ asterisks + ")" + (dontAddNewLine ? "" : StringHelper.newline);
	doc.replace(selection.getOffset(), selection.getLength(), newText);
	selectionProvider.setSelection(new TextSelection(offset + 1
			+ asterisks.length() + StringHelper.newline.length(), 0));
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
public void commentSelection(TextSelection selection, IDocument doc){
	if (selection.getLength() > 0) {
		try {
			int offset;
			offset = selection.getOffset();
			doc.replace(offset, 0, commentBegin);
			offset += selection.getLength() + commentBegin.length();
			doc.replace(offset, 0, commentEnd);
		} catch (BadLocationException e) {
			e.printStackTrace();
		}
	} else {
		// TODO: Comment the range!
		System.out.println("Comment the range!");
	}
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
@Override
public Object execute(ExecutionEvent event) throws ExecutionException {
	markSpec = getMark();
	IEditorPart edPart = HandlerUtil.getActiveEditor(event);
	if (edPart instanceof FluentMkEditor) {
		editor = (FluentMkEditor) edPart;
		doc = editor.getDocument();
		if (doc != null) {
			ISelection sel = HandlerUtil.getCurrentSelection(event);
			if (sel instanceof TextSelection) {
				TextSelection tsel = (TextSelection) sel;
				int beg = tsel.getOffset();
				int len = tsel.getLength();
				cpos = editor.getCursorOffset();
				if (len == 0) beg = cpos;
				try {
					if (samePartition(beg, len)) {
						toggle(beg, len);
					}
				} catch (BadLocationException e) {}
			}
		}
	}
	return null;
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
@Override
public Object execute(ExecutionEvent event) throws ExecutionException {
	IEditorPart edPart = HandlerUtil.getActiveEditor(event);
	if (edPart instanceof FluentMkEditor) {
		FluentMkEditor editor = (FluentMkEditor) edPart;
		IDocument doc = editor.getDocument();
		if (doc != null) {
			ISelection sel = HandlerUtil.getCurrentSelection(event);
			if (sel instanceof TextSelection) {
				TextSelection tsel = (TextSelection) sel;
				int beg = tsel.getOffset();
				int len = tsel.getLength();

				switch (checkPartition(doc, beg, len)) {
					case NONE:
						addComment(doc, beg, len);
						break;
					case SAME:
						removeComment(doc, beg);
						break;
				}
			}
		}
	}
	return null;
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
@Override
public void open() {
	// Open Implementation dialog
	Display.getDefault().asyncExec(() -> {
		try {
			Shell parent = Display.getDefault().getActiveShell();
			TypeScriptImplementationDialog dialog = new TypeScriptImplementationDialog(parent, SWT.RESIZE, tsFile);
			int offset = tsFile.getPosition(getRange().startLineNumber, getRange().startColumn);
			ITextSelection selection = new TextSelection(offset, 1);
			dialog.setSize(450, 500);
			dialog.setInput(selection);
			dialog.open();
		} catch (TypeScriptException e) {
			e.printStackTrace();
		}
	});
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
/**
 * Given a selection on a document, computes the lines fully or partially covered by
 * <code>selection</code>. A line in the document is considered covered if
 * <code>selection</code> comprises any characters on it, including the terminating delimiter.
 * <p>Note that the last line in a selection is not considered covered if the selection only
 * comprises the line delimiter at its beginning (that is considered part of the second last
 * line).
 * As a special case, if the selection is empty, a line is considered covered if the caret is
 * at any position in the line, including between the delimiter and the start of the line. The
 * line containing the delimiter is not considered covered in that case.
 * </p>
 *
 * @param document the document <code>selection</code> refers to
 * @param selection a selection on <code>document</code>
 * @param viewer the <code>ISourceViewer</code> displaying <code>document</code>
 * @return a selection describing the range of lines (partially) covered by
 * <code>selection</code>, without any terminating line delimiters
 * @throws BadLocationException if the selection is out of bounds (when the underlying document has changed during the call)
 */
private ITextSelection getMovingSelection(IDocument document, ITextSelection selection, ITextViewer viewer) throws BadLocationException {
	int low= document.getLineOffset(selection.getStartLine());
	int endLine= selection.getEndLine();
	int high= document.getLineOffset(endLine) + document.getLineLength(endLine);

	// get everything up to last line without its delimiter
	String delim= document.getLineDelimiter(endLine);
	if (delim != null)
		high -= delim.length();

	// the new selection will cover the entire lines being moved, except for the last line's
	// delimiter. The exception to this rule is an empty last line, which will stay covered
	// including its delimiter
	if (delim != null && document.getLineLength(endLine) == delim.length())
		fAddDelimiter= true;
	else
		fAddDelimiter= false;

	return new TextSelection(document, low, high - low);
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
@Override
public void run() {
	IXtextDocument document = editor.getDocument();
	ISelection selection = editor.getSelectionProvider().getSelection();
	if (selection instanceof TextSelection) {
		TextSelection textSelection = (TextSelection) selection;
		if (textSelection.getLength()==0) {
			IRegion region = matcher.match(document, textSelection.getOffset());
			if (region != null) {
				if (region.getOffset()+1==textSelection.getOffset()) {
					editor.selectAndReveal(region.getOffset()+region.getLength(),0);
				} else {
					editor.selectAndReveal(region.getOffset()+1,0);
				}
			}
		}
	}
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
/**
    * @param selection
    * @return first element of the selection
    */
   public static Object getFirstSelectedElement(ISelection selection) {
if (selection instanceof TreeSelection) {
    TreeSelection treeSelection = (TreeSelection) selection;
    return treeSelection.getFirstElement();
} else if (selection instanceof StructuredSelection) {
    StructuredSelection structuredSelection = (StructuredSelection) selection;
    return structuredSelection.getFirstElement();
} else if (selection instanceof IFileEditorInput) {
    IFileEditorInput editorInput = (FileEditorInput) selection;
    return editorInput.getFile();
} else if (selection instanceof TextSelection) {
    return null;
} else {
    throw new RuntimeException(
	    Messages.GeneratorUtils_SelectionNotSupported);
}
   }
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
@Override
public void modifyText(final ModifyEvent e) {

	boolean wrap = true;
	final String text = find.getText();
	if (lastText.startsWith(text)) {
		wrap = false;
	}
	lastText = text;
	if (EMPTY.equals(text) || "".equals(text)) {
		adjustEnablement(false, null);
		final ISelectionProvider selectionProvider = editor.getSelectionProvider();
		if (selectionProvider != null) {
			final ISelection selection = selectionProvider.getSelection();
			if (selection instanceof TextSelection) {
				final ITextSelection textSelection = (ITextSelection) selection;
				selectionProvider.setSelection(new TextSelection(textSelection.getOffset(), 0));
			}
		}
	} else {
		find(true, true, wrap);
	}
}
 

import org.eclipse.jface.text.TextSelection; //導入依賴的package包/類
public void search() {
	final IWorkbenchPart part = WorkbenchHelper.getActivePart();
	if (part instanceof IEditorPart) {
		final IEditorPart editor = (IEditorPart) part;
		final IWorkbenchPartSite site = editor.getSite();
		if (site != null) {
			final ISelectionProvider provider = site.getSelectionProvider();
			if (provider != null) {
				final ISelection viewSiteSelection = provider.getSelection();
				if (viewSiteSelection instanceof TextSelection) {
					final TextSelection textSelection = (TextSelection) viewSiteSelection;
					text.setText(textSelection.getText());
				}
			}
		}

	}
	activate(null);
	text.setFocus();

}