configt Class Reference

Globally accessible architectural configuration. More...

#include <config.h>

Collaboration diagram for configt:

Classes
struct	ansi_ct
struct	bv_encodingt
struct	cppt
struct	javat
struct	verilogt

Public Member Functions
void	set_arch (const irep_idt &)
void	set_from_symbol_table (const symbol_table_baset &)
bool	set (const cmdlinet &cmdline)
void	set_object_bits_from_symbol_table (const symbol_table_baset &)
	Sets the number of bits used for object addresses. More...
std::string	object_bits_info ()

Static Public Member Functions
static irep_idt	this_architecture ()
static irep_idt	this_operating_system ()

Public Attributes
struct configt::ansi_ct	ansi_c
struct configt::cppt	cpp
struct configt::verilogt	verilog
struct configt::javat	java
struct configt::bv_encodingt	bv_encoding
std::optional< std::string >	main

Private Member Functions
void	set_classpath (const std::string &cp)

Detailed Description

Globally accessible architectural configuration.

Definition at line 131 of file config.h.

Member Function Documentation

object_bits_info()

std::string configt::object_bits_info

(

)

Definition at line 1350 of file config.cpp.

set()

bool configt::set

(

const cmdlinet &

cmdline

)

Definition at line 798 of file config.cpp.

set_arch()

void configt::set_arch

(

const irep_idt &

arch

)

Definition at line 702 of file config.cpp.

set_classpath()

void configt::set_classpath ( const std::string &  cp )

private

Definition at line 1445 of file config.cpp.

set_from_symbol_table()

void configt::set_from_symbol_table

(

const symbol_table_baset &

symbol_table

)

Definition at line 1266 of file config.cpp.

set_object_bits_from_symbol_table()

void configt::set_object_bits_from_symbol_table

(

const symbol_table_baset &

symbol_table

)

Sets the number of bits used for object addresses.

Parameters

symbol_table

The symbol table

Definition at line 1325 of file config.cpp.

this_architecture()

irep_idt configt::this_architecture ( )

static

Definition at line 1361 of file config.cpp.

this_operating_system()

irep_idt configt::this_operating_system ( )

static

Definition at line 1461 of file config.cpp.

Member Data Documentation

ansi_c

struct configt::ansi_ct configt::ansi_c

bv_encoding

struct configt::bv_encodingt configt::bv_encoding

cpp

struct configt::cppt configt::cpp

java

struct configt::javat configt::java

main

std::optional<std::string> configt::main

Definition at line 356 of file config.h.

verilog

struct configt::verilogt configt::verilog

---

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

• /home/runner/work/cbmc/cbmc/src/util/config.h
• /home/runner/work/cbmc/cbmc/src/util/config.cpp