Iterable<FeatureBasedDiagnostic> _filter = Iterables.<FeatureBasedDiagnostic>filter(_allDiagnostics, FeatureBasedDiagnostic.class);
List<FeatureBasedDiagnostic> diagnostics = IterableExtensions.<FeatureBasedDiagnostic>toList(_filter);
String _join = IterableExtensions.join(diagnostics, ", ");
int _size = diagnostics.size();
Assert.assertEquals(_join, 2, _size);
FeatureBasedDiagnostic _head = IterableExtensions.<FeatureBasedDiagnostic>head(diagnostics);
String _issueCode = _head.getIssueCode();
Assert.assertEquals(TargetPlatformValidator.CHECK__NO_DUPLICATED_IU, _issueCode);
EList<Location> _locations = targetPlatform.getLocations();
Location _head_1 = IterableExtensions.<Location>head(_locations);
EList<IU> _ius = _head_1.getIus();
IU _head_2 = IterableExtensions.<IU>head(_ius);
FeatureBasedDiagnostic _get = diagnostics.get(0);
EObject _sourceEObject = _get.getSourceEObject();
FeatureBasedDiagnostic _get_1 = diagnostics.get(0);
EStructuralFeature _feature = _get_1.getFeature();
Object _eGet = _sourceEObject.eGet(_feature);
Object _get_2 = ((List<?>) _eGet).get(0);
Assert.assertEquals(_head_2, _get_2);
FeatureBasedDiagnostic _get_3 = diagnostics.get(0);
int _severity = _get_3.getSeverity();
Assert.assertEquals(Diagnostic.WARNING, _severity);
EList<Location> _locations_1 = targetPlatform.getLocations();
Location _head_3 = IterableExtensions.<Location>head(_locations_1);
EList<IU> _ius_1 = _head_3.getIus();
IU _head_4 = IterableExtensions.<IU>head(_ius_1);
FeatureBasedDiagnostic _get_4 = diagnostics.get(1);
EObject _sourceEObject_1 = _get_4.getSourceEObject();
FeatureBasedDiagnostic _get_5 = diagnostics.get(1);
EStructuralFeature _feature_1 = _get_5.getFeature();
Object _eGet_1 = _sourceEObject_1.eGet(_feature_1);
Object _get_6 = ((List<?>) _eGet_1).get(0);
Assert.assertEquals(_head_4, _get_6);
FeatureBasedDiagnostic _get_7 = diagnostics.get(1);
int _severity_1 = _get_7.getSeverity();
Assert.assertEquals(Diagnostic.WARNING, _severity_1);
} catch (Throwable _e) {
throw Exceptions.sneakyThrow(_e);
}
}