Examples of org.eclipse.ui.editors.text.FileDocumentProvider$SafeChange

org.eclipse.ui.editors.text.FileDocumentProvider
Runnable encapsulating an element state change. This runnable ensures that a element change failed message is sent out to the element state listeners in case an exception occurred. @since 2.0

     * @see org.eclipse.ui.editors.text.StorageDocumentProvider#doSaveDocument(org.eclipse.core.runtime.IProgressMonitor,
     *      java.lang.Object, org.eclipse.jface.text.IDocument, boolean)
     */
    protected void doSaveDocument(IProgressMonitor monitor, Object element, IDocument document, boolean overwrite) throws CoreException {
      // untested
      new FileDocumentProvider().saveDocument(monitor, element, document, overwrite);
    }

View Full Code Here

    // BUG119211 - try to use registered document provider if possible
    if (element instanceof IEditorInput) {
      provider = DocumentProviderRegistry.getDefault().getDocumentProvider((IEditorInput) element);
    }
    if (provider == null)
      provider = new FileDocumentProvider();
    provider.saveDocument(monitor, element, document, overwrite);
  }

View Full Code Here

    // BUG119211 - try to use registered document provider if possible
    if (element instanceof IEditorInput) {
      provider = DocumentProviderRegistry.getDefault().getDocumentProvider((IEditorInput) element);
    }
    if (provider == null)
      provider = new FileDocumentProvider();
    provider.saveDocument(monitor, element, document, overwrite);
  }

View Full Code Here

  }


  @Override
  protected IDocument createDocument(Object element) throws CoreException {
    if (element instanceof FileEditorInput) {
      FileDocumentProvider fileProvider = new FileDocumentProvider();
      IDocument res = fileProvider.getDocument(element);
      fileProvider.connect(element);
      res = fileProvider.getDocument(element);
      return res;
    }
    
    if (element instanceof ModelingProjectEditorInput) {
      ModelingProject project = ((ModelingProjectEditorInput) element).getProject();

View Full Code Here

      throws PartInitException {
    setSite(site);
    setInput(input);
    operationHistory = PlatformUI.getWorkbench().getOperationSupport().getOperationHistory();
    try {
      documentProvider = new FileDocumentProvider();
      documentProvider.connect(input);
      document = documentProvider.getDocument(input);
      
      
      IAnnotationModel annotationModel = documentProvider.getAnnotationModel(input);

View Full Code Here

    if (element instanceof IEditorInput) {
      provider = DocumentProviderRegistry.getDefault()
          .getDocumentProvider((IEditorInput) element);
    }
    if (provider == null)
      provider = new FileDocumentProvider();
    provider.saveDocument(monitor, element, document, overwrite);
  }

View Full Code Here

TOP

Related Classes of org.eclipse.ui.editors.text.FileDocumentProvider$SafeChange

com.onpositive.mapper.editors.MapEditor

org.eclipse.core.filebuffers.manipulation.ContainerCreator

org.eclipse.core.resources.IFile

org.eclipse.core.resources.IResource

org.eclipse.core.resources.IResourceDelta

org.eclipse.core.resources.IWorkspace

org.eclipse.core.resources.ProjectScope

org.eclipse.core.runtime.content.IContentDescription

org.eclipse.core.runtime.content.IContentType

org.eclipse.core.runtime.IPath

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.