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.

Property definitions

app :: app_base $ Sys :: bound_platform
# 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"
lib/app/app_base.nit:118,1--123,43

linux :: linux $ Sys :: bound_platform
redef fun bound_platform do return "GNU/Linux"
lib/linux/linux.nit:65,1--46

android :: platform $ Sys :: bound_platform
redef fun bound_platform do return "Android"
lib/android/platform.nit:25,1--44