aboutsummaryrefslogtreecommitdiffstats
path: root/src/net/java/sip/communicator/plugin/spellcheck/DocUnderliner.java
blob: cb2221c94d997b7e9be68979f985b09d2a365993 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
/*
 * Jitsi, the OpenSource Java VoIP and Instant Messaging client.
 *
 * Distributable under LGPL license. See terms of license at gnu.org.
 */
package net.java.sip.communicator.plugin.spellcheck;

import java.awt.*;

import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;

import net.java.sip.communicator.util.*;

/**
 * Notifies subclasses when words are changed and lets them decide if text
 * should be underlined with a red squiggle. Text appended to the end isn't
 * formatted until the word's completed.
 *
 * @author Damian Johnson
 */
abstract class DocUnderliner
    implements DocumentListener
{
    private static final Logger logger = Logger.getLogger(DocUnderliner.class);

    private static final Color UNDERLINE_COLOR = new Color(255, 100, 100);

    private static final DefaultHighlighter.DefaultHighlightPainter UNDERLINER;

    private final Highlighter docHighlighter;

    private final CaretListener endChecker;

    private boolean isEnabled = true;

    static
    {
        UNDERLINER =
            new DefaultHighlighter.DefaultHighlightPainter(UNDERLINE_COLOR)
            {
                @Override
                public Shape paintLayer(Graphics g, int offs0, int offs1,
                    Shape area, JTextComponent comp, View view)
                {
                    Color color = getColor();
                    if (color == null)
                        g.setColor(comp.getSelectionColor());
                    else
                        g.setColor(color);

                    if (offs0 == view.getStartOffset()
                        && offs1 == view.getEndOffset())
                    {
                        // contained in view, can just use bounds
                        drawWavyLine(g, area.getBounds());
                        return area;
                    }
                    else
                    {
                        // should only render part of View
                        try
                        {
                            Shape shape =
                                view.modelToView(offs0, Position.Bias.Forward,
                                    offs1, Position.Bias.Backward, area);
                            drawWavyLine(g, shape.getBounds());
                            return shape.getBounds();
                        }
                        catch (BadLocationException exc)
                        {
                            String msg =
                                "Bad bounds (programmer error in spell checker)";
                            logger.error(msg, exc);
                            return area; // can't render
                        }
                    }
                }

                private void drawWavyLine(Graphics g, Rectangle bounds)
                {
                    int y = (int) (bounds.getY() + bounds.getHeight());
                    int x1 = (int) bounds.getX();
                    int x2 = (int) (bounds.getX() + bounds.getWidth());

                    boolean upperCurve = true;
                    for (int i = x1; i < x2 - 2; i += 3)
                    {
                        if (upperCurve)
                            g.drawArc(i, y - 2, 3, 3, 0, 180);
                        else
                            g.drawArc(i, y - 2, 3, 3, 180, 180);
                        upperCurve = !upperCurve;
                    }
                }
            };
    }

    {
        this.endChecker = new CaretListener()
        {
            private boolean atEnd = false;

            public void caretUpdate(CaretEvent event)
            {
                if (event.getSource() instanceof JTextComponent)
                {
                    JTextComponent comp = (JTextComponent) event.getSource();
                    Document doc = comp.getDocument();

                    boolean currentlyAtEnd = event.getDot() == doc.getLength();
                    if (isEnabled && this.atEnd && !currentlyAtEnd)
                    {
                        String text = comp.getText();
                        Word changed =
                            Word.getWord(text, text.length() - 1, false);
                        format(changed);
                        promptRepaint();
                    }

                    this.atEnd = currentlyAtEnd;
                }
            }
        };
    }

    /**
     * Queries to see if a word should be underlined. This is called on every
     * internal change and whenever a word's completed so it should be a
     * lightweight process.
     *
     * @param word word to be checked
     * @return true if the word should be underlined, false otherwise
     */
    abstract boolean getFormatting(String word);

    /**
     * Provides the index of the character the cursor is in front of.
     *
     * @return index of caret
     */
    abstract int getCaretPosition();

    /**
     * Prompts the text field to repaint.
     */
    abstract void promptRepaint();

    public static void main(String[] args)
    {
        // Basic demo that underlines words containing "foo"
        JFrame frame = new JFrame();
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);

        final JEditorPane editorPane = new JEditorPane();
        editorPane.setPreferredSize(new Dimension(400, 500));

        final DocUnderliner formatter =
            new DocUnderliner(editorPane.getHighlighter())
            {
                @Override
                boolean getFormatting(String word)
                {
                    return word.contains("foo");
                }

                @Override
                int getCaretPosition()
                {
                    return editorPane.getCaretPosition();
                }

                @Override
                void promptRepaint()
                {
                    editorPane.repaint();
                }
            };
        editorPane.getDocument().addDocumentListener(formatter);
        editorPane.addCaretListener(formatter.getEndChecker());

        frame.add(editorPane);
        frame.pack();
        frame.setVisible(true);
    }

    DocUnderliner(Highlighter docHighlighter)
    {
        this.docHighlighter = docHighlighter;
    }

    public void insertUpdate(DocumentEvent event)
    {
        if (!this.isEnabled)
            return;

        try
        {
            Document doc = event.getDocument();
            String text = doc.getText(0, doc.getLength());

            if (event.getLength() == 1)
            {
                char changeChar = text.charAt(event.getOffset());
                if (getCaretPosition() == text.length() - 1)
                {
                    if (!Character.isLetter(changeChar))
                    {
                        // finished last word
                        Word last = Word.getWord(text, text.length() - 1, true);
                        format(last);
                    }
                    else
                    {
                        // new character at end (ensure it isn't initially
                        // underlined)
                        clearUnderlining(event.getOffset(),
                            event.getOffset() + 1);
                    }
                }
                else
                {
                    if (Character.isLetter(changeChar))
                    {
                        // change within word
                        Word changed;
                        int previousIndex = Math.max(0, event.getOffset() - 1);
                        if (Character.isLetter(text.charAt(previousIndex)))
                            changed =
                                Word.getWord(text, event.getOffset(), true);
                        else
                            changed =
                                Word.getWord(text, event.getOffset(), false);
                        format(changed);
                    }
                    else
                    {
                        // dividing a word - need to check both sides
                        Word firstWord =
                            Word.getWord(text, event.getOffset(), true);
                        Word secondWord =
                            Word.getWord(text, event.getOffset() + 1, false);
                        format(firstWord);
                        format(secondWord);
                    }
                }
            }
            else
            {
                // pasting in a chunk of text (checks all words in modified
                // range)
                Word changed = Word.getWord(text, event.getOffset(), true);
                int wordStart = changed.getStart();
                while (wordStart < event.getOffset() + event.getLength())
                {
                    format(changed);
                    int end =
                        Math.min(changed.getStart()
                            + changed.getText().length() + 1, text.length());
                    changed = Word.getWord(text, end, false);
                    wordStart = end;
                }
            }
        }
        catch (BadLocationException exc)
        {
            String msg = "Bad bounds (programmer error in spell checker)";
            logger.error(msg, exc);
        }
        catch (Throwable exc)
        {
            logger.error("Error words processing", exc);
        }

        promptRepaint();
    }

    public void removeUpdate(DocumentEvent event)
    {
        if (!this.isEnabled)
            return;

        try
        {
            Document doc = event.getDocument();
            String text = doc.getText(0, doc.getLength());
            if (text.length() != 0)
            {
                Word changed;
                if (event.getOffset() == 0
                    || !Character.isLetter(text.charAt(event.getOffset() - 1)))
                {
                    changed = Word.getWord(text, event.getOffset(), false);
                }
                else
                {
                    changed = Word.getWord(text, event.getOffset() - 1, true);
                }

                format(changed);
            }

            promptRepaint();
        }
        catch (BadLocationException exc)
        {
            String msg = "Bad bounds (programmer error in spell checker)";
            logger.error(msg, exc);
        }
        catch (Throwable exc)
        {
            logger.error("Error words processing", exc);
        }
    }

    public void changedUpdate(DocumentEvent e)
    {
    }

    /**
     * Provides a listener that prompts the last word to be checked when the
     * cursor moves away from it.
     *
     * @return listener for caret position that formats last word when
     *         appropriate
     */
    public CaretListener getEndChecker()
    {
        return this.endChecker;
    }

    /**
     * Formats the word with the appropriate underlining (or lack thereof).
     *
     * @param word word to be formatted
     */
    public void format(Word word)
    {
        if (!this.isEnabled)
            return;

        String text = word.getText();
        if (text.length() > 0)
        {
            clearUnderlining(word.getStart(), word.getStart() + text.length());
            if (getFormatting(text))
                underlineRange(word.getStart(), word.getStart() + text.length());
        }
    }

    /**
     * Sets a range in the editor to be underlined.
     *
     * @param start start of range to be underlined
     * @param end end of range to be underlined
     */
    private void underlineRange(int start, int end)
    {
        if (end > start)
        {
            try
            {
                if (this.isEnabled)
                    this.docHighlighter.addHighlight(start, end, UNDERLINER);
            }
            catch (BadLocationException exc)
            {
                String msg = "Bad bounds (programmer error in spell checker)";
                logger.error(msg, exc);
            }
        }
    }

    /**
     * Clears any underlining that spans to include the given range. Since
     * formatting is defined by ranges this will likely clear more than the
     * defined range.
     *
     * @param start start of range in which to clear underlining
     * @param end end of range in which to clear underlining
     */
    private void clearUnderlining(int start, int end)
    {
        if (end > start)
        {
            // removes highlighting if visible
            if (this.isEnabled)
            {
                for (Highlighter.Highlight highlight : this.docHighlighter
                    .getHighlights())
                {
                    if ((highlight.getStartOffset() <= start && highlight
                        .getEndOffset() > start)
                        || (highlight.getStartOffset() < end && highlight
                            .getEndOffset() >= end))
                    {
                        this.docHighlighter.removeHighlight(highlight);
                    }
                }
            }
        }
    }

    public void setEnabled(boolean enable, String message)
    {
        if (this.isEnabled != enable)
        {
            this.isEnabled = enable;
            if (this.isEnabled)
                reset(message);
            else
                this.docHighlighter.removeAllHighlights();
            promptRepaint();
        }
    }

    /**
     * Clears underlining and re-evaluates message's contents
     *
     * @param message textual contents of document
     */
    public void reset(String message)
    {
        if (!this.isEnabled)
            return;

        // clears previous underlined sections
        this.docHighlighter.removeAllHighlights();

        // runs over message
        if (message.length() > 0)
        {
            Word changed = Word.getWord(message, 0, true);
            int wordStart = changed.getStart();
            while (wordStart < message.length())
            {
                format(changed);
                int end =
                    Math.min(changed.getStart() + changed.getText().length()
                        + 1, message.length());
                changed = Word.getWord(message, end, false);
                wordStart = end;
            }
        }

        promptRepaint();
    }
}