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

Class org.eclipse.ui.texteditor.IDocumentProvider

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

org.eclipse.ui.texteditor.IDocumentProvider.disconnect()
Disconnects the given element from this document provider. This tells the provider that the caller of this method is no longer interested in working with the document provided for the given domain model element. By counting the invocations of connect(Object) and of this method 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

        
      InvalidEncodingMarkingHandler handler = new InvalidEncodingMarkingHandler();
      handler.setWGAVersionCompliance(versionCompliance);              
      handler.setDocumentProvider(provider);
      handler.createMarkers(file, provider.getDocument(input));
      provider.disconnect(input);
    } catch (CoreException e) {
      Plugin.getDefault().logError("Unable to validate generic design file '" + file.getLocation().toString() + "'.", e);
    }    
  }

View Full Code Here

            IRegion line = document.getLineInformation(lineNumber);
            textEditor.selectAndReveal(line.getOffset(), line.getLength());
          } catch (BadLocationException e) {


          }
          provider.disconnect(input);
        }
        return;
      }
      // did not find source
      MessageDialog.openInformation(DLTKDebugUIPlugin.getActiveWorkbenchShell(),

View Full Code Here

                proposals.put(proposedWid, proposal);
              }
            }
          }
        }
        provider.disconnect(javaFile);
      }
    } catch (Exception e) {
    }


    return new ArrayList<CompletionProposal>(proposals.values());

View Full Code Here

              }
            }
          }
          sc += li.getLength() + LDL;
        }
        provider.disconnect(htmlFile);
      } catch (final Exception e) {
        QWickieActivator.getDefault().getLog().log(new Status(Status.ERROR, QWickieActivator.PLUGIN_ID, "Error in builder", e));
      }
    }

View Full Code Here

      final IRegion region = frda.find(0, "class " + className, true, true, true, false);
      if (region != null) {
        addMarker(javaFile, getErrorText(wid), wid, htmlSnippet, document.getLineOfOffset(region.getOffset()), region.getOffset() + 6,
            className.length());
      }
      provider.disconnect(javaFile);
    } catch (final Exception e) {
    }
  }


  /** get the error text that is displayed */

View Full Code Here

              } catch (BadLocationException e) {
                // unable to link
                //DebugUIPlugin.log(e);
                e.printStackTrace();
              }
              provider.disconnect(input);
              if (offset >= 0 && lenght >=0) {
                textEditor.selectAndReveal(offset, lenght);
              }
            }

View Full Code Here

                    });
                } catch (CoreException e) {
                    log.warn("Could not check checksum of file "
                        + path.toString());
                } finally {
                    provider.disconnect(input);
                }


            } catch (IOException e) {
                log.error("File could not be read, despite existing: " + path,
                    e);

View Full Code Here

        connectedUserWithWriteAccessFiles.remove(path);


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


    /**
     * Updates the state of the document provider of a document under the given
     * path. This method looks if this document is already connected, and

View Full Code Here

                } catch (BadLocationException e) {
                    log.error("Invalid location for " + textOp);
                }
            }
        } finally {
            provider.disconnect(input);
        }
    }


    public void addActivityListener(IActivityListener listener) {
        if (!activityListeners.contains(listener)) {

View Full Code Here


                    sarosSession.activityCreated(checksumActivity);


                } finally {
                    if (provider != null) {
                        provider.disconnect(input);
                    }
                }


            }
        });

View Full Code Here

0 1

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.