The standard library Host_Info api defines access to information on the underlying host hardware architecture and operating system.
The Host_Info api is implemented by the host_info package in src/lib/std/src/nj/platform-properties.pkg.
The Host_Info api source code is in src/lib/std/src/nj/platform-properties.api.
The above information is manually maintained and may contain errors.
api {
exception UNKNOWN;
package os
: api {
Kind = BEOS | MACOS | OS2 | POSIX | WIN32;};;
get_os_kind : Void -> os::Kind;
get_os_name : Void -> String;
get_os_version : Void -> String;
get_host_architecture : Void -> String;
get_target_architecture : Void -> String;
has_software_polling : Void -> Bool;
has_multiprocessing : Void -> Bool;};