CBMC
ms_cl_versiont Class Reference

#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
 

Detailed Description

Definition at line 19 of file ms_cl_version.h.

Member Enumeration Documentation

◆ targett

Enumerator
UNKNOWN 
x86 
x64 
ARM 

Definition at line 39 of file ms_cl_version.h.

Constructor & Destructor Documentation

◆ ms_cl_versiont()

ms_cl_versiont::ms_cl_versiont ( )
inline

Definition at line 31 of file ms_cl_version.h.

Member Function Documentation

◆ get()

void ms_cl_versiont::get ( const std::string &  executable)

Definition at line 18 of file ms_cl_version.cpp.

◆ is_at_least()

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.

Member Data Documentation

◆ default_c_standard

configt::ansi_ct::c_standardt ms_cl_versiont::default_c_standard

Definition at line 28 of file ms_cl_version.h.

◆ default_cxx_standard

configt::cppt::cpp_standardt ms_cl_versiont::default_cxx_standard

Definition at line 29 of file ms_cl_version.h.

◆ target

enum ms_cl_versiont::targett ms_cl_versiont::target

◆ v_major

unsigned ms_cl_versiont::v_major

Definition at line 22 of file ms_cl_version.h.

◆ v_minor

unsigned ms_cl_versiont::v_minor

Definition at line 22 of file ms_cl_version.h.


The documentation for this class was generated from the following files: