|
Urbi SDK Remote for C++
2.7.5
|
00001 /* 00002 * Copyright (C) 2009-2010, Gostai S.A.S. 00003 * 00004 * This software is provided "as is" without warranty of any kind, 00005 * either expressed or implied, including but not limited to the 00006 * implied warranties of fitness for a particular purpose. 00007 * 00008 * See the LICENSE file for more information. 00009 */ 00010 00011 #include <libport/cassert> 00012 #include <urbi/kernel-version.hh> 00013 #include <urbi/uabstractclient.hh> 00014 #include <urbi/uclient.hh> 00015 00016 namespace urbi 00017 { 00018 /*-----------------. 00019 | Kernel version. | 00020 `-----------------*/ 00021 00022 int kernelMajor() 00023 { 00024 int res = getDefaultClient()->kernelMajor(); 00025 passert(res, res != -1); 00026 return res; 00027 } 00028 00029 int kernelMinor() 00030 { 00031 int res = getDefaultClient()->kernelMinor(); 00032 passert(res, res != -1); 00033 return res; 00034 } 00035 00036 const std::string& kernelVersion() 00037 { 00038 return getDefaultClient()->kernelVersion(); 00039 } 00040 00041 }