resizePos = Math.min(resizePos,getHeight() - bottom.buttonPanel.getHeight() - top.dockablePanel.getHeight() - top.buttonPanel.getHeight() - PanelWindowContainer.SPLITTER_WIDTH); newResizeRect.x = bottom.dockablePanel.getX() + 1; newResizeRect.y = getHeight() - bottom.buttonPanel.getHeight() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 2; newResizeRect.width = bottom.dockablePanel.getWidth() - 2;
resizePos = Math.min(resizePos,getWidth() - right.buttonPanel.getWidth() - left.dockablePanel.getWidth() - left.buttonPanel.getWidth() - PanelWindowContainer.SPLITTER_WIDTH); newResizeRect.x = getWidth() - right.buttonPanel.getWidth() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 1; newResizeRect.y = right.dockablePanel.getY() + 1; newResizeRect.height = right.dockablePanel.getHeight() - 2;
Clone fragments detected by clone detection tool
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;
Summary
Number of common nesting structure subtrees1
Number of refactorable cases1
Number of non-refactorable cases0
Time elapsed for finding largest common nesting structure subtrees (ms)0.0
Clones locationClones are in the same method
Number of node comparisons16
  1. {Refactorable}
    Mapping Summary
    Number of mapped statements4
    Number of unmapped statements in the first code fragment0
    Number of unmapped statements in the second code fragment0
    Time elapsed for statement mapping (ms)0.0
    Clone typeType 2
    Mapped Statements
    ID Statement ID Statement
    16
    resizePos = Math.min(resizePos, getHeight() - bottom.buttonPanel.getHeight() - top.dockablePanel.getHeight() - top.buttonPanel.getHeight() - PanelWindowContainer.SPLITTER_WIDTH);
    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);
    Differences
    Expression1Expression2Difference
    getHeightgetWidthMETHOD_INVOCATION_NAME_MISMATCH
    topleftVARIABLE_NAME_MISMATCH
    getHeightgetWidthMETHOD_INVOCATION_NAME_MISMATCH
    topleftVARIABLE_NAME_MISMATCH
    getHeightgetWidthMETHOD_INVOCATION_NAME_MISMATCH
    getHeightgetWidthMETHOD_INVOCATION_NAME_MISMATCH
    bottomrightVARIABLE_NAME_MISMATCH
    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;
    17
    newResizeRect.x = bottom.dockablePanel.getX() + 1;
    23
    newResizeRect.y = right.dockablePanel.getY() + 1;
    Differences
    Expression1Expression2Difference
    xyVARIABLE_NAME_MISMATCH
    getXgetYMETHOD_INVOCATION_NAME_MISMATCH
    bottomrightVARIABLE_NAME_MISMATCH
    23
    newResizeRect.y = right.dockablePanel.getY() + 1;
    18
    newResizeRect.y = getHeight() - bottom.buttonPanel.getHeight() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 2;
    18
    newResizeRect.y = getHeight() - bottom.buttonPanel.getHeight() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 2;
    22
    newResizeRect.x = getWidth() - right.buttonPanel.getWidth() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 1;
    Differences
    Expression1Expression2Difference
    yxVARIABLE_NAME_MISMATCH
    getHeightgetWidthMETHOD_INVOCATION_NAME_MISMATCH
    getHeightgetWidthMETHOD_INVOCATION_NAME_MISMATCH
    bottomrightVARIABLE_NAME_MISMATCH
    21LITERAL_VALUE_MISMATCH
    22
    newResizeRect.x = getWidth() - right.buttonPanel.getWidth() - resizePos - PanelWindowContainer.SPLITTER_WIDTH + 1;
    19
    newResizeRect.width = bottom.dockablePanel.getWidth() - 2;
    19
    newResizeRect.width = bottom.dockablePanel.getWidth() - 2;
    24
    newResizeRect.height = right.dockablePanel.getHeight() - 2;
    Differences
    Expression1Expression2Difference
    widthheightVARIABLE_NAME_MISMATCH
    getWidthgetHeightMETHOD_INVOCATION_NAME_MISMATCH
    bottomrightVARIABLE_NAME_MISMATCH
    24
    newResizeRect.height = right.dockablePanel.getHeight() - 2;
    Precondition Violations (0)
    Row Violation