cprover
configt Class Reference

Globally accessible architectural configuration. More...

#include <config.h>

Collaboration diagram for configt:
[legend]

Classes

struct  ansi_ct
 
struct  cppt
 
struct  javat
 
struct  verilogt
 

Public Member Functions

void set_arch (const irep_idt &)
 
void set_from_symbol_table (const symbol_tablet &)
 
bool set (const cmdlinet &cmdline)
 
void set_classpath (const std::string &cp)
 

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
 
std::string main
 

Detailed Description

Globally accessible architectural configuration.

Definition at line 24 of file config.h.

Member Function Documentation

§ set()

bool configt::set ( const cmdlinet cmdline)

Definition at line 727 of file config.cpp.

References ansi_c, configt::ansi_ct::APPLE, configt::ansi_ct::arch, configt::ansi_ct::bool_width, configt::ansi_ct::c_standard, configt::ansi_ct::char_is_unsigned, configt::ansi_ct::char_width, configt::ansi_ct::CLANG, cpp, configt::cppt::cpp_standard, configt::ansi_ct::default_c_standard(), configt::cppt::default_cpp_standard(), configt::ansi_ct::defines, configt::ansi_ct::double_width, configt::ansi_ct::endianness, configt::ansi_ct::for_has_scope, configt::ansi_ct::GCC, cmdlinet::get_value(), cmdlinet::get_values(), configt::ansi_ct::include_files, configt::ansi_ct::include_paths, configt::ansi_ct::int_width, configt::ansi_ct::IS_BIG_ENDIAN, configt::ansi_ct::IS_LITTLE_ENDIAN, cmdlinet::isset(), java, configt::ansi_ct::lib, configt::ansi_ct::LIB_FULL, configt::ansi_ct::LIB_NONE, configt::ansi_ct::long_double_width, configt::ansi_ct::long_int_width, configt::ansi_ct::long_long_int_width, main, configt::javat::main_class, configt::ansi_ct::mode, configt::ansi_ct::NO_ENDIANNESS, configt::ansi_ct::NO_OS, configt::ansi_ct::NULL_is_zero, configt::ansi_ct::os, configt::ansi_ct::OS_LINUX, configt::ansi_ct::OS_MACOS, configt::ansi_ct::OS_WIN, configt::ansi_ct::pointer_width, configt::ansi_ct::preprocessor, ieee_floatt::ROUND_TO_EVEN, ieee_floatt::ROUND_TO_MINUS_INF, ieee_floatt::ROUND_TO_PLUS_INF, ieee_floatt::ROUND_TO_ZERO, configt::ansi_ct::rounding_mode, configt::ansi_ct::set_16(), configt::ansi_ct::set_32(), configt::ansi_ct::set_64(), set_arch(), set_classpath(), configt::ansi_ct::set_ILP32(), configt::ansi_ct::set_ILP64(), configt::ansi_ct::set_LLP64(), configt::ansi_ct::set_LP32(), configt::ansi_ct::set_LP64(), configt::ansi_ct::short_int_width, configt::ansi_ct::single_precision_constant, configt::ansi_ct::single_width, configt::ansi_ct::string_abstraction, this_architecture(), this_operating_system(), configt::ansi_ct::use_fixed_for_float, configt::ansi_ct::VISUAL_STUDIO, configt::ansi_ct::wchar_t_is_unsigned, and configt::ansi_ct::wchar_t_width.

Referenced by as_modet::doit(), gcc_modet::doit(), armcc_modet::doit(), ms_cl_modet::doit(), cw_modet::doit(), goto_diff_parse_optionst::get_command_line_options(), clobber_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), symex_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), goto_diff_parse_optionst::get_goto_program(), and goto_instrument_parse_optionst::get_goto_program().

§ set_arch()

§ set_classpath()

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

Definition at line 1229 of file config.cpp.

References configt::javat::classpath, java, and pos().

Referenced by set().

§ set_from_symbol_table()

§ this_architecture()

§ this_operating_system()

Member Data Documentation

§ ansi_c

struct configt::ansi_ct configt::ansi_c

Referenced by compilet::add_compiler_specific_defines(), add_cprover_library(), add_padding(), alignment(), ansi_c_architecture_strings(), ansi_c_entry_point(), ansi_c_internal_additions(), dplib_convt::array_index(), cvc_convt::array_index(), value_set_dereferencet::build_reference_to(), build_sizeof_expr(), bv_pointerst::bv_pointerst(), byte_extract_id(), byte_update_id(), c_bool_type(), c_preprocess(), c_preprocess_arm(), c_preprocess_codewarrior(), c_preprocess_gcc_clang(), c_preprocess_none(), c_preprocess_visual_studio(), char_type(), goto_program2codet::cleanup_expr(), dplib_convt::convert_address_of_rec(), cvc_convt::convert_address_of_rec(), dump_ct::convert_compound(), expr2ct::convert_constant(), cvc_convt::convert_constant_expr(), dplib_convt::convert_dplib_expr(), convert_float_literal(), convert_integer_literal(), cvc_convt::convert_plus_expr(), bv_pointerst::convert_pointer_type(), expr2ct::convert_rec(), boolbvt::convert_union(), expr2ct::convert_with_precedence(), boolbvt::convert_with_union(), cpp_convert_plain_type(), cpp_internal_additions(), cvc_convt::cvc_pointer_type(), as_modet::doit(), gcc_modet::doit(), armcc_modet::doit(), cw_modet::doit(), ms_cl_modet::doit(), double_type(), dplib_convt::dplib_pointer_type(), c_typecheck_baset::enum_constant_type(), c_typecheck_baset::enum_underlying_type(), polynomial_acceleratort::fit_polynomial_sliced(), float_type(), gcc_float128_type(), c_typecastt::get_c_type(), goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), cbmc_parse_optionst::get_command_line_options(), get_cprover_library_text(), boolbv_widtht::get_entry(), goto_instrument_parse_optionst::instrument_goto_program(), string_abstractiont::is_char_type(), is_dereference_integer_object(), string_instrumentationt::is_string_type(), json(), link_to_library(), long_double_type(), value_set_dereferencet::memory_model_bytes(), c_typecastt::minimum_promotion(), model_argc_argv(), ansi_c_languaget::parse(), cpp_languaget::parse(), pointer_diff_type(), pointer_offset_bits(), print_struct_alignment_problems(), set(), set_arch(), configt::ansi_ct::set_arch_spec_mips(), set_from_symbol_table(), signed_char_type(), signed_int_type(), signed_long_int_type(), signed_long_long_int_type(), signed_poly_type(), signed_short_int_type(), simplify_exprt::simplify_inequality_constant(), simplify_exprt::simplify_typecast(), size_of_expr(), size_type(), c_sizeoft::sizeof_rec(), cpp_typecheckt::standard_conversion_floating_point_promotion(), cpp_typecheckt::standard_conversion_integral_promotion(), ansi_c_languaget::to_expr(), ansi_c_declarationt::to_symbol(), cpp_typecheckt::typecheck_expr_new(), c_typecheck_baset::typecheck_for(), c_typecheck_baset::typecheck_redefinition_non_type(), c_typecheck_baset::typecheck_redefinition_type(), c_typecheck_baset::typecheck_type(), unsigned_char_type(), unsigned_int_type(), unsigned_long_int_type(), unsigned_long_long_int_type(), unsigned_poly_type(), unsigned_short_int_type(), wchar_t_type(), and xml().

§ cpp

§ java

§ main

§ verilog

struct configt::verilogt configt::verilog

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