setProperty(name,String.valueOf(value));
setProperty(name,String.valueOf(value));
Clone fragments detected by clone detection tool
File path: /jEdit-4.2/src/org/gjt/sp/jedit/jEdit.java File path: /jEdit-4.2/src/org/gjt/sp/jedit/jEdit.java
Method name: void setIntegerProperty(String, int) Method name: void setDoubleProperty(String, double)
Number of AST nodes: 1 Number of AST nodes: 1
1
setProperty(name,String.valueOf(value));
1
setProperty(name,String.valueOf(value));
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 comparisons1
  1. {Non-refactorable}
    Mapping Summary
    Number of mapped statements1
    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
    1
    setProperty(name, String.valueOf(value));
    1
    setProperty(name, String.valueOf(value));
    1
    setProperty(name, String.valueOf(value));
    Differences
    Expression1Expression2Difference
    intdoubleVARIABLE_TYPE_MISMATCH
    Preondition Violations
    Type int of variable value does not match with type double of variable value
    1
    setProperty(name, String.valueOf(value));
    Precondition Violations (1)
    Row Violation
    1Type int of variable value does not match with type double of variable value