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 validateEDataType(EDataType, DiagnosticChain, Map
|
Method name: boolean validateEGenericType(EGenericType, DiagnosticChain, Map
|
|||
Number of AST nodes: 15 | Number of AST nodes: 15 | |||
1 | boolean result = validate_EveryMultiplicityConforms(eDataType, diagnostics, context);↵ | 1 | boolean result = validate_EveryMultiplicityConforms(eGenericType, diagnostics, context);↵ | |
2 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(eDataType, diagnostics, context);↵ | 2 | if (result || diagnostics != null) result &= validate_EveryDataValueConforms(eGenericType, diagnostics, context);↵ | |
3 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(eDataType, diagnostics, context);↵ | 3 | if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(eGenericType, diagnostics, context);↵ | |
4 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(eDataType, diagnostics, context);↵ | 4 | if (result || diagnostics != null) result &= validate_EveryProxyResolves(eGenericType, diagnostics, context);↵ | |
5 | if (result || diagnostics != null) result &= validate_UniqueID(eDataType, diagnostics, context);↵ | 5 | if (result || diagnostics != null) result &= validate_UniqueID(eGenericType, diagnostics, context);↵ | |
6 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(eDataType, diagnostics, context);↵ | 6 | if (result || diagnostics != null) result &= validate_EveryKeyUnique(eGenericType, diagnostics, context);↵ | |
7 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(eDataType, diagnostics, context);↵ | 7 | if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(eGenericType, diagnostics, context);↵ | |
8 | if (result || diagnostics != null) result &= validateENamedElement_WellFormedName(eDataType, diagnostics, context); | 8 | if (result || diagnostics != null) result &= validateEGenericType_ConsistentType(eGenericType, diagnostics, context); | |
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) | 3.8 |
Clones location | Clones are declared in the same class |
Number of node comparisons | 134 |
Number of mapped statements | 14 |
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) | 402.6 |
Clone type | Type 2 |
ID | Statement | ID | Statement | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | boolean result = validate_EveryMultiplicityConforms(eDataType, diagnostics, context); |
| 1 | boolean result = validate_EveryMultiplicityConforms(eGenericType, diagnostics, context); | ||||||||||||||
2 | if (result || diagnostics != null) | 2 | if (result || diagnostics != null) | |||||||||||||||
3 | result &= validate_EveryDataValueConforms(eDataType, diagnostics, context); |
| 3 | result &= validate_EveryDataValueConforms(eGenericType, diagnostics, context); | ||||||||||||||
4 | if (result || diagnostics != null) | 4 | if (result || diagnostics != null) | |||||||||||||||
5 | result &= validate_EveryReferenceIsContained(eDataType, diagnostics, context); |
| 5 | result &= validate_EveryReferenceIsContained(eGenericType, diagnostics, context); | ||||||||||||||
6 | if (result || diagnostics != null) | 6 | if (result || diagnostics != null) | |||||||||||||||
7 | result &= validate_EveryProxyResolves(eDataType, diagnostics, context); |
| 7 | result &= validate_EveryProxyResolves(eGenericType, diagnostics, context); | ||||||||||||||
8 | if (result || diagnostics != null) | 8 | if (result || diagnostics != null) | |||||||||||||||
9 | result &= validate_UniqueID(eDataType, diagnostics, context); |
| 9 | result &= validate_UniqueID(eGenericType, diagnostics, context); | ||||||||||||||
10 | if (result || diagnostics != null) | 10 | if (result || diagnostics != null) | |||||||||||||||
11 | result &= validate_EveryKeyUnique(eDataType, diagnostics, context); |
| 11 | result &= validate_EveryKeyUnique(eGenericType, diagnostics, context); | ||||||||||||||
12 | if (result || diagnostics != null) | 12 | if (result || diagnostics != null) | |||||||||||||||
13 | result &= validate_EveryMapEntryUnique(eDataType, diagnostics, context); |
| 13 | result &= validate_EveryMapEntryUnique(eGenericType, diagnostics, context); | ||||||||||||||
14 | if (result || diagnostics != null) | 14 | if (result || diagnostics != null) | |||||||||||||||
|
| 15 | result &= validateEGenericType_ConsistentType(eGenericType, diagnostics, context); | |||||||||||||||
15 | result &= validateENamedElement_WellFormedName(eDataType, diagnostics, context); |
| |
Row | Violation |
---|---|
1 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
2 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
3 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
4 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
5 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
6 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
7 | Type org.eclipse.emf.ecore.EDataType of variable eDataType does not match with type org.eclipse.emf.ecore.EGenericType of variable eGenericType |
8 | Unmatched statement result&=validateEGenericType_ConsistentType(eGenericType,diagnostics,context); cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted |
9 | Unmatched statement result&=validateENamedElement_WellFormedName(eDataType,diagnostics,context); cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted |