Assert.assertTrue(_isEmpty);
TargetPlatformValidator _validator = tester.validator();
EList<Location> _locations = targetPlatform.getLocations();
Location _head = IterableExtensions.<Location>head(_locations);
_validator.checkNoLocationOptionIfGlobalOptions(_head);
AssertableDiagnostics _diagnose = tester.diagnose();
Iterable<Diagnostic> _allDiagnostics = _diagnose.getAllDiagnostics();
Iterable<AbstractValidationDiagnostic> _filter = Iterables.<AbstractValidationDiagnostic>filter(_allDiagnostics, AbstractValidationDiagnostic.class);
final List<AbstractValidationDiagnostic> diagnotics = IterableExtensions.<AbstractValidationDiagnostic>toList(_filter);
final Function1<AbstractValidationDiagnostic, Boolean> _function = new Function1<AbstractValidationDiagnostic, Boolean>() {
public Boolean apply(final AbstractValidationDiagnostic it) {
EObject _sourceEObject = it.getSourceEObject();