plainFont = UIManager.getFont("Tree.font");
if(plainFont == null)
plainFont = jEdit.getFontProperty("metal.secondary.font");
boldFont = new Font(plainFont.getName(),Font.BOLD,plainFont.getSize());
plainFont = UIManager.getFont("Tree.font");
if(plainFont == null)
plainFont = jEdit.getFontProperty("metal.secondary.font");
boldFont = new Font(plainFont.getName(),Font.BOLD,
plainFont.getSize());
Clone fragments detected by clone detection tool
File path: /jEdit-4.2/src/org/gjt/sp/jedit/browser/BrowserView.java
|
|
File path: /jEdit-4.2/src/org/gjt/sp/jedit/search/HyperSearchResults.java
|
Method name: void ParentDirectoryRenderer()
|
|
Method name: void ResultCellRenderer()
|
Number of AST nodes: 4
|
|
Number of AST nodes: 4
|
|
1 | plainFont = UIManager.getFont("Tree.font");↵ | | 1 | plainFont = UIManager.getFont("Tree.font");↵
|
2 | if(plainFont == null)↵ | | 2 | if(plainFont == null)↵
|
3 | plainFont = jEdit.getFontProperty("metal.secondary.font");↵ | | 3 | plainFont = jEdit.getFontProperty("metal.secondary.font");↵
|
4 | boldFont = new Font(plainFont.getName(),Font.BOLD,↵ | | 4 | boldFont = new Font(plainFont.getName(),Font.BOLD,↵
|
5 | plainFont.getSize()); | | 5 | plainFont.getSize());
|
See real code fragment |
|
See real code fragment |
Summary
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) | 0.2 |
Clones location | Clones are in different classes having the same super class |
Number of node comparisons | 7 |
-
{Refactorable}
Mapping Summary
Number of mapped statements | 4 |
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) | 1.9 |
Clone type | Type 1 |
Mapped Statements
ID |
Statement |
|
ID |
Statement |
1 | plainFont = UIManager.getFont("Tree.font"); | | 1 | plainFont = UIManager.getFont("Tree.font"); |
2 | if (plainFont == null) | | 2 | if (plainFont == null) |
3 | plainFont = jEdit.getFontProperty("metal.secondary.font"); | | 3 | plainFont = jEdit.getFontProperty("metal.secondary.font"); |
4 | boldFont = new Font(plainFont.getName(), Font.BOLD, plainFont.getSize()); | | 4 | boldFont = new Font(plainFont.getName(), Font.BOLD, plainFont.getSize()); |
Precondition Violations (0)
Row |
Violation |