Java Highlighter.HighlightPainter方法代碼示例

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/**
 * Determines whether the SelectedTextColor should be used for painting text
 * foreground for the specified highlight.
 *
 * Returns true only if the highlight painter for the specified highlight
 * is the swing painter (whether inner class of javax.swing.text.DefaultHighlighter
 * or com.sun.java.swing.plaf.windows.WindowsTextUI) and its background color
 * is null or equals to the selection color of the text component.
 *
 * This is a hack for fixing both bugs 4761990 and 5003294
 */
public static boolean useSelectedTextColor(Highlighter.Highlight h, JTextComponent c) {
    Highlighter.HighlightPainter painter = h.getPainter();
    String painterClass = painter.getClass().getName();
    if (painterClass.indexOf("javax.swing.text.DefaultHighlighter") != 0 &&
            painterClass.indexOf("com.sun.java.swing.plaf.windows.WindowsTextUI") != 0) {
        return false;
    }
    try {
        DefaultHighlighter.DefaultHighlightPainter defPainter =
                (DefaultHighlighter.DefaultHighlightPainter) painter;
        if (defPainter.getColor() != null &&
                !defPainter.getColor().equals(c.getSelectionColor())) {
            return false;
        }
    } catch (ClassCastException e) {
        return false;
    }
    return true;
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
private void updateSelection() {
    Highlighter h = component.getHighlighter();
    if (h != null) {
        int p0 = Math.min(dot, mark);
        int p1 = Math.max(dot, mark);

        if (p0 == p1 || !selectionVisible) {
            if (selectionTag != null) {
                h.removeHighlight(selectionTag);
                selectionTag = null;
            }
        } else {
            try {
                if (selectionTag != null) {
                    h.changeHighlight(selectionTag, p0, p1);
                } else {
                    Highlighter.HighlightPainter p = getSelectionPainter();
                    selectionTag = h.addHighlight(p0, p1, p);
                }
            } catch (BadLocationException e) {
                throw new RuntimeException(e);
            }
        }
    }
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/**
    * Renders the highlights.
    *
    * @param g the graphics context
    */
   public void paint(Graphics g) {
       // PENDING(prinz) - should cull ranges not visible
       int len = highlights.size();
       for (int i = 0; i < len; i++) {
    HighlightInfo info = highlights.elementAt(i);
    if (!(info instanceof LayeredHighlightInfo)) {
	// Avoid allocing unless we need it.
	Rectangle a = component.getBounds();
	Insets insets = component.getInsets();
	a.x = insets.left;
	a.y = insets.top;
	a.width -= insets.left + insets.right;
	a.height -= insets.top + insets.bottom;
	for (; i < len; i++) {
	    info = highlights.elementAt(i);
	    if (!(info instanceof LayeredHighlightInfo)) {
		Highlighter.HighlightPainter p = info.getPainter();
		p.paint(g, info.getStartOffset(), info.getEndOffset(),
			a, component);
	    }
	}
    }
}
   }
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/**
    * Adds a highlight to the view.  Returns a tag that can be used 
    * to refer to the highlight.
    *
    * @param p0   the start offset of the range to highlight >= 0
    * @param p1   the end offset of the range to highlight >= p0
    * @param p    the painter to use to actually render the highlight
    * @return     an object that can be used as a tag
    *   to refer to the highlight
    * @exception BadLocationException if the specified location is invalid
    */
   public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter p) throws BadLocationException {
Document doc = component.getDocument();
HighlightInfo i = (getDrawsLayeredHighlights() &&
		   (p instanceof LayeredHighlighter.LayerPainter)) ?
                  new LayeredHighlightInfo() : new HighlightInfo();
i.painter = p;
i.p0 = doc.createPosition(p0);
i.p1 = doc.createPosition(p1);
       // For snippets, we want to make sure selection is layered ON TOP
       // since we add transparency to the selection color;  so rather
       // than append the highlight, we insert it in the front.
highlights.insertElementAt(i, 0);
       safeDamageRange(p0, p1);
       return i;
   }
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/**
 * Highlights the lines of the original file that contain detected errors.
 */
private void highlightErrorLines() {

	String text = originalFileDisplayTextArea.getText();
	String[] lines = text.split("\n");
	for (int i = 0; i < lines.length; i++)
	{
		if (lines[i].contains(" <ERROR #"))
		{
			try
			{
				int startIndex = originalFileDisplayTextArea.getLineStartOffset(i);
				int endIndex = originalFileDisplayTextArea.getLineEndOffset(i);
				Highlighter.HighlightPainter painter = new DefaultHighlighter.DefaultHighlightPainter(new Color(250, 170, 170));
				originalFileDisplayTextArea.getHighlighter().addHighlight(startIndex, endIndex, painter);
			}
			catch (BadLocationException ex)
			{
				ex.printStackTrace();
			}
		}
	}
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
public void highlightLocation(JTextComponent textComp, String location) {
	//Highlights a single location throughout the text
	Highlighter.HighlightPainter locationHighlighter= new MyHighlighPainter(Color.cyan);
	
	try{
		Highlighter highlighter= textComp.getHighlighter();
		highlighter.removeAllHighlights();
		Document doc = textComp.getDocument();
		String text = doc.getText(0, doc.getLength()).toUpperCase();
		int size= location.length();
		LinkedList<Integer> indeces= allIndeces(text, location.toUpperCase());
		for(int i=0; i<indeces.size(); i++){
			int index=indeces.get(i);
			highlighter.addHighlight(index, index+size, locationHighlighter);
		}
	}
	catch(Exception e){
		e.printStackTrace();
	}
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/**
 * Highlightet den Textbereich zwischen pos1 und pos2
 * 
 * @param pos1
 * @param pos2
 * 
 * @author Christoph Lutz (D-III-ITD-5.1)
 */
private void extraHighlight(int pos1, int pos2)
{
  Highlighter hl = compo.getHighlighter();
  try
  {
    if (extraHighlightTag == null)
    {
      Highlighter.HighlightPainter hp =
        new DefaultHighlighter.DefaultHighlightPainter(new Color(0xddddff));
      extraHighlightTag = hl.addHighlight(pos1, pos2, hp);
    }
    else
      hl.changeHighlight(extraHighlightTag, pos1, pos2);
  }
  catch (BadLocationException e1)
  {}
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/**
 * add highlights for the given region on the given pane
 *
 * @param pane Editor
 * @param start Start index
 * @param end End index
 * @param marker Marker
 */
public static void markText(JTextComponent pane, int start, int end, Highlighter.HighlightPainter marker) {
    try {
        Highlighter hiliter = pane.getHighlighter();
        int selStart = pane.getSelectionStart();
        int selEnd = pane.getSelectionEnd();
        // if there is no selection or selection does not overlap
        if (selStart == selEnd || end < selStart || start > selStart) {
            hiliter.addHighlight(start, end, marker);
            return;
        }
        // selection starts within the highlight, highlight before slection
        if (selStart > start && selStart < end) {
            hiliter.addHighlight(start, selStart, marker);
        }
        // selection ends within the highlight, highlight remaining
        if (selEnd > start && selEnd < end) {
            hiliter.addHighlight(selEnd, end, marker);
        }

    } catch (BadLocationException ex) {

    }
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
public void colorLine(int l)
{
    Highlighter.HighlightPainter redPainter =
            new DefaultHighlighter.DefaultHighlightPainter(Color.red);
    try
    {
        System.out.println(l);
        int startIndex = jta.getLineStartOffset(l);
        int endIndex = jta.getLineEndOffset(l);
        jta.getHighlighter().addHighlight(startIndex, endIndex, redPainter);
    }
    catch (BadLocationException ble)
    {
        System.err.println("Failed coloring editor line");
    }

}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
/*** Highlight index functions ***/

private void moveCursorDown() {
    if (currentHighlight != null) {
        textareaMessage.getHighlighter().removeHighlight(currentHighlight);
        currentHighlight = null;
    }
    
    try {
        selectIndex++;
        if (selectIndex >= myHighlights.size()) {
            selectIndex = 0;
        }
        SentinelHighlight nextHighlight = myHighlights.get(selectIndex);

        Highlighter.HighlightPainter painter = new DefaultHighlighter.DefaultHighlightPainter(Color.GRAY);
        currentHighlight = textareaMessage.getHighlighter().addHighlight(nextHighlight.getStart()-1, nextHighlight.getEnd()+1, painter);
        
        int o = nextHighlight.getStart();
        viewMessagePart(o, false);
        labelPosition.setText(Integer.toString(selectIndex + 1) + "/" + Integer.toString(myHighlights.size()));
    } catch (BadLocationException ex) {
        BurpCallbacks.getInstance().print("CANT HIGHLIGHT1");
    }
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
private void moveCursorUp() {
    if (currentHighlight != null) {
        textareaMessage.getHighlighter().removeHighlight(currentHighlight);
        currentHighlight = null;
    }
    
    try {
        selectIndex--;
        if (selectIndex < 0) {
            selectIndex = myHighlights.size() - 1;
        }
        SentinelHighlight nextHighlight = myHighlights.get(selectIndex);
        
        Highlighter.HighlightPainter painter = new DefaultHighlighter.DefaultHighlightPainter(Color.GRAY);
        currentHighlight = textareaMessage.getHighlighter().addHighlight(nextHighlight.getStart()-1, nextHighlight.getEnd()+1, painter);
        
        int o = nextHighlight.getStart();
        
        viewMessagePart(o, false);
        labelPosition.setText(Integer.toString(selectIndex + 1) + "/" + Integer.toString(myHighlights.size()));
    } catch (BadLocationException ex) {
        BurpCallbacks.getInstance().print("CANT HIGHLIGHT2");
    }
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
private void setHighlightedTokens(Iterable<Token> tokens, Highlighter.HighlightPainter painter) {
	for (Token token : tokens) {
		try {
			m_editor.getHighlighter().addHighlight(token.start, token.end, painter);
		} catch (BadLocationException ex) {
			throw new IllegalArgumentException(ex);
		}
	}
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
@Override
public void paint(Graphics g) {
    Highlighter.Highlight[] highlights = getHighlights();

    for (int i = 0; i < highlights.length; i++) {
        Highlighter.Highlight hl = highlights[i];
        Rectangle bg = component.getBounds();
        Insets insets = component.getInsets();
        bg.x = insets.left;
        bg.y = insets.top;
        bg.height = insets.top + insets.bottom;
        Highlighter.HighlightPainter painter = hl.getPainter();
        painter.paint(g, hl.getStartOffset(), hl.getEndOffset(), bg, component);
    }
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
private void highlightWords(Element element, String[] highlightedWords,
		Highlighter.HighlightPainter highlightPainter)
{
	if (element.isLeaf())
	{
		int startOffset = element.getStartOffset();
		try
		{
			String text = element.getDocument()
					.getText(element.getStartOffset(), element.getEndOffset() - startOffset).toLowerCase();
			for (String highlightedWord : highlightedWords)
			{
				for (int index = 0; index < text.length() - 1
						&& (index = text.indexOf(highlightedWord, index)) >= 0; index += highlightedWord.length()
								+ 1)
				{
					this.helpEditorPane.getHighlighter().addHighlight(startOffset + index,
							startOffset + index + highlightedWord.length(), highlightPainter);
				}
			}
		}
		catch (BadLocationException ex)
		{
			// Ignore unexpected exception
		}
	}
	else
	{
		for (int i = 0, n = element.getElementCount(); i < n; i++)
		{
			highlightWords(element.getElement(i), highlightedWords, highlightPainter);
		}
	}
}
 

import javax.swing.text.Highlighter; //導入方法依賴的package包/類
private void setHighlightedTokens(Iterable<Token> tokens, Highlighter.HighlightPainter painter) {
    for (Token token : tokens) {
        try {
            this.editor.getHighlighter().addHighlight(token.start, token.end, painter);
        } catch (BadLocationException ex) {
            throw new IllegalArgumentException(ex);
        }
    }
}