File path: /jEdit-4.2/src/org/gjt/sp/jedit/gui/DockableWindowManager.java | File path: /jEdit-4.2/src/org/gjt/sp/jedit/gui/DockableWindowManager.java | |||
Method name: void setResizePos(int, PanelWindowContainer)
|
Method name: void setResizePos(int, PanelWindowContainer)
|
|||
Number of AST nodes: 4 | Number of AST nodes: 4 | |||
1 | resizePos = Math.min(resizePos,getHeight()↵ | 1 | resizePos = Math.min(resizePos,getWidth()↵ | |
2 | - top.buttonPanel.getHeight()↵ | 2 | - left.buttonPanel.getWidth()↵ | |
3 | - bottom.dockablePanel.getHeight()↵ | 3 | - right.dockablePanel.getWidth()↵ | |
4 | - bottom.buttonPanel.getHeight()↵ | 4 | - right.buttonPanel.getWidth()↵ | |
5 | - PanelWindowContainer.SPLITTER_WIDTH);↵ | 5 | - PanelWindowContainer.SPLITTER_WIDTH);↵ | |
6 | newResizeRect.x = top.dockablePanel.getX() + 1;↵ | 6 | newResizeRect.x = resizePos + left.buttonPanel.getWidth() + 1;↵ | |
7 | newResizeRect.y = resizePos + top.buttonPanel.getHeight() + 1;↵ | 7 | newResizeRect.y = left.dockablePanel.getY() + 1;↵ | |
8 | newResizeRect.width = top.dockablePanel.getWidth() - 2; | 8 | newResizeRect.height = left.dockablePanel.getHeight() - 2; | |
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) | 0.0 |
Clones location | Clones are in the same method |
Number of node comparisons | 16 |
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) | 0.0 |
Clone type | Type 2 |
ID | Statement | ID | Statement | |||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
6 | resizePos = Math.min(resizePos, getHeight() - top.buttonPanel.getHeight() - bottom.dockablePanel.getHeight() - bottom.buttonPanel.getHeight() - PanelWindowContainer.SPLITTER_WIDTH); |
| 11 | resizePos = Math.min(resizePos, getWidth() - left.buttonPanel.getWidth() - right.dockablePanel.getWidth() - right.buttonPanel.getWidth() - PanelWindowContainer.SPLITTER_WIDTH); | ||||||||||||||||||||||||||||
7 | newResizeRect.x = top.dockablePanel.getX() + 1; |
| 13 | newResizeRect.y = left.dockablePanel.getY() + 1; | ||||||||||||||||||||||||||||
8 | newResizeRect.y = resizePos + top.buttonPanel.getHeight() + 1; |
| 12 | newResizeRect.x = resizePos + left.buttonPanel.getWidth() + 1; | ||||||||||||||||||||||||||||
9 | newResizeRect.width = top.dockablePanel.getWidth() - 2; |
| 14 | newResizeRect.height = left.dockablePanel.getHeight() - 2; |
Row | Violation |
---|