11436-5-10

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)); }
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)); }

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 validateEClass_ConsistentSuperTypes(EClass, DiagnosticChain, Map)` |  | Method name: `boolean validateEGenericType_ConsistentArguments(EGenericType, 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_SUPER_TYPES_CONFLICT,↵

12

                       CONSISTENT_↵

13

                       "_UI_EClassConsistentSuperTypes↵

13

    ARGUMENTS_INVALID_SUBSTITUTION,↵

14

    _diagnostic",↵

14

                       "_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic",↵

15

     ↵

15

                       new Object [] { getObjectLabel(eClassifier, context)↵

16

                        new Object [] ↵

17

                        { ↵

18

                          getObjectLabel(eTypeArgument, context), ↵

19

                          getObjectLabel(eTypeParameter, context) ↵

16

     },↵

20

                        },↵

17

                       new Object[] { eClass, eGenericSuperType,  eAllGenericSuperTypes.get(index) },↵

21

                       new Object[] { eGenericType, eTypeArgument, eTypeParameter },↵

18

                       context));↵

22

                       context));↵

23

        ↵

19

                }

24

                }

See real code fragment |  | See real code fragment

Summary
Number of common nesting structure subtrees | 1
Number of refactorable cases | 0
Number of non-refactorable cases | 1
Time elapsed for finding largest common nesting structure subtrees (ms) | 0.1
Clones location | Clones are declared in the same class
Number of node comparisons | 18

1. {Non-refactorable}

   Mapping Summary
   Number of mapped statements | 3
   Number of unmapped statements in the first code fragment | 1
   Number of unmapped statements in the second code fragment | 1
   Time elapsed for statement mapping (ms) | 2.4
   Clone type | Type 2

   Mapped Statements
   ID | Statement |  | ID | Statement
   --- | --- | --- | --- | ---

   22

       if (diagnostics == null)

   30

       if (diagnostics == null)

   23

       return false;

   23 | return false;
   31 | return false;

   Preondition Violations
   Conditional return false;
   Conditional return false;

   31

       return false;

       else

       else

   24

       result = false;

   32

       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));

   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

   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

   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));

   Precondition Violations (4)
   Row | Violation
   --- | ---
   1 | 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
   2 | 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
   3 | Conditional return false;
   4 | Conditional return false;