CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
gcc_versiont Class Reference

#include <gcc_version.h>

Public Types

enum  flavort { flavort::UNKNOWN, flavort::CLANG, flavort::GCC, flavort::BCC }
 

Public Member Functions

void get (const std::string &executable)
 
bool is_at_least (unsigned v_major, unsigned v_minor=0, unsigned v_patchlevel=0) const
 
 gcc_versiont ()
 

Public Attributes

unsigned v_major
 
unsigned v_minor
 
unsigned v_patchlevel
 
enum gcc_versiont::flavort flavor
 
configt::ansi_ct::c_standardt default_c_standard
 
configt::cppt::cpp_standardt default_cxx_standard
 

Detailed Description

Definition at line 19 of file gcc_version.h.

Member Enumeration Documentation

◆ flavort

enum gcc_versiont::flavort
strong
Enumerator
UNKNOWN 
CLANG 
GCC 
BCC 

Definition at line 31 of file gcc_version.h.

Constructor & Destructor Documentation

◆ gcc_versiont()

gcc_versiont::gcc_versiont ( )
inline

Definition at line 42 of file gcc_version.h.

Member Function Documentation

◆ get()

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

Definition at line 18 of file gcc_version.cpp.

◆ is_at_least()

bool gcc_versiont::is_at_least ( unsigned  v_major,
unsigned  v_minor = 0,
unsigned  v_patchlevel = 0 
) const

Definition at line 132 of file gcc_version.cpp.

Member Data Documentation

◆ default_c_standard

configt::ansi_ct::c_standardt gcc_versiont::default_c_standard

Definition at line 39 of file gcc_version.h.

◆ default_cxx_standard

configt::cppt::cpp_standardt gcc_versiont::default_cxx_standard

Definition at line 40 of file gcc_version.h.

◆ flavor

enum gcc_versiont::flavort gcc_versiont::flavor

◆ v_major

unsigned gcc_versiont::v_major

Definition at line 22 of file gcc_version.h.

◆ v_minor

unsigned gcc_versiont::v_minor

Definition at line 22 of file gcc_version.h.

◆ v_patchlevel

unsigned gcc_versiont::v_patchlevel

Definition at line 22 of file gcc_version.h.

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