Examples of org.eclipse.ui.editors.text.TextFileDocumentProvider.connect()

        return;
      }


      try {
        final IDocumentProvider provider = new TextFileDocumentProvider();
        provider.connect(htmlFile);
        final IDocument document = provider.getDocument(htmlFile);
        LDL = document.getLineDelimiter(0).length();
        int sc = 0;
        boolean commented = false;
        String wid_const = DocumentHelper.WICKET;

   * 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) {

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.