Package org.eclipse.jface.text

Examples of org.eclipse.jface.text.IDocumentExtension3

277
278
279
280
281
282
283
284
285
286
287
288
  }

  @Override
  protected void connectPartitioningToElement(IEditorInput input, IDocument document) {
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 doc = (IDocumentExtension3) document;
      if (doc.getDocumentPartitioner(RutaPartitions.RUTA_PARTITIONING) == null) {
        IDocumentSetupParticipant participant = new RutaDocumentSetupParticipant();
        participant.setup(document);
      }
    }
  }
View Full Code Here
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
   * @throws BadPartitioningException if partitioning is invalid for this document
   * @since 3.1
   */
  private String[] getContentTypes(IDocument document) throws BadPartitioningException {
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 ext= (IDocumentExtension3) document;
      String[] partitionings= ext.getPartitionings();
      Set contentTypes= new HashSet(20);
      for (int i= 0; i < partitionings.length; i++) {
        contentTypes.addAll(Arrays.asList(ext.getLegalContentTypes(partitionings[i])));
      }
      contentTypes.add(IDocument.DEFAULT_CONTENT_TYPE);
      return (String[]) contentTypes.toArray(new String[contentTypes.size()]);
    }
    return document.getLegalContentTypes();
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
68
69
    public void setup( IDocument document )
    {

        if ( document instanceof IDocumentExtension3 )
        {
            IDocumentExtension3 extension3 = ( IDocumentExtension3 ) document;
            if ( extension3.getDocumentPartitioner( LdifDocumentSetupParticipant.LDIF_PARTITIONING ) == null )
            {
                IDocumentPartitioner partitioner = createDocumentPartitioner();
                extension3.setDocumentPartitioner( LDIF_PARTITIONING, partitioner );
                partitioner.connect( document );
            }
        }
    }
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
    public static IDocumentPartitioner checkPartitionScanner(IDocument document) {
        if (document == null) {
            return null;
        }

        IDocumentExtension3 docExtension = (IDocumentExtension3) document;
        IDocumentPartitioner partitioner = docExtension.getDocumentPartitioner(IPythonPartitions.PYTHON_PARTITION_TYPE);
        if (partitioner == null) {
            addPartitionScanner(document);
            //get it again for the next check
            partitioner = docExtension.getDocumentPartitioner(IPythonPartitions.PYTHON_PARTITION_TYPE);
        }
        if (!(partitioner instanceof PyPartitioner)) {
            Log.log("Partitioner should be subclass of PyPartitioner. It is " + partitioner.getClass());
        }
        return partitioner;
View Full Code Here
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
     * @param document the document where we want to add the partitioner
     * @return the added document partitioner (or null)
     */
    public static IDocumentPartitioner addPartitionScanner(IDocument document) {
        if (document != null) {
            IDocumentExtension3 docExtension = (IDocumentExtension3) document;
            IDocumentPartitioner curr = docExtension.getDocumentPartitioner(IPythonPartitions.PYTHON_PARTITION_TYPE);

            if (curr == null) {
                //set the new one
                FastPartitioner partitioner = createPyPartitioner();
                partitioner.connect(document);
                docExtension.setDocumentPartitioner(IPythonPartitions.PYTHON_PARTITION_TYPE, partitioner);
                return partitioner;
            } else {
                return curr;
            }
        }
View Full Code Here
870
871
872
873
874
875
876
877
878
879
880
881
     * @return the content type at that position (according to IPythonPartitions)
     *
     * Uses the default if the partitioner is not set in the document (for testing purposes)
     */
    public static String getContentType(IDocument document, int i) {
        IDocumentExtension3 docExtension = (IDocumentExtension3) document;
        IDocumentPartitionerExtension2 partitioner = (IDocumentPartitionerExtension2) docExtension
                .getDocumentPartitioner(IPythonPartitions.PYTHON_PARTITION_TYPE);

        if (partitioner != null) {
            return partitioner.getContentType(i, true);
        }
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
44
    /*
     * @see org.eclipse.core.filebuffers.IDocumentSetupParticipant#setup(org.eclipse.jface.text.IDocument)
     */
    public void setup(IDocument document) {
        if (document instanceof IDocumentExtension3) {
            IDocumentExtension3 extension3 = (IDocumentExtension3) document;
            IDocumentPartitioner partitioner =
                new FastPartitioner(apexPartitionScanner, ApexPartitionScanner.APEX_PARTITION_TYPES);
            extension3.setDocumentPartitioner(ApexSourceViewerConfiguration.APEX_PARTITIONING, partitioner);
            partitioner.connect(document);
        }
    }
View Full Code Here
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
   * @throws BadPartitioningException if partitioning is invalid for this document
   * @since 3.1
   */
  private String[] getContentTypes(IDocument document) throws BadPartitioningException {
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 ext= (IDocumentExtension3) document;
      String[] partitionings= ext.getPartitionings();
      Set contentTypes= new HashSet(20);
      for (int i= 0; i < partitionings.length; i++) {
        contentTypes.addAll(Arrays.asList(ext.getLegalContentTypes(partitionings[i])));
      }
      contentTypes.add(IDocument.DEFAULT_CONTENT_TYPE);
      return (String[]) contentTypes.toArray(new String[contentTypes.size()]);
    }
    return document.getLegalContentTypes();
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
  protected void setupDocumentPartitioner(IDocument document, String partitioning) {
    IDocumentPartitioner partitioner = createDocumentPartitioner();
    if (partitioner != null) {
      partitioner.connect(document);
      if (document instanceof IDocumentExtension3) {
        IDocumentExtension3 extension3 = (IDocumentExtension3) document;
        extension3.setDocumentPartitioner(partitioning, partitioner);
      } else {
        document.setDocumentPartitioner(partitioner);
      }
    }
  }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
67
68
    public void setup( IDocument document )
    {

        if ( document instanceof IDocumentExtension3 )
        {
            IDocumentExtension3 extension3 = ( IDocumentExtension3 ) document;
            if ( extension3.getDocumentPartitioner( LdifDocumentSetupParticipant.LDIF_PARTITIONING ) == null )
            {
                IDocumentPartitioner partitioner = createDocumentPartitioner();
                extension3.setDocumentPartitioner( LDIF_PARTITIONING, partitioner );
                partitioner.connect( document );
            }
        }
    }
View Full Code Here
TOP

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

  • at.bestsolution.efxclipse.text.editor.ForwardingDocumentProvider
  • at.bestsolution.efxclipse.text.test.app.sample.jscanners.JavaTextTools
  • com.salesforce.ide.ui.editors.apex.ApexDocumentSetupParticipant
  • melnorme.lang.ide.ui.text.LangDocumentPartitionerSetup
  • org.apache.directory.ldapstudio.browser.ui.editors.ldif.LdifDocumentSetupParticipant
  • org.apache.directory.ldapstudio.ldifeditor.editor.LdifDocumentSetupParticipant
  • org.apache.directory.studio.ldifeditor.editor.LdifDocumentSetupParticipant
  • org.apache.uima.ruta.ide.ui.editor.RutaEditor
  • org.dsource.ddt.lang.ui.editor.ScriptEditorExtension
  • org.eclipse.jface.text.link.LinkedModeUI
    • 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.