cprover
configt::cppt Struct Reference

#include <config.h>

Public Types

enum  cpp_standardt { cpp_standardt::CPP98, cpp_standardt::CPP03, cpp_standardt::CPP11, cpp_standardt::CPP14 }
 

Public Member Functions

void set_cpp98 ()
 
void set_cpp03 ()
 
void set_cpp11 ()
 
void set_cpp14 ()
 

Static Public Member Functions

static cpp_standardt default_cpp_standard ()
 

Public Attributes

enum configt::cppt::cpp_standardt cpp_standard
 

Static Public Attributes

static const std::size_t default_object_bits =8
 

Detailed Description

Definition at line 126 of file config.h.

Member Enumeration Documentation

◆ cpp_standardt

Enumerator
CPP98 
CPP03 
CPP11 
CPP14 

Definition at line 128 of file config.h.

Member Function Documentation

◆ default_cpp_standard()

configt::cppt::cpp_standardt configt::cppt::default_cpp_standard ( )
static

◆ set_cpp03()

◆ set_cpp11()

◆ set_cpp14()

void configt::cppt::set_cpp14 ( )
inline

Definition at line 134 of file config.h.

References CPP14, and cpp_standard.

Referenced by ms_cl_modet::doit(), and gcc_modet::doit().

◆ set_cpp98()

Member Data Documentation

◆ cpp_standard

◆ default_object_bits

const std::size_t configt::cppt::default_object_bits =8
static

Definition at line 136 of file config.h.

Referenced by configt::set_object_bits_from_symbol_table().


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