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