Examples of org.eclipse.ui.texteditor.IDocumentProvider.connect()

Class org.eclipse.ui.texteditor.IDocumentProvider

Examples of org.eclipse.ui.texteditor.IDocumentProvider.connect()

org.eclipse.ui.texteditor.IDocumentProvider.connect()
Connects the given element to this document provider. This tells the provider that caller of this method is interested to work with the document provided for the given domain model element. By counting the invocations of this method and disconnect(Object) this provider can assume to know the correct number of clients working with the document provided for that domain model element.
The given element must not be null. @param element the element @exception CoreException if the textual representation or the annotation modelof the element could not be created

   * mark an error in a java file
   */
  private void markJava(final IFile javaFile, final String wid, final String htmlSnippet) {
    final IDocumentProvider provider = new TextFileDocumentProvider();
    try {
      provider.connect(javaFile);
      final IDocument document = provider.getDocument(javaFile);
      final String className = javaFile.getName().replaceAll(".java", "");
      final FindReplaceDocumentAdapter frda = new FindReplaceDocumentAdapter(document);
      final IRegion region = frda.find(0, "class " + className, true, true, true, false);
      if (region != null) {

View Full Code Here


            if (textEditor != null) {
              IEditorInput input = editorPart.getEditorInput();
              IDocumentProvider provider = textEditor.getDocumentProvider();
              try {
                provider.connect(input);
              } catch (CoreException e) {
                e.printStackTrace();
                // unable to link
                //DebugUIPlugin.log(e);
                return;

View Full Code Here

                IDocument doc;
                FileEditorInput input = new FileEditorInput(file);
                IDocumentProvider provider = EditorManager
                    .getDocumentProvider(input);
                try {
                    provider.connect(input);
                    doc = provider.getDocument(input);


                    final DocumentChecksum checksum = new DocumentChecksum(path);
                    checksum.bind(doc);
                    checksum.update();

View Full Code Here

        }


        FileEditorInput input = new FileEditorInput(file);
        IDocumentProvider provider = EditorManager.getDocumentProvider(input);
        try {
            provider.connect(input);
        } catch (CoreException e) {
            log.error("Could not connect to a document provider on file '"
                + file.toString() + "':", e);
            return;
        }

View Full Code Here


        FileEditorInput input = new FileEditorInput(file);
        IDocumentProvider provider = EditorManager.getDocumentProvider(input);


        try {
            provider.connect(input);
        } catch (CoreException e) {
            log.error("Could not connect to a document provider on file '"
                + file.toString() + "':", e);
            return;
        }

View Full Code Here

                    doc = null;
                } else {
                    input = new FileEditorInput(file);
                    provider = EditorManager.getDocumentProvider(input);
                    try {
                        provider.connect(input);
                        doc = provider.getDocument(input);
                    } catch (CoreException e) {
                        log.warn("Could not check checksum of file "
                            + docPath.toString());
                        provider = null;

View Full Code Here


        FileEditorInput input = new FileEditorInput(file);
        IDocumentProvider provider = EditorManager.getDocumentProvider(input);


        try {
            provider.connect(input);
        } catch (CoreException e) {
            log.warn("Could not check checksum of file " + path.toString());
            return false;
        }

View Full Code Here


        if (!isConnected(file)) {
            FileEditorInput input = new FileEditorInput(file);
            IDocumentProvider documentProvider = getDocumentProvider(input);
            try {
                documentProvider.connect(input);
            } catch (CoreException e) {
                log.error("Error connecting to a document provider on file '"
                    + file.toString() + "':", e);
            }
            connectedFiles.add(file);

View Full Code Here

        IFile file = path.getFile();
        FileEditorInput input = new FileEditorInput(file);
        IDocumentProvider provider = getDocumentProvider(input);


        try {
            provider.connect(input);
        } catch (CoreException e) {
            log.error(
                "Could not connect document provider for file: "
                    + file.toString(), e);
            // TODO Trigger a consistency recovery

View Full Code Here

        }


        log.trace(".saveText File " + file.getName() + " will be saved");


        try {
            provider.connect(input);
        } catch (CoreException e) {
            log.error("Could not connect to a document provider on file '"
                + file.toString() + "':", e);
            return;
        }

View Full Code Here

0 1 2

TOP

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.