CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
gcc_versiont Class Reference

#include <gcc_version.h>

Public Types

enum class   flavort { UNKNOWN , CLANG , GCC , 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 class 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 136 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:

AltStyle によって変換されたページ (->オリジナル) /