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 | - bottom.buttonPanel.getHeight()↵ | 2 | - right.buttonPanel.getWidth()↵ | |
3 | - top.dockablePanel.getHeight()↵ | 3 | - left.dockablePanel.getWidth()↵ | |
4 | - top.buttonPanel.getHeight()↵ | 4 | - left.buttonPanel.getWidth()↵ | |
5 | - PanelWindowContainer.SPLITTER_WIDTH);↵ | 5 | - PanelWindowContainer.SPLITTER_WIDTH);↵ | |
6 | newResizeRect.x = bottom.dockablePanel.getX() + 1;↵ | 6 | newResizeRect.x = ↵ | |
7 | newResizeRect.y = getHeight() - bottom.buttonPanel.getHeight() - resizePos↵ | 7 | getWidth() - right.buttonPanel.getWidth() - resizePos↵ | |
8 | - PanelWindowContainer.SPLITTER_WIDTH + 2;↵ | 8 | - PanelWindowContainer.SPLITTER_WIDTH + 1;↵ | |
9 | newResizeRect.width = bottom↵ | 9 | newResizeRect.y = right.dockablePanel.getY() + 1;↵ | |
10 | .dockablePanel.getWidth() - 2; | 10 | newResizeRect.height = right.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 | |||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
16 | resizePos = Math.min(resizePos, getHeight() - bottom.buttonPanel.getHeight() - top.dockablePanel.getHeight() - top.buttonPanel.getHeight() - PanelWindowContainer.SPLITTER_WIDTH); |
| 21 | resizePos = Math.min(resizePos, getWidth() - right.buttonPanel.getWidth() - left.dockablePanel.getWidth() - left.buttonPanel.getWidth() - PanelWindowContainer.SPLITTER_WIDTH); | ||||||||||||||||||||||||||||
17 | newResizeRect.x = bottom.dockablePanel.getX() + 1; |
| 23 | newResizeRect.y = right.dockablePanel.getY() + 1; | ||||||||||||||||||||||||||||
18 | newResizeRect.y = getHeight() - bottom.buttonPanel.getHeight() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 2; |
| 22 | newResizeRect.x = getWidth() - right.buttonPanel.getWidth() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 1; | ||||||||||||||||||||||||||||
19 | newResizeRect.width = bottom.dockablePanel.getWidth() - 2; |
| 24 | newResizeRect.height = right.dockablePanel.getHeight() - 2; |
Row | Violation |
---|