EList<NamedElement> _elements = model.getElements();
Iterable<Platform> _filter = Iterables.<Platform>filter(_elements, Platform.class);
final Platform platform = IterableExtensions.<Platform>head(_filter);
EList<PlatformMapping> _mappings = platform.getMappings();
PlatformMapping _head = IterableExtensions.<PlatformMapping>head(_mappings);
final TypeMapping platformMapping = ((TypeMapping) _head);
DataType _type = platformMapping.getType();
String _name = _type.getName();
Matcher<String> _is = CoreMatchers.<String>is("String");
Assert.<String>assertThat(_name, _is);
String _simpleName = platformMapping.getSimpleName();
Matcher<String> _is_1 = CoreMatchers.<String>is("NSString");
Assert.<String>assertThat(_simpleName, _is_1);
} catch (Throwable _e) {
throw Exceptions.sneakyThrow(_e);
}