Examples of TokenMarker

br.com.gmartins.simbler.jedit.tokenmarker.TokenMarker
A token marker that splits lines of text into tokens. Each token carries a length field and an indentification tag that can be mapped to a color for painting that token.
For performance reasons, the linked list of tokens is reused after each line is tokenized. Therefore, the return value of markTokens should only be used for immediate painting. Notably, it cannot be cached. @author Slava Pestov @version $Id: TokenMarker.java,v 1.32 1999/12/13 03:40:30 sp Exp $ @see org.syntax.jedit.Token
eas.miscellaneous.jedit.tokenmarker.TokenMarker
A token marker that splits lines of text into tokens. Each token carries a length field and an indentification tag that can be mapped to a color for painting that token.
For performance reasons, the linked list of tokens is reused after each line is tokenized. Therefore, the return value of markTokens should only be used for immediate painting. Notably, it cannot be cached. @author Slava Pestov @version $Id: TokenMarker.java,v 1.32 1999/12/13 03:40:30 sp Exp $ @see org.syntax.jedit.Token
org.syntax.jedit.tokenmarker.TokenMarker
A token marker that splits lines of text into tokens. Each token carries a length field and an indentification tag that can be mapped to a color for painting that token.
For performance reasons, the linked list of tokens is reused after each line is tokenized. Therefore, the return value of markTokens should only be used for immediate painting. Notably, it cannot be cached. @author Slava Pestov @version $Id$ @see org.syntax.jedit.Token

Examples of org.syntax.jedit.tokenmarker.TokenMarker

     *
     * @param line   The line
     * @param offset The offset, from the start of the line
     */
    public int _offsetToX(int line, int offset) {
        TokenMarker tokenMarker = getTokenMarker();


    /* Use painter's cached info for speed */
        FontMetrics fm = painter.getFontMetrics();


        getLineText(line, lineSegment);


        int segmentOffset = lineSegment.offset;
        int x = 0; // -horizontalOffset;


    /* If syntax coloring is disabled, do simple translation */
        if (tokenMarker == null) {
            lineSegment.count = offset;
            return x + Utilities.getTabbedTextWidth(lineSegment, fm, x, painter, 0);
        }
    /*
     * If syntax coloring is enabled, we have to do this because tokens can
     * vary in width
     */
        else {
            Token tokens;
            if (painter.currentLineIndex == line && painter.currentLineTokens != null) {
                tokens = painter.currentLineTokens;
            } else {
                painter.currentLineIndex = line;
                tokens = painter.currentLineTokens = tokenMarker.markTokens(lineSegment, line);
            }


            // Toolkit toolkit = painter.getToolkit();
            Font defaultFont = painter.getFont();
            SyntaxStyle[] styles = painter.getStyles();

View Full Code Here

Examples of org.syntax.jedit.tokenmarker.TokenMarker

     *
     * @param line The line
     * @param x    The x co-ordinate
     */
    public int xToOffset(int line, int x) {
        TokenMarker tokenMarker = getTokenMarker();


    /* Use painter's cached info for speed */
        FontMetrics fm = painter.getFontMetrics();


        getLineText(line, lineSegment);


        char[] segmentArray = lineSegment.array;
        int segmentOffset = lineSegment.offset;
        int segmentCount = lineSegment.count;


        int width = 0; // -horizontalOffset;


        if (tokenMarker == null) {
            for (int i = 0; i < segmentCount; i++) {
                char c = segmentArray[i + segmentOffset];
                int charWidth;
                if (c == '\t') {
                    charWidth = (int) painter.nextTabStop(width, i) - width;
                } else {
                    charWidth = fm.charWidth(c);
                }


                if (painter.isBlockCaretEnabled()) {
                    if (x - charWidth <= width) {
                        return i;
                    }
                } else {
                    if (x - charWidth / 2 <= width) {
                        return i;
                    }
                }


                width += charWidth;
            }


            return segmentCount;
        } else {
            Token tokens;
            if (painter.currentLineIndex == line && painter.currentLineTokens != null) {
                tokens = painter.currentLineTokens;
            } else {
                painter.currentLineIndex = line;
                tokens = painter.currentLineTokens = tokenMarker.markTokens(lineSegment, line);
            }


            int offset = 0;
            // Toolkit toolkit = painter.getToolkit();
            Font defaultFont = painter.getFont();

View Full Code Here

0 1

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.