Examples of IDocumentExtension3

org.eclipse.jface.text.IDocumentExtension3
Extension interface for {@link org.eclipse.jface.text.IDocument}.
Adds the concept of multiple partitionings and the concept of zero-length partitions in conjunction with open and delimited partitions. A delimited partition has a well defined start delimiter and a well defined end delimiter. Between two delimited partitions there may be an open partition of length zero.
In order to fulfill the contract of this interface, the document must be configured with a document partitioner implementing {@link org.eclipse.jface.text.IDocumentPartitionerExtension2}. @see org.eclipse.jface.text.IDocumentPartitionerExtension2 @since 3.0

Examples of org.eclipse.jface.text.IDocumentExtension3

  public ProcessingDocumentSetupParticipant(){ }
  
  /** Set up the document*/
  public void setup(IDocument document) {
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 extension3= (IDocumentExtension3) document;
      IDocumentPartitioner partitioner= new FastPartitioner(ProcessingPlugin.getDefault().getProcessingPartitionScanner(), ProcessingPartitionScanner.PARTITION_TYPES);
      extension3.setDocumentPartitioner(ProcessingPlugin.PROCESSING_PARTITIONING, partitioner);
      partitioner.connect(document);
    }    
  }

View Full Code Here

Examples of org.eclipse.jface.text.IDocumentExtension3

   */
  public void connect(Object element) throws CoreException {
    fParentProvider.connect(element);
    IDocument document= fParentProvider.getDocument(element);
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 extension= (IDocumentExtension3) document;
      if (extension.getDocumentPartitioner(fPartitioning) == null)
        fDocumentSetupParticipant.setup(document);
    }
  }

View Full Code Here

Examples of org.eclipse.jface.text.IDocumentExtension3

   * @since 3.0
   */
  public void setupJavaDocumentPartitioner(IDocument document, String partitioning) {
    IDocumentPartitioner partitioner= createDocumentPartitioner();
    if (document instanceof IDocumentExtension3) {
      IDocumentExtension3 extension3= (IDocumentExtension3) document;
      extension3.setDocumentPartitioner(partitioning, partitioner);
    } else {
      document.setDocumentPartitioner(partitioner);
    }
    partitioner.connect(document);
  }

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.