CBMC
|
#include <ms_cl_version.h>
Public Types | |
enum class | targett { UNKNOWN , x86 , x64 , ARM } |
Public Member Functions | |
void | get (const std::string &executable) |
bool | is_at_least (unsigned v_major, unsigned v_minor=0) const |
ms_cl_versiont () | |
Public Attributes | |
unsigned | v_major |
unsigned | v_minor |
configt::ansi_ct::c_standardt | default_c_standard |
configt::cppt::cpp_standardt | default_cxx_standard |
enum ms_cl_versiont::targett | target |
Definition at line 19 of file ms_cl_version.h.
|
strong |
Enumerator | |
---|---|
UNKNOWN | |
x86 | |
x64 | |
ARM |
Definition at line 39 of file ms_cl_version.h.
|
inline |
Definition at line 31 of file ms_cl_version.h.
void ms_cl_versiont::get | ( | const std::string & | executable | ) |
Definition at line 18 of file ms_cl_version.cpp.
bool ms_cl_versiont::is_at_least | ( | unsigned | v_major, |
unsigned | v_minor = 0 |
||
) | const |
Definition at line 65 of file ms_cl_version.cpp.
configt::ansi_ct::c_standardt ms_cl_versiont::default_c_standard |
Definition at line 28 of file ms_cl_version.h.
configt::cppt::cpp_standardt ms_cl_versiont::default_cxx_standard |
Definition at line 29 of file ms_cl_version.h.
enum ms_cl_versiont::targett ms_cl_versiont::target |
unsigned ms_cl_versiont::v_major |
Definition at line 22 of file ms_cl_version.h.
unsigned ms_cl_versiont::v_minor |
Definition at line 22 of file ms_cl_version.h.