Examples of IDocumentPartitionerExtension2

org.eclipse.jface.text.IDocumentPartitionerExtension2

Extension interface for {@link org.eclipse.jface.text.IDocumentPartitioner}.

Extends the original concept of a document partitioner to answer the position categories that are used to manage the partitioning information.

This extension also introduces the concept of open and delimited partitions. A delimited partition has a predefined textual token delimiting its start and end, while an open partition can fill any space between two delimited partitions.

An open partition of length zero can occur between two delimited partitions, thus having the same offset as the following delimited partition. The document start and end are considered to be delimiters of open partitions, i.e. there may be a zero-length partition between the document start and a delimited partition starting at offset 0.

@since 3.0

     * 
     * 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);
        }
        return getContentType(document.get(), i);
    }

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.

Examples of IDocumentPartitionerExtension2

Examples of org.eclipse.jface.text.IDocumentPartitionerExtension2