final TargetPlatform targetPlatform = this.parser.parse(_builder);
Resource _eResource = targetPlatform.eResource();
EList<Resource.Diagnostic> _errors = _eResource.getErrors();
boolean _isEmpty = _errors.isEmpty();
Assert.assertTrue(_isEmpty);
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.checkNoEscapeCharacterInIUID(_get);
AssertableDiagnostics _diagnose = tester.diagnose();
Iterable<Diagnostic> _allDiagnostics = _diagnose.getAllDiagnostics();
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, 0, _size);
TargetPlatformValidator _validator_1 = tester.validator();
EList<Location> _locations_1 = targetPlatform.getLocations();
Location _head_1 = IterableExtensions.<Location>head(_locations_1);
EList<IU> _ius_1 = _head_1.getIus();
IU _get_1 = _ius_1.get(1);
_validator_1.checkNoEscapeCharacterInIUID(_get_1);
AssertableDiagnostics _diagnose_1 = tester.diagnose();
Iterable<Diagnostic> _allDiagnostics_1 = _diagnose_1.getAllDiagnostics();
Iterable<FeatureBasedDiagnostic> _filter_1 = Iterables.<FeatureBasedDiagnostic>filter(_allDiagnostics_1, FeatureBasedDiagnostic.class);
List<FeatureBasedDiagnostic> _list = IterableExtensions.<FeatureBasedDiagnostic>toList(_filter_1);
diagnostics = _list;
String _join_1 = IterableExtensions.join(diagnostics, ", ");
int _size_1 = diagnostics.size();
Assert.assertEquals(_join_1, 0, _size_1);
TargetPlatformValidator _validator_2 = tester.validator();
EList<Location> _locations_2 = targetPlatform.getLocations();
Location _head_2 = IterableExtensions.<Location>head(_locations_2);
EList<IU> _ius_2 = _head_2.getIus();
IU _get_2 = _ius_2.get(2);
_validator_2.checkNoEscapeCharacterInIUID(_get_2);
AssertableDiagnostics _diagnose_2 = tester.diagnose();
Iterable<Diagnostic> _allDiagnostics_2 = _diagnose_2.getAllDiagnostics();
Iterable<FeatureBasedDiagnostic> _filter_2 = Iterables.<FeatureBasedDiagnostic>filter(_allDiagnostics_2, FeatureBasedDiagnostic.class);
List<FeatureBasedDiagnostic> _list_1 = IterableExtensions.<FeatureBasedDiagnostic>toList(_filter_2);
diagnostics = _list_1;