File path: /jEdit-4.2/src/org/gjt/sp/jedit/View.java | File path: /jEdit-4.2/src/org/gjt/sp/jedit/View.java | |||
Method name: void processKeyEvent(KeyEvent, int)
|
Method name: void processKeyEvent(KeyEvent, int)
|
|||
Number of AST nodes: 8 | Number of AST nodes: 8 | |||
1 | if(inputHandler.isPrefixActive())↵ | 1 | if(inputHandler.isPrefixActive())↵ | |
2 | {↵ | 2 | {↵ | |
3 | if(getFocusOwner() instanceof JTextComponent)↵ | 3 | if(getFocusOwner() instanceof JTextComponent)↵ | |
4 | {↵ | 4 | {↵ | |
5 | prefixFocusOwner = getFocusOwner();↵ | 5 | prefixFocusOwner = getFocusOwner();↵ | |
6 | getTextArea().requestFocus();↵ | 6 | getTextArea().requestFocus();↵ | |
7 | }↵ | 7 | }↵ | |
8 | else if(focusOnTextArea)↵ | 8 | else if(focusOnTextArea)↵ | |
9 | {↵ | 9 | {↵ | |
10 | getTextArea().requestFocus();↵ | 10 | getTextArea().requestFocus();↵ | |
11 | }↵ | 11 | }↵ | |
12 | else↵ | 12 | else↵ | |
13 | {↵ | 13 | {↵ | |
14 | prefixFocusOwner = null;↵ | 14 | prefixFocusOwner = null;↵ | |
15 | }↵ | 15 | }↵ | |
16 | }↵ | 16 | }↵ | |
17 | else↵ | 17 | else↵ | |
18 | {↵ | 18 | {↵ | |
19 | prefixFocusOwner = null;↵ | 19 | prefixFocusOwner = null;↵ | |
20 | } | 20 | } | |
See real code fragment | See real code fragment |
Number of common nesting structure subtrees | 1 |
Number of refactorable cases | 1 |
Number of non-refactorable cases | 0 |
Time elapsed for finding largest common nesting structure subtrees (ms) | 1.5 |
Clones location | Clones are in the same method |
Number of node comparisons | 32 |
Number of mapped statements | 8 |
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 1 |
ID | Statement | ID | Statement | |
---|---|---|---|---|
28 | if (inputHandler.isPrefixActive()) | 54 | if (inputHandler.isPrefixActive()) | |
29 | if (getFocusOwner() instanceof JTextComponent) | 55 | if (getFocusOwner() instanceof JTextComponent) | |
30 | prefixFocusOwner = getFocusOwner(); | 56 | prefixFocusOwner = getFocusOwner(); | |
31 | getTextArea().requestFocus(); | 57 | getTextArea().requestFocus(); | |
32 | else if (focusOnTextArea) | 58 | else if (focusOnTextArea) | |
33 | getTextArea().requestFocus(); | 59 | getTextArea().requestFocus(); | |
else | else | |||
34 | prefixFocusOwner = null; | 60 | prefixFocusOwner = null; | |
else | else | |||
35 | prefixFocusOwner = null; | 61 | prefixFocusOwner = null; |
Row | Violation |
---|