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 validateEReference_ConsistentOpposite(EReference, 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 | ↵ | 3 | {↵ | |
4 | return false;↵ | 4 | return false;↵ | |
5 | }↵ | 5 | }↵ | |
6 | else↵ | 6 | else↵ | |
7 | {↵ | 7 | ↵ | |
8 | ↵ | 8 | {↵ | |
9 | result = false;↵ | 9 | result = false;↵ | |
10 | diagnostics.add↵ | 10 | diagnostics.add↵ | |
11 | (createDiagnostic↵ | 11 | (createDiagnostic↵ | |
12 | (Diagnostic.ERROR,↵ | 12 | (Diagnostic.ERROR,↵ | |
13 | DIAGNOSTIC_SOURCE,↵ | 13 | DIAGNOSTIC_SOURCE,↵ | |
14 | CONSISTENT_OPPOSITE_NOT_FROM_TYPE,↵ | 14 | CONSISTENT_↵ | |
15 | "_UI_EReferenceOppositeNotFeatureOf↵ | 15 | SUPER_TYPES_DUPLICATE,↵ | |
16 | Type_diagnostic",↵ | 16 | "_UI_EClassNoDuplicateSuperTypes_diagnostic",↵ | |
17 | null,↵ | 17 | ↵ | |
18 | ↵ | 18 | new Object [] { eGenericSuperTypes.indexOf(eGenericSuperType), index },↵ | |
19 | new Object[] { eReference, eOpposite, eType },↵ | 19 | new Object[] { eClass, eGenericSuperType, eGenericSuperTypes.get(index) },↵ | |
20 | context));↵ | 20 | context));↵ | |
21 | } | 21 |
| |
See real code fragment | See real code fragment |
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.2 |
Clones location | Clones are declared in the same class |
Number of node comparisons | 17 |
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) | 1.4 |
Clone type | Type 2 |
ID | Statement | ID | Statement | |||||||
---|---|---|---|---|---|---|---|---|---|---|
15 | if (diagnostics == null) | 9 | if (diagnostics == null) | |||||||
16 | return false; |
| 10 | return false; | ||||||
else | else | |||||||||
17 | result = false; | 11 | result = false; | |||||||
|
| 12 | diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_SUPER_TYPES_DUPLICATE, "_UI_EClassNoDuplicateSuperTypes_diagnostic", new Object[] {eGenericSuperTypes.indexOf(eGenericSuperType), index}, new Object[] {eClass, eGenericSuperType, eGenericSuperTypes.get(index)}, context)); | |||||||
18 | diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_OPPOSITE_NOT_FROM_TYPE, "_UI_EReferenceOppositeNotFeatureOfType_diagnostic", null, new Object[] {eReference, eOpposite, eType}, context)); |
| |
Row | Violation |
---|---|
1 | Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,CONSISTENT_SUPER_TYPES_DUPLICATE,"_UI_EClassNoDuplicateSuperTypes_diagnostic",new Object[]{eGenericSuperTypes.indexOf(eGenericSuperType),index},new Object[]{eClass,eGenericSuperType,eGenericSuperTypes.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_OPPOSITE_NOT_FROM_TYPE,"_UI_EReferenceOppositeNotFeatureOfType_diagnostic",null,new Object[]{eReference,eOpposite,eType},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; |