Examples with TypedPosition org.eclipse.jface.text.TypedPosition used on opensource projects

Example 21 with TypedPosition

use of org.eclipse.jface.text.TypedPosition in project che by eclipse.

the class FastPartitioner method initialize.

/**
	 * Performs the initial partitioning of the partitioner's document.
	 * <p>
	 * May be extended by subclasses.
	 * </p>
	 */
protected void initialize() {
    fIsInitialized = true;
    clearPositionCache();
    fScanner.setRange(fDocument, 0, fDocument.getLength());
    try {
        IToken token = fScanner.nextToken();
        while (!token.isEOF()) {
            String contentType = getTokenContentType(token);
            if (isSupportedContentType(contentType)) {
                TypedPosition p = new TypedPosition(fScanner.getTokenOffset(), fScanner.getTokenLength(), contentType);
                fDocument.addPosition(fPositionCategory, p);
            }
            token = fScanner.nextToken();
        }
    } catch (BadLocationException x) {
    // cannot happen as offsets come from scanner
    } catch (BadPositionCategoryException x) {
    // cannot happen if document has been connected before
    }
}

Example 22 with TypedPosition

use of org.eclipse.jface.text.TypedPosition in project eclipse.platform.text by eclipse.

the class DefaultPartitioner method initialize.

/**
 * Performs the initial partitioning of the partitioner's document.
 */
protected void initialize() {
    fIsInitialized = true;
    fScanner.setRange(fDocument, 0, fDocument.getLength());
    try {
        IToken token = fScanner.nextToken();
        while (!token.isEOF()) {
            String contentType = getTokenContentType(token);
            if (isSupportedContentType(contentType)) {
                TypedPosition p = new TypedPosition(fScanner.getTokenOffset(), fScanner.getTokenLength(), contentType);
                fDocument.addPosition(fPositionCategory, p);
            }
            token = fScanner.nextToken();
        }
    } catch (BadLocationException x) {
    // cannot happen as offsets come from scanner
    } catch (BadPositionCategoryException x) {
    // cannot happen if document has been connected before
    }
}

Example 23 with TypedPosition

use of org.eclipse.jface.text.TypedPosition in project eclipse.platform.text by eclipse.

the class DefaultPartitioner method getContentType.

@Override
public String getContentType(int offset) {
    checkInitialization();
    TypedPosition p = findClosestPosition(offset);
    if (p != null && p.includes(offset))
        return p.getType();
    return IDocument.DEFAULT_CONTENT_TYPE;
}

Example 24 with TypedPosition

use of org.eclipse.jface.text.TypedPosition in project eclipse.platform.text by eclipse.

the class DefaultPartitioner method getPartition.

@Override
public ITypedRegion getPartition(int offset) {
    checkInitialization();
    try {
        Position[] category = fDocument.getPositions(fPositionCategory);
        if (category == null || category.length == 0)
            return new TypedRegion(0, fDocument.getLength(), IDocument.DEFAULT_CONTENT_TYPE);
        int index = fDocument.computeIndexInCategory(fPositionCategory, offset);
        if (index < category.length) {
            TypedPosition next = (TypedPosition) category[index];
            if (offset == next.offset)
                return new TypedRegion(next.getOffset(), next.getLength(), next.getType());
            if (index == 0)
                return new TypedRegion(0, next.offset, IDocument.DEFAULT_CONTENT_TYPE);
            TypedPosition previous = (TypedPosition) category[index - 1];
            if (previous.includes(offset))
                return new TypedRegion(previous.getOffset(), previous.getLength(), previous.getType());
            int endOffset = previous.getOffset() + previous.getLength();
            return new TypedRegion(endOffset, next.getOffset() - endOffset, IDocument.DEFAULT_CONTENT_TYPE);
        }
        TypedPosition previous = (TypedPosition) category[category.length - 1];
        if (previous.includes(offset))
            return new TypedRegion(previous.getOffset(), previous.getLength(), previous.getType());
        int endOffset = previous.getOffset() + previous.getLength();
        return new TypedRegion(endOffset, fDocument.getLength() - endOffset, IDocument.DEFAULT_CONTENT_TYPE);
    } catch (BadPositionCategoryException x) {
    } catch (BadLocationException x) {
    }
    return new TypedRegion(0, fDocument.getLength(), IDocument.DEFAULT_CONTENT_TYPE);
}

Example 25 with TypedPosition

use of org.eclipse.jface.text.TypedPosition in project eclipse.platform.text by eclipse.

the class FastPartitioner method getContentType.

/**
 * {@inheritDoc}
 * <p>
 * May be replaced or extended by subclasses.
 * </p>
 */
@Override
public String getContentType(int offset) {
    checkInitialization();
    TypedPosition p = findClosestPosition(offset);
    if (p != null && p.includes(offset))
        return p.getType();
    return IDocument.DEFAULT_CONTENT_TYPE;
}