app.nit: id the platform at runtime

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/lib/android/platform.nit b/lib/android/platform.nit
index 2f44028..f305144 100644 (file)
--- a/lib/android/platform.nit
+++ b/lib/android/platform.nit
@@ -20,3 +20,5 @@ module platform is platform "android"
 import java
 import app
 import aware
+
+redef fun bound_platform do return "Android"

diff --git a/lib/app/app_base.nit b/lib/app/app_base.nit
index b2c26f5..e3e870a 100644 (file)
--- a/lib/app/app_base.nit
+++ b/lib/app/app_base.nit
@@ -115,5 +115,12 @@ end
 # The running `App`
 fun app: App do return once new App
 
+# Platform bound at compilation (by importation or -m)
+#
+# This value should not be used to decide the behavior of the software.
+# Class refinement provide a safer and a static solution to apply variations.
+# However, this value can be used in log files and communications with servers.
+fun bound_platform: String do return "none"
+
 app.setup
 app.run

diff --git a/lib/linux/linux.nit b/lib/linux/linux.nit
index e958e2d..32a5ad4 100644 (file)
--- a/lib/linux/linux.nit
+++ b/lib/linux/linux.nit
@@ -60,3 +60,5 @@ redef class TextAsset
                return content
        end
 end
+
+redef fun bound_platform do return "GNU/Linux"