String _importURI = ((IncludeDeclaration) _sourceEObject).getImportURI();
Assert.assertEquals("b.tpd", _importURI);
}
};
IterableExtensions.<AbstractValidationDiagnostic>forEach(diagnoticsa, _function_1);
Resource _eResource_1 = tpb.eResource();
EList<Resource.Diagnostic> _errors_1 = _eResource_1.getErrors();
boolean _isEmpty_1 = _errors_1.isEmpty();
Assert.assertTrue(_isEmpty_1);
TargetPlatformValidator _validator_1 = tester.validator();
_validator_1.checkImportCycle(tpb);