Unmatched statement IFile result=getFile(datum); cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
5
if(result!=null)
5
if(result!=null)
3
if(result!=null)
Differences
Expression1
Expression2
Difference
org.eclipse.core.resources.IFile
org.eclipse.emf.ecore.EValidator
VARIABLE_TYPE_MISMATCH
Preondition Violations
Type org.eclipse.core.resources.IFile of variable result does not match with type org.eclipse.emf.ecore.EValidator of variable result
Make classes org.eclipse.core.resources.IFile and org.eclipse.emf.ecore.EValidator extend a common superclass
3
if(result!=null)
4
returnresult;
Preondition Violations
Unmatched return result;
4
returnresult;
6
returnresult;
6
returnresult;
Preondition Violations
Unmatched return result;
Precondition Violations (4)
Row
Violation
1
Unmatched statement IFile result=getFile(datum); cannot be moved before or after the extracted code, because it has dependencies to/from statements that will be extracted
2
Type org.eclipse.core.resources.IFile of variable result does not match with type org.eclipse.emf.ecore.EValidator of variable result