Package org.eclipse.jface.text

Examples of org.eclipse.jface.text.IDocumentPartitioner

10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
  @Override
  public IDocument createDocument(Object element) throws CoreException {
    IDocument document = super.createDocument(element);
    if(document!=null){
      IDocumentPartitioner partitioner =
        new FastPartitioner(
            new HTMLPartitionScanner(),
            new String[]{
                HTMLPartitionScanner.HTML_TAG,
                HTMLPartitionScanner.HTML_COMMENT,
                HTMLPartitionScanner.HTML_SCRIPT,
                HTMLPartitionScanner.HTML_DOCTYPE,
                HTMLPartitionScanner.HTML_DIRECTIVE,
                HTMLPartitionScanner.JAVASCRIPT,
                HTMLPartitionScanner.HTML_CSS});
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return document;
  }
View Full Code Here
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
    if(info==null){
      info = createEmptyFileInfo();
    }
    IDocument document = info.fTextFileBuffer.getDocument();
    if (document != null) {
      IDocumentPartitioner partitioner =
        new FastPartitioner(
          new HTMLPartitionScanner(),
          new String[] {
            HTMLPartitionScanner.HTML_TAG,
            HTMLPartitionScanner.HTML_COMMENT,
            HTMLPartitionScanner.HTML_SCRIPT,
            HTMLPartitionScanner.HTML_DOCTYPE,
            HTMLPartitionScanner.HTML_DIRECTIVE,
            HTMLPartitionScanner.JAVASCRIPT,
            HTMLPartitionScanner.HTML_CSS});
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return info;
  }
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
69
70
71
  public void setup(IDocument document) {
    WodFileDocumentSetupParticipant.setupDocument(document);
  }

  public static void setupDocument(IDocument document) {
    IDocumentPartitioner partitioner = WodFileDocumentSetupParticipant.createDocumentPartitioner();
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 extension3 = (IDocumentExtension3) document;
      extension3.setDocumentPartitioner(IWodFilePartitions.WOD_FILE_PARTITIONING, partitioner);
    } else {
      document.setDocumentPartitioner(partitioner);
    }
    partitioner.connect(document);
  }
View Full Code Here
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
    if(info==null){
      info = createEmptyFileInfo();
    }
    IDocument document = info.fTextFileBuffer.getDocument();
    if (document != null) {
      IDocumentPartitioner partitioner =
        new FastPartitioner(
          new DTDPartitionScanner(),
          new String[] {
            HTMLPartitionScanner.HTML_TAG,
            HTMLPartitionScanner.HTML_COMMENT});
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return info;
  }
View Full Code Here
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
public class JavaScriptFileDocumentProvider extends FileDocumentProvider {
  @Override
  public IDocument createDocument(Object element) throws CoreException {
    IDocument document = super.createDocument(element);
    if (document != null) {
      IDocumentPartitioner partitioner =
        new FastPartitioner(
            new JavaScriptPartitionScanner(),
            new String[]{
                JavaScriptPartitionScanner.JS_COMMENT
            });
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return document;
  }
View Full Code Here
9
10
11
12
13
14
15
16
17
18
19
public class CSSFileDocumentProvider extends FileDocumentProvider {
  @Override
  public IDocument createDocument(Object element) throws CoreException {
    IDocument document = super.createDocument(element);
    if (document != null) {
      IDocumentPartitioner partitioner = new FastPartitioner(new CSSPartitionScanner(), new String[] { CSSPartitionScanner.CSS_COMMENT });
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return document;
  }
View Full Code Here
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
  @Override
  protected IDocument createDocument(Object element) throws CoreException {
    IDocument document = super.createDocument(element);
    if (document != null) {
      IDocumentPartitioner partitioner =
        new FastPartitioner(
          new PlistPartitionScanner(),
          new String[] {
            PlistPartitionScanner.PROPERTY,
            PlistPartitionScanner.VALUE }) {
//        public void connect(IDocument document, boolean delayInitialise)
//        {
//            super.connect(document, delayInitialise);
//            printPartitions(document);
//        }
//
//        public void printPartitions(IDocument document)
//        {
//            StringBuffer buffer = new StringBuffer();
//
//            ITypedRegion[] partitions = computePartitioning(0, document.getLength());
//            for (int i = 0; i < partitions.length; i++)
//            {
//                try
//                {
//                    buffer.append("Partition type: "
//                      + partitions[i].getType()
//                      + ", offset: " + partitions[i].getOffset()
//                      + ", length: " + partitions[i].getLength());
//                    buffer.append("\n");
//                    buffer.append("Text:\n");
//                    buffer.append(document.get(partitions[i].getOffset(),
//                     partitions[i].getLength()));
//                    buffer.append("\n---------------------------\n\n\n");
//                }
//                catch (BadLocationException e)
//                {
//                    e.printStackTrace();
//                }
//            }
//            System.out.print(buffer);
//        }
      };
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return document;
  }
View Full Code Here
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
    if(info==null){
      info = createEmptyFileInfo();
    }
    IDocument document = info.fTextFileBuffer.getDocument();
    if (document != null) {
      IDocumentPartitioner partitioner =
        new FastPartitioner(
            new CSSPartitionScanner(),
            new String[]{
                CSSPartitionScanner.CSS_COMMENT
            });
      partitioner.connect(document);
      document.setDocumentPartitioner(partitioner);
    }
    return info;
  }
View Full Code Here
160
161
162
163
164
165
166
167
168
169
        initializeDocument(document, filename);
    }

    private void initializeDocument(IDocument document, String filename) {
        if (document != null) {
            IDocumentPartitioner partitioner = createPartitioner(filename);
            document.setDocumentPartitioner(partitioner);
            partitioner.connect(document);
        }
    }
View Full Code Here
168
169
170
171
172
173
174
175
        }
    }

    private IDocumentPartitioner createPartitioner(String filename) {
        ColoringPartitionScanner scanner = new ColoringPartitionScanner(filename);
        IDocumentPartitioner partitioner = new ColoringPartitioner(scanner, scanner.getContentTypes());
        return partitioner;
    }
View Full Code Here
TOP

Related Classes of org.eclipse.jface.text.IDocumentPartitioner

  • at.bestsolution.efxclipse.text.test.app.sample.jscanners.JavaTextTools
  • at.bestsolution.efxclipse.tooling.ui.preview.LivePreviewPart
  • at.bestsolution.efxclipse.tooling.ui.preview.text.XMLDocumentProvider
  • at.ssw.coco.ide.editor.ATGDocumentProvider
  • at.ssw.coco.ide.editor.FrameEditor
  • cbg.editor.ColoringDocumentProvider
  • ccw.editors.clojure.ClojureDocumentProvider
  • ccw.preferences.SyntaxColoringPreferencePage
  • com.aptana.interactive_console.console.ui.internal.ScriptConsoleDocumentListener
  • com.onpositive.mapper.editors.XMLDocumentProvider
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.