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
 

Detailed Description

Definition at line 123 of file config.h.

Member Enumeration Documentation

§ cpp_standardt

Enumerator
CPP98 
CPP03 
CPP11 
CPP14 

Definition at line 125 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 131 of file config.h.

References configt::cpp.

Referenced by gcc_modet::doit().

§ set_cpp98()

Member Data Documentation

§ cpp_standard

enum configt::cppt::cpp_standardt configt::cppt::cpp_standard

Referenced by cpp_parsert::parse(), and configt::set().


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