Iterable<AbstractValidationDiagnostic> _filter = Iterables.<AbstractValidationDiagnostic>filter(_allDiagnostics, AbstractValidationDiagnostic.class);
List<AbstractValidationDiagnostic> diagnotics = IterableExtensions.<AbstractValidationDiagnostic>toList(_filter);
int _size = diagnotics.size();
Assert.assertEquals(2, _size);
AbstractValidationDiagnostic _get = diagnotics.get(0);
EObject _sourceEObject = _get.getSourceEObject();
Assert.assertTrue((_sourceEObject instanceof Location));
AbstractValidationDiagnostic _get_1 = diagnotics.get(0);
String _issueCode = _get_1.getIssueCode();
Assert.assertEquals(TargetPlatformValidator.CHECK__LOCATION_ID_UNIQNESS, _issueCode);
AbstractValidationDiagnostic _get_2 = diagnotics.get(0);
EObject _sourceEObject_1 = _get_2.getSourceEObject();
String _uri = ((Location) _sourceEObject_1).getUri();
Assert.assertEquals("locationURI1", _uri);
AbstractValidationDiagnostic _get_3 = diagnotics.get(1);
EObject _sourceEObject_2 = _get_3.getSourceEObject();
Assert.assertTrue((_sourceEObject_2 instanceof IncludeDeclaration));
AbstractValidationDiagnostic _get_4 = diagnotics.get(1);
String _issueCode_1 = _get_4.getIssueCode();
Assert.assertEquals(TargetPlatformValidator.CHECK__LOCATION_ID_UNIQNESS, _issueCode_1);
AbstractValidationDiagnostic _get_5 = diagnotics.get(1);
EObject _sourceEObject_3 = _get_5.getSourceEObject();
String _importURI = ((IncludeDeclaration) _sourceEObject_3).getImportURI();
Assert.assertEquals("b.tpd", _importURI);
Resource _eResource_1 = tpb.eResource();
EList<Resource.Diagnostic> _errors_1 = _eResource_1.getErrors();
boolean _isEmpty_1 = _errors_1.isEmpty();