TargetPlatformValidator _validator = tester.validator();
EList<Location> _locations = targetPlatform.getLocations();
Location _head = IterableExtensions.<Location>head(_locations);
EList<IU> _ius = _head.getIus();
IU _get = _ius.get(0);
_validator.checkVersionKeywords(_get);
AssertableDiagnostics _diagnose = tester.diagnose();
Iterable<Diagnostic> _allDiagnostics = _diagnose.getAllDiagnostics();
Iterable<RangeBasedDiagnostic> _filter = Iterables.<RangeBasedDiagnostic>filter(_allDiagnostics, RangeBasedDiagnostic.class);
List<RangeBasedDiagnostic> diagnostics = IterableExtensions.<RangeBasedDiagnostic>toList(_filter);
String _join = IterableExtensions.join(diagnostics, ", ");