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 validateEClassifier_UniqueTypeParameterNames(EClassifier, DiagnosticChain, Map
|
Method name: boolean validateEReference_ConsistentOpposite(EReference, DiagnosticChain, Map
|
|||
Number of AST nodes: 5 | 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 | ETypeParameter otherETypeParameter = eTypeParameters.get(index);↵ | |||
9 | diagnostics.add↵ | 8 | diagnostics.add↵ | |
10 | (createDiagnostic↵ | 9 | (createDiagnostic↵ | |
11 | (Diagnostic.ERROR,↵ | 10 | (Diagnostic.ERROR,↵ | |
12 | DIAGNOSTIC_SOURCE,↵ | 11 | DIAGNOSTIC_SOURCE,↵ | |
13 | UNIQUE_TYPE_PARAMETER_NAMES,↵ | 12 | CONSISTENT_OPPOSITE_NOT_MATCHING,↵ | |
14 | "_UI_UniqueTypeParameterNames_diagnostic", ↵ | 13 | "_UI_EReferenceOppositeOfOppositeInconsistent_diagnostic",↵ | |
15 | new Object[] { name },↵ | 14 | null,↵ | |
16 | new Object[] { eClassifier, eTypeParameter, otherETypeParameter },↵ | 15 | new Object[] { eReference, eOpposite, oppositeEOpposite },↵ | |
17 | context));↵ | 16 | context));↵ | |
18 | } | 17 |
| |
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 | 21 |
Number of mapped statements | 3 |
Number of unmapped statements in the first code fragment | 2 |
Number of unmapped statements in the second code fragment | 1 |
Time elapsed for statement mapping (ms) | 1.3 |
Clone type | Type 3 |
ID | Statement | ID | Statement | ||||
---|---|---|---|---|---|---|---|
9 | if (diagnostics == null) | 7 | if (diagnostics == null) | ||||
10 | return false; | 8 | return false; | ||||
else | else | ||||||
11 | result = false; | 9 | result = false; | ||||
|
| 10 | diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, CONSISTENT_OPPOSITE_NOT_MATCHING, "_UI_EReferenceOppositeOfOppositeInconsistent_diagnostic", null, new Object[] {eReference, eOpposite, oppositeEOpposite}, context)); | ||||
12 | ETypeParameter otherETypeParameter = eTypeParameters.get(index); | | |||||
13 | diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, UNIQUE_TYPE_PARAMETER_NAMES, "_UI_UniqueTypeParameterNames_diagnostic", new Object[] {name}, new Object[] {eClassifier, eTypeParameter, otherETypeParameter}, context)); |
| |
Row | Violation |
---|---|
1 | Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,CONSISTENT_OPPOSITE_NOT_MATCHING,"_UI_EReferenceOppositeOfOppositeInconsistent_diagnostic",null,new Object[]{eReference,eOpposite,oppositeEOpposite},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,UNIQUE_TYPE_PARAMETER_NAMES,"_UI_UniqueTypeParameterNames_diagnostic",new Object[]{name},new Object[]{eClassifier,eTypeParameter,otherETypeParameter},context)); cannot be moved before the extracted code, because it has control dependencies from statements that will be extracted |