[gnome-games/wip/exalm/ds: 12/15] nintendo-ds: Add NintendoDsPlatform

[Alexander Mikhaylenko <alexm src gnome org>]

commit 1732084989d39872506467ae9dda4eaa28d5065f
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Mon Aug 12 23:05:37 2019 +0500

    nintendo-ds: Add NintendoDsPlatform
    
    This will be used in the next commit to override savestate type.

 plugins/nintendo-ds/src/meson.build               | 1 +
 plugins/nintendo-ds/src/nintendo-ds-platform.vala | 7 +++++++
 plugins/nintendo-ds/src/nintendo-ds-plugin.vala   | 4 ++--
 3 files changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/plugins/nintendo-ds/src/meson.build b/plugins/nintendo-ds/src/meson.build
index b3c84613..49c03b88 100644
--- a/plugins/nintendo-ds/src/meson.build
+++ b/plugins/nintendo-ds/src/meson.build
@@ -3,6 +3,7 @@ vala_sources = [
   'nintendo-ds-layout.vala',
   'nintendo-ds-layout-item.vala',
   'nintendo-ds-layout-switcher.vala',
+  'nintendo-ds-platform.vala',
   'nintendo-ds-plugin.vala',
   'nintendo-ds-runner.vala',
 ]
diff --git a/plugins/nintendo-ds/src/nintendo-ds-platform.vala 
b/plugins/nintendo-ds/src/nintendo-ds-platform.vala
new file mode 100644
index 00000000..5d548f13
--- /dev/null
+++ b/plugins/nintendo-ds/src/nintendo-ds-platform.vala
@@ -0,0 +1,7 @@
+// This file is part of GNOME Games. License: GPL-3.0+.
+
+public class Games.NintendoDsPlatform : RetroPlatform {
+       public NintendoDsPlatform (string id, string name, string[] mime_types, string prefix) {
+               base (id, name, mime_types, prefix);
+       }
+}
diff --git a/plugins/nintendo-ds/src/nintendo-ds-plugin.vala b/plugins/nintendo-ds/src/nintendo-ds-plugin.vala
index 0ad5cd68..d981690f 100644
--- a/plugins/nintendo-ds/src/nintendo-ds-plugin.vala
+++ b/plugins/nintendo-ds/src/nintendo-ds-plugin.vala
@@ -6,10 +6,10 @@ private class Games.NintendoDsPlugin : Object, Plugin {
        private const string PLATFORM_NAME = _("Nintendo DS");
        private const string PLATFORM_UID_PREFIX = "nintendo-ds";
 
-       private static RetroPlatform platform;
+       private static NintendoDsPlatform platform;
 
        static construct {
-               platform = new RetroPlatform (PLATFORM_ID, PLATFORM_NAME, { MIME_TYPE }, PLATFORM_UID_PREFIX);
+               platform = new NintendoDsPlatform (PLATFORM_ID, PLATFORM_NAME, { MIME_TYPE }, 
PLATFORM_UID_PREFIX);
        }
 
        public Platform[] get_platforms () {