int caretScreenLine = getScreenLineOfOffset(caret); scrollDownPage(); newCaret = xToScreenLineOffset(caretScreenLine, magic,true);
int caretScreenLine = getScreenLineOfOffset(caret); scrollUpPage(); newCaret = xToScreenLineOffset(caretScreenLine, magic,true);
Clone fragments detected by clone detection tool
File path: /jEdit-4.2/src/org/gjt/sp/jedit/textarea/JEditTextArea.java File path: /jEdit-4.2/src/org/gjt/sp/jedit/textarea/JEditTextArea.java
Method name: void goToNextPage(boolean) Method name: void goToPrevPage(boolean)
Number of AST nodes: 3 Number of AST nodes: 3
1
int caretScreenLine = getScreenLineOfOffset(caret);
1
int caretScreenLine = getScreenLineOfOffset(caret);
2
			scrollDownPage();
2
			scrollUpPage();
3
			newCaret = xToScreenLineOffset(caretScreenLine,
3
			newCaret = xToScreenLineOffset(caretScreenLine,
4
				magic,true);
4
				magic,true);
Summary
Number of common nesting structure subtrees1
Number of refactorable cases0
Number of non-refactorable cases1
Time elapsed for finding largest common nesting structure subtrees (ms)0.0
Clones locationClones are declared in the same class
Number of node comparisons9
  1. {Non-refactorable}
    Mapping Summary
    Number of mapped statements3
    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
    9
    int caretScreenLine = getScreenLineOfOffset(caret);
    9
    int caretScreenLine = getScreenLineOfOffset(caret);
    10
    scrollDownPage();
    10
    scrollDownPage();
    10
    scrollUpPage();
    Differences
    Expression1Expression2Difference
    scrollDownPagescrollUpPageMETHOD_INVOCATION_NAME_MISMATCH
    Preondition Violations
    Expression scrollDownPage() cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression scrollUpPage() cannot be parameterized, because it has dependencies to/from statements that will be extracted
    Expression scrollDownPage() is a void method call, and thus it cannot be parameterized
    Expression scrollUpPage() is a void method call, and thus it cannot be parameterized
    10
    scrollUpPage();
    11
    newCaret = xToScreenLineOffset(caretScreenLine, magic, true);
    11
    newCaret = xToScreenLineOffset(caretScreenLine, magic, true);
    Precondition Violations (4)
    Row Violation
    1Expression scrollDownPage() cannot be parameterized, because it has dependencies to/from statements that will be extracted
    2Expression scrollUpPage() cannot be parameterized, because it has dependencies to/from statements that will be extracted
    3Expression scrollDownPage() is a void method call, and thus it cannot be parameterized
    4Expression scrollUpPage() is a void method call, and thus it cannot be parameterized