File path: /jEdit-4.2/src/org/gjt/sp/jedit/Buffer.java | File path: /jEdit-4.2/src/org/gjt/sp/jedit/Buffer.java | |||
Method name: void undo(JEditTextArea)
|
Method name: void redo(JEditTextArea)
|
|||
Number of AST nodes: 13 | Number of AST nodes: 13 | |||
1 | if(undoMgr == null)↵ | 1 | if(undoMgr == null)↵ | |
2 | return;↵ | 2 | return;↵ | |
3 | if(!isEditable())↵ | 3 | if(!isEditable())↵ | |
4 | {↵ | 4 | {↵ | |
5 | textArea.getToolkit().beep();↵ | 5 | Toolkit.getDefaultToolkit().beep();↵ | |
6 | return;↵ | 6 | return;↵ | |
7 | }↵ | 7 | }↵ | |
8 | try↵ | 8 | try↵ | |
9 | {↵ | 9 | {↵ | |
10 | writeLock();↵ | 10 | writeLock();↵ | |
11 | setFlag(UNDO_IN_PROGRESS,true);↵ | 11 | setFlag(UNDO_IN_PROGRESS,true);↵ | |
12 | int caret = undoMgr.undo();↵ | 12 | int caret = undoMgr.redo();↵ | |
13 | if(caret == -1)↵ | 13 | if(caret == -1)↵ | |
14 | textArea.getToolkit().beep();↵ | 14 | textArea.getToolkit().beep();↵ | |
15 | else↵ | 15 | else↵ | |
16 | textArea.setCaretPosition(caret);↵ | 16 | textArea.setCaretPosition(caret);↵ | |
17 | fireTransactionComplete();↵ | 17 | fireTransactionComplete();↵ | |
18 | }↵ | 18 | }↵ | |
19 | finally↵ | 19 | finally↵ | |
20 | {↵ | 20 | {↵ | |
21 | setFlag(UNDO_IN_PROGRESS,false);↵ | 21 | setFlag(UNDO_IN_PROGRESS,false);↵ | |
22 | writeUnlock();↵ | 22 | writeUnlock();↵ | |
23 | } | 23 |
| |
See real code fragment | See real code fragment |
Number of common nesting structure subtrees | 1 |
Number of refactorable cases | 0 |
Number of non-refactorable cases | 1 |
Time elapsed for finding largest common nesting structure subtrees (ms) | 0.6 |
Clones location | Clones are declared in the same class |
Number of node comparisons | 54 |
Number of mapped statements | 13 |
Number of unmapped statements in the first code fragment | 0 |
Number of unmapped statements in the second code fragment | 0 |
Time elapsed for statement mapping (ms) | 3.8 |
Clone type | Type 2 |
ID | Statement | ID | Statement | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | if (undoMgr == null) | 1 | if (undoMgr == null) | |||||||||||||||
2 | return; | 2 | return; | |||||||||||||||
3 | if (!isEditable()) | 3 | if (!isEditable()) | |||||||||||||||
4 | textArea.getToolkit().beep(); |
| 4 | Toolkit.getDefaultToolkit().beep(); | ||||||||||||||
5 | return; | 5 | return; | |||||||||||||||
6 | try | 6 | try | |||||||||||||||
7 | writeLock(); | 7 | writeLock(); | |||||||||||||||
8 | setFlag(UNDO_IN_PROGRESS, true); | 8 | setFlag(UNDO_IN_PROGRESS, true); | |||||||||||||||
9 | int caret = undoMgr.undo(); |
| 9 | int caret = undoMgr.redo(); | ||||||||||||||
10 | if (caret == -1) | 10 | if (caret == -1) | |||||||||||||||
11 | textArea.getToolkit().beep(); | 11 | textArea.getToolkit().beep(); | |||||||||||||||
else | else | |||||||||||||||||
12 | textArea.setCaretPosition(caret); | 12 | textArea.setCaretPosition(caret); | |||||||||||||||
13 | fireTransactionComplete(); | 13 | fireTransactionComplete(); |
Row | Violation |
---|---|
1 | Type org.gjt.sp.jedit.textarea.JEditTextArea of variable textArea does not match with type java.awt.Toolkit of variable Toolkit |