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 validateEOperation_UniqueParameterNames(EOperation, DiagnosticChain, Map
|
|||
Number of AST nodes: 4 | Number of AST nodes: 5 | |||
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 | ↵ | 10 | EParameter otherEParameter = eParameters.get(index);↵ | |
11 | diagnostics.add↵ | 11 | diagnostics.add↵ | |
12 | (createDiagnostic↵ | 12 | (createDiagnostic↵ | |
13 | (Diagnostic.ERROR,↵ | 13 | (Diagnostic.ERROR,↵ | |
14 | DIAGNOSTIC_SOURCE,↵ | 14 | DIAGNOSTIC_SOURCE,↵ | |
15 | CONSISTENT_ARGUMENTS_INVALID_SUBSTITUTION,↵ | 15 | UNIQUE_PARAMETER_NAMES,↵ | |
16 | "_UI_EGenericTypeArgumentInvalidSubstitution_diagnostic", ↵ | 16 | "_UI_EOperationUniqueParameterNames_diagnostic", ↵ | |
17 | new Object [] ↵ | 17 | new Object[] ↵ | |
18 | { ↵ | |||
19 | getObjectLabel(eTypeArgument, context), ↵ | |||
20 | getObjectLabel(eTypeParameter, context) ↵ | |||
21 | },↵ | 18 | { name },↵ | |
22 | new Object[] { eGenericType, eTypeArgument, eTypeParameter },↵ | 19 | new Object[] { eOperation, eParameter, otherEParameter },↵ | |
23 | context));↵ | 20 | context));↵ | |
24 | ↵ | 21 | ↵ | |
25 | } | 22 |
| |
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 | 1 |
Number of unmapped statements in the second code fragment | 2 |
Time elapsed for statement mapping (ms) | 1.7 |
Clone type | Type 3 |
ID | Statement | ID | Statement | ||||
---|---|---|---|---|---|---|---|
30 | if (diagnostics == null) | 9 | if (diagnostics == null) | ||||
31 | return false; | 10 | return false; | ||||
else | else | ||||||
32 | result = false; | 11 | result = false; | ||||
| 12 | EParameter otherEParameter = eParameters.get(index); | |||||
|
| 13 | diagnostics.add(createDiagnostic(Diagnostic.ERROR, DIAGNOSTIC_SOURCE, UNIQUE_PARAMETER_NAMES, "_UI_EOperationUniqueParameterNames_diagnostic", new Object[] {name}, new Object[] {eOperation, eParameter, otherEParameter}, 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)); |
| |
Row | Violation |
---|---|
1 | Unmatched statement diagnostics.add(createDiagnostic(Diagnostic.ERROR,DIAGNOSTIC_SOURCE,UNIQUE_PARAMETER_NAMES,"_UI_EOperationUniqueParameterNames_diagnostic",new Object[]{name},new Object[]{eOperation,eParameter,otherEParameter},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 |