public void highlight(JTextComponent textComp, String pattern) {
if (pattern.isEmpty()) {
textComp.getHighlighter().removeAllHighlights();
return;
}
try {
Highlighter hilite = textComp.getHighlighter();
hilite.removeAllHighlights();
javax.swing.text.Document doc = textComp.getDocument();
String text = doc.getText(0, doc.getLength());
int pos = 0;
if (!check.isSelected()) {
pattern = pattern.toLowerCase();
text = text.toLowerCase();
}
// Search for pattern
while ((pos = text.indexOf(pattern, pos)) >= 0) {
// Create highlighter using private painter and apply around
// pattern
hilite.addHighlight(pos, pos + pattern.length(), painter);
pos += pattern.length();
}
} catch (Exception e) {
new the.bytecode.club.bytecodeviewer.api.ExceptionUI(e);
}
}
public void mouseReleased(MouseEvent me) {
try {
JTextComponent c = ((JTextComponent) me.getSource());
Object obj = c.getHighlighter().addHighlight(0, 0, painter);
c.putClientProperty(LINE_HIGHLIGHT, obj);
} catch (BadLocationException ex) {
}
}
/**
* Remove all the Highlights from a JTextComponent
*
* @param component Instance of JTextComponent
*/
public void removeHighlights(JTextComponent component) {
Highlighter hilite = component.getHighlighter();
Highlighter.Highlight[] hilites = hilite.getHighlights();
for (int i = 0; i < hilites.length; i++) {
if (hilites[i].getPainter() instanceof HighlightText) {
hilite.removeHighlight(hilites[i]);
}
}
}
/**
* Highlight a string in a JTextComponent
*
* @param component Instance of JTextComponent
* @param start Start position to be highlighted
* @param end End position to be highlighted
*/
public void highlightFromTo(JTextComponent component, int start, int end) {
try {
Highlighter hilite = component.getHighlighter();
hilite.addHighlight(start, end, this);
} catch (BadLocationException e) {
System.out.println(e.getMessage());
System.err.println(e.getMessage());
}
}
public void clear(JTextComponent comp) {
Highlighter h = comp.getHighlighter();
for (Object o : objects) {
h.removeHighlight(o);
}
objects.clear();
}
// Installs CurrentLineHilighter for the given JTextComponent
public static void install(JTextComponent c) {
try {
Object obj = c.getHighlighter().addHighlight(0, 0, painter);
c.putClientProperty(LINE_HIGHLIGHT, obj);
c.addCaretListener(caretListener);
c.addMouseListener(mouseListener);
} catch (BadLocationException ex) {
}
}
private void paintHighlights(Graphics g, Shape shape) {
if (container instanceof JTextComponent) {
JTextComponent tc = (JTextComponent) container;
Highlighter h = tc.getHighlighter();
if (h instanceof LayeredHighlighter) {
((LayeredHighlighter) h)
.paintLayeredHighlights(g, getStartOffset(), getEndOffset(), shape, tc, this);
}
}
}
/**
* Highlight a string in a JifTextComponent
*
* @param component Instance of JifTextComponent
* @param pattern String to be highlighted
*/
public void highlight(JTextComponent component, String pattern) {
try {
Highlighter hilite = component.getHighlighter();
String text = jif.getText();
int pos = 0;
while ((pos = text.indexOf(pattern, pos)) >= 0) {
hilite.addHighlight(pos, pos + pattern.length(), this);
pos += pattern.length();
}
} catch (BadLocationException e) {
System.out.println(e.getMessage());
System.err.println(e.getMessage());
}
}
/**
* Evidenzia le parole di un testo
*
* @param jtc JTextComponent da modificare
* @param al ArrayList contententi le stringa da evidenziare
* @return jtc JTextComponent modificato
*/
private JTextComponent setHighlightText(JTextComponent jtc, ArrayList<String> al) {
try {
Highlighter hilite = jtc.getHighlighter();
Document doc = jtc.getDocument();
String text = doc.getText(0, doc.getLength());
int pos = 0;
for (int i = 0; i < al.size(); i++) {
while ((pos = text.indexOf(al.get(i), pos)) >= 0) {
if (text.charAt(pos + al.get(i).length()) == ' ' && text.charAt(pos - 1) == ' ')
hilite.addHighlight(pos, pos + al.get(i).length(), highlightPainter[0]);
pos += al.get(i).length();
}
}
} catch (BadLocationException e) {
System.out.println("Exception tabTextFile: " + e.getMessage());
return null;
}
return jtc;
}
public void addHilight(JTextComponent comp, int fromOffset, int toOffset)
throws BadLocationException {
objects.add(comp.getHighlighter().addHighlight(fromOffset, toOffset, this));
}
