Assert.assertEquals(1, _size);
FeatureBasedDiagnostic _head = IterableExtensions.<FeatureBasedDiagnostic>head(diagnostics);
String _issueCode = _head.getIssueCode();
Assert.assertEquals(TargetPlatformValidator.CHECK__NO_DUPLICATED_IU, _issueCode);
EList<Location> _locations = tpa.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();