boolean hasSharedDocument(Object object) { return (fElement == object && fDocumentProvider != null && fDocumentProvider.getDocument(getDocumentKey()) != null); }
boolean hasSharedDocument(Object object) { return (fElement == object && fDocumentProvider != null && fDocumentProvider.getDocument(getDocumentKey()) != null); }
private boolean synchronizeModelIfNeeded() { if (fMustSynchronize) { boolean result = synchronizeModel(fDocumentProvider.getDocument(fEditorInput)); fMustSynchronize = false; return result; } return true; }
public IDocument getDocument() { IEditorInput input = getEditorInput(); IDocumentProvider docProvider = getDocumentProvider(); return docProvider==null? null : docProvider.getDocument(input); } /**
/** * Returns the text editor's document. * * @param part the text editor * @return the document of the given text editor */ private IDocument getDocument(ITextEditor part) { IDocumentProvider provider= part.getDocumentProvider(); return provider.getDocument(part.getEditorInput()); }
/** * Returns the <code>IDocument</code> of the editor's input. * * @return the document of the editor's input */ protected final IDocument getDocument() { IDocumentProvider provider= fTextEditor.getDocumentProvider(); return provider.getDocument(fTextEditor.getEditorInput()); }
/** * Returns the current <code>AnnotationDocument</code> of this editor. * * @return current <code>AnnotationDocument</code> */ @Override public ICasDocument getDocument() { return (ICasDocument) getDocumentProvider().getDocument(getEditorInput()); }
private IDocument getDocument() { JavaEditor editor= fEditor; if (editor == null) return null; IDocumentProvider provider= editor.getDocumentProvider(); if (provider == null) return null; return provider.getDocument(editor.getEditorInput()); }
/** * Returns the text editor's document. * * @param part the text editor * @return the document of the given text editor */ private IDocument getDocument(ITextEditor part) { IDocumentProvider provider= part.getDocumentProvider(); return provider.getDocument(part.getEditorInput()); }
private static IRegion getRegionOfInterest(ITextEditor editor, int invocationLocation) throws BadLocationException { IDocumentProvider documentProvider= editor.getDocumentProvider(); if (documentProvider == null) { return null; } IDocument document= documentProvider.getDocument(editor.getEditorInput()); if (document == null) { return null; } return document.getLineInformationOfOffset(invocationLocation); }
/** * Returns true if the given file is open in an editor. */ final boolean beingEdited(IFile file) { IDocumentProvider dp= JavaPlugin.getDefault().getCompilationUnitDocumentProvider(); FileEditorInput input= new FileEditorInput(file); return dp.getDocument(input) != null; }
private IDocument getDocument() { Assert.isTrue(fEditor != null); IDocumentProvider provider= fEditor.getDocumentProvider(); if (provider == null) return null; IDocument document= provider.getDocument(fEditor.getEditorInput()); return document; }
public void connect(Object element) throws CoreException { fParentProvider.connect(element); IDocument document= fParentProvider.getDocument(element); if (document instanceof IDocumentExtension3) { IDocumentExtension3 extension= (IDocumentExtension3) document; if (extension.getDocumentPartitioner(fPartitioning) == null) fDocumentSetupParticipant.setup(document); } }
private boolean isValidSelection(int offset, int length) { IDocumentProvider provider= getDocumentProvider(); if (provider != null) { IDocument document= provider.getDocument(getEditorInput()); if (document != null) { int end= offset + length; int documentLength= document.getLength(); return 0 <= offset && offset <= documentLength && 0 <= end && end <= documentLength && length >= 0; } } return false; }
private IDocument getDocument() { Assert.isTrue(fEditor != null); IDocumentProvider provider= fEditor.getDocumentProvider(); if (provider == null) return null; IDocument document= provider.getDocument(fEditor.getEditorInput()); return document; }
protected CompilationUnit parseCompilationUnit(ITextEditor editor) throws CoreException { IEditorInput editorInput = editor.getEditorInput(); IDocumentProvider documentProvider = editor.getDocumentProvider(); if (documentProvider == null) { throw new CoreException(Status.CANCEL_STATUS); } IDocument document = documentProvider.getDocument(editorInput); ASTParser parser = ASTParser.newParser(AST.JLS3); parser.setSource(document.get().toCharArray()); return (CompilationUnit) parser.createAST(null); }
private void deinitializeDocumentProvider() { IAnnotationModel amodel = fDocumentProvider.getAnnotationModel(fEditorInput); if (amodel != null) { amodel.disconnect(fDocumentProvider.getDocument(fEditorInput)); } fDocumentProvider.removeElementStateListener(fElementListener); fDocumentProvider.disconnect(fEditorInput); }
public void doSave(IProgressMonitor monitor) { try { IDocument doc = fDocumentProvider.getDocument(fEditorInput); fDocumentProvider.aboutToChange(fEditorInput); flushModel(doc); fDocumentProvider.saveDocument(monitor, fEditorInput, doc, true); fDocumentProvider.changed(fEditorInput); fValidated = false; } catch (CoreException e) { PDEPlugin.logException(e); } }
private InsertEdit insertAsFirstChild(IDocumentElementNode node) { int offset = node.getParentNode().getOffset(); int length = getNextPosition(getDocumentProvider().getDocument(getInput()), offset, '>'); node.setLineIndent(node.getParentNode().getLineIndent() + 3); String sep = TextUtilities.getDefaultLineDelimiter(getDocumentProvider().getDocument(getInput())); return new InsertEdit(offset + length + 1, sep + node.write(true)); }
private ISelection getEditorSelection(JavaEditor editor) { ITypeRoot element= SelectionConverter.getInput(editor); if (element == null) return null; if (editor.isBreadcrumbActive()) return editor.getBreadcrumb().getSelectionProvider().getSelection(); else { ITextSelection textSelection= (ITextSelection) editor.getSelectionProvider().getSelection(); IDocument document= JavaUI.getDocumentProvider().getDocument(editor.getEditorInput()); return new JavaTextSelection(element, document, textSelection.getOffset(), textSelection.getLength()); } }