if (diagnostics == null) { return false; } else { result = false; diagnostics.add (createDiagnostic (Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION, "_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic", new Object [] { getObjectLabel(eTypeArgument, context), getObjectLabel(eTypeParameter, context) }, new Object[] { eGenericType, eTypeArgument, eTypeParameter }, context)); }
if (diagnostics == null) { return false; } else { result = false; diagnostics.add (createDiagnostic (Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_SUPER_TYPES_CONFLICT, "_UI_EClassConsistentSuperTypes_diagnostic", new Object [] { getObjectLabel(eClassifier, context) }, new Object[] { eClass, eGenericSuperType, eAllGenericSuperTypes.get(index) }, context)); }
Clone fragments detected by clone detection tool
File path: /emf-2.4.1/src/org/eclipse/emf/ecore/util/EcoreValidator.java File path: /emf-2.4.1/src/org/eclipse/emf/ecore/util/EcoreValidator.java
Method name: boolean validateEGenericType_ConsistentArguments(EGenericType, DiagnosticChain, Map) Method name: boolean validateEClass_ConsistentSuperTypes(EClass, DiagnosticChain, Map)
Number of AST nodes: 4 Number of AST nodes: 4
1
if (diagnostics == null)
1
if (diagnostics == null)
2
            {
2
            {
3
              return false;
3
              return false;
4
            }
4
            }
5
            else
5
            else
6
            {
6
            {
7
              result = false;
7
              result = false;
8
              diagnostics.add
8
              diagnostics.add
9
                (createDiagnostic
9
                (createDiagnostic
10
                  (Diagnostic.ERROR,
10
                  (Diagnostic.ERROR,
11
                   DIAGNOSTIC_SOURCE,
11
                   DIAGNOSTIC_SOURCE,
12
                   CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION,
12
                   CONSISTENT_
13
                   "_UI_EGenericTypeArgumentInvalidSubstitution
13
SUPER_TYPES_CONFLICT,
14
_diagnostic", 
14
                   "_UI_EClassConsistentSuperTypes_diagnostic",
15
 
16
                   new Object [] 
15
                   new Object [] 
17
                    { 
18
                      getObjectLabel(eTypeArgument, context), 
19
                      getObjectLabel(eTypeParameter, context) 
20
                    },
16
{ getObjectLabel(eClassifier, context) },
21
                   new Object[] { eGenericType, eTypeArgument, eTypeParameter },
17
                   new Object[] { eClass, eGenericSuperType,  eAllGenericSuperTypes.get(index) },
22
                   context));
18
                   context));
23
    
24
            }
19
            }
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.1
Clones locationClones are declared in the same class
Number of node comparisons18
  1. {Non-refactorable}
    Mapping Summary
    Number of mapped statements3
    Number of unmapped statements in the first code fragment1
    Number of unmapped statements in the second code fragment1
    Time elapsed for statement mapping (ms)1.5
    Clone typeType 2
    Mapped Statements
    ID Statement ID Statement
    30
    if (diagnostics == null)
    22
    if (diagnostics == null)
    31
    return false;
    31
    return false;
    23
    return false;
    Preondition Violations
    Conditional return false;
    Conditional return false;
    23
    return false;
    else
    else
    32
    result = false;
    24
    result = false;
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    
    25
    diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_SUPER_TYPES_CONFLICT, "_UI_EClassConsistentSuperTypes_diagnostic", new Object[] {getObjectLabel(eClassifier, context)}, new Object[] {eClass, eGenericSuperType, eAllGenericSuperTypes.get(index)}, context));
    Preondition Violations
    Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,CONSISTENT_SUPER_TYPES_CONFLICT,"_UI_EClassConsistentSuperTypes_diagnostic",new Object[]{getObjectLabel(eClassifier,context)},new Object[]{eClass,eGenericSuperType,eAllGenericSuperTypes.get(index)},context)); cannot be moved before the extracted code, because it has control dependencies from statements that will be extracted
    25
    diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_SUPER_TYPES_CONFLICT, "_UI_EClassConsistentSuperTypes_diagnostic", new Object[] {getObjectLabel(eClassifier, context)}, new Object[] {eClass, eGenericSuperType, eAllGenericSuperTypes.get(index)}, context));
    33
    diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION, "_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic", new Object[] {getObjectLabel(eTypeArgument, context), getObjectLabel(eTypeParameter, context)}, new Object[] {eGenericType, eTypeArgument, eTypeParameter}, context));
    33
    diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION, "_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic", new Object[] {getObjectLabel(eTypeArgument, context), getObjectLabel(eTypeParameter, context)}, new Object[] {eGenericType, eTypeArgument, eTypeParameter}, context));
    Preondition Violations
    Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION,"_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic",new Object[]{getObjectLabel(eTypeArgument,context),getObjectLabel(eTypeParameter,context)},new Object[]{eGenericType,eTypeArgument,eTypeParameter},context)); cannot be moved before the extracted code, because it has control dependencies from statements that will be extracted
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    
    Precondition Violations (4)
    Row Violation
    1Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,CONSISTENT_SUPER_TYPES_CONFLICT,"_UI_EClassConsistentSuperTypes_diagnostic",new Object[]{getObjectLabel(eClassifier,context)},new Object[]{eClass,eGenericSuperType,eAllGenericSuperTypes.get(index)},context)); cannot be moved before the extracted code, because it has control dependencies from statements that will be extracted
    2Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION,"_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic",new Object[]{getObjectLabel(eTypeArgument,context),getObjectLabel(eTypeParameter,context)},new Object[]{eGenericType,eTypeArgument,eTypeParameter},context)); cannot be moved before the extracted code, because it has control dependencies from statements that will be extracted
    3Conditional return false;
    4Conditional return false;