cprover
|
Expressions in XML. More...
#include "xml_expr.h"
#include "namespace.h"
#include "expr.h"
#include "xml.h"
#include "arith_tools.h"
#include "ieee_float.h"
#include "fixedbv.h"
#include "std_expr.h"
#include "config.h"
Go to the source code of this file.
Functions | |
xmlt | xml (const source_locationt &location) |
xmlt | xml (const typet &type, const namespacet &ns) |
xmlt | xml (const exprt &expr, const namespacet &ns) |
Expressions in XML.
Definition in file xml_expr.cpp.
xmlt xml | ( | const source_locationt & | location | ) |
Definition at line 25 of file xml_expr.cpp.
References dstringt::empty(), source_locationt::get_column(), source_locationt::get_file(), source_locationt::get_function(), source_locationt::get_line(), id2string(), xmlt::name, and xmlt::set_attribute().
Referenced by build_graph_rec(), custom_bitvector_analysist::check(), convert(), show_goto_functions_xmlt::convert(), value_set_analysist::convert(), bv_refinementt::dec_solve(), bmct::error_trace(), xml_interfacet::get_xml_options(), ui_message_handlert::json_ui_msg(), xmlt::new_element(), bmc_covert::operator()(), ai_domain_baset::output_xml(), read_graphml(), symex_parse_optionst::report_cover(), clobber_parse_optionst::report_failure(), symex_parse_optionst::report_failure(), bmct::report_failure(), clobber_parse_optionst::report_success(), symex_parse_optionst::report_success(), bmct::report_success(), clobber_parse_optionst::show_counterexample(), symex_parse_optionst::show_counterexample(), show_locations(), show_loop_ids(), show_properties(), show_value_sets(), xml(), xml_interfacet::xml_interfacet(), xml_irep_convertt::xml_irep_convertt(), and ui_message_handlert::xml_ui_msg().
xmlt xml | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 46 of file xml_expr.cpp.
References struct_union_typet::components(), namespace_baset::follow(), namespace_baset::follow_tag(), irept::id(), id2string(), xmlt::name, xmlt::new_element(), xmlt::set_attribute(), typet::subtype(), to_bv_type(), to_c_bit_field_type(), to_c_enum_tag_type(), to_fixedbv_type(), to_floatbv_type(), to_signedbv_type(), to_struct_type(), to_union_type(), to_unsignedbv_type(), to_vector_type(), and xml().
xmlt xml | ( | const exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 141 of file xml_expr.cpp.
References configt::ansi_c, configt::ansi_ct::char_width, struct_union_typet::components(), config, xmlt::data, namespace_baset::follow(), namespace_baset::follow_tag(), forall_operands, irept::get(), irept::get_string(), bitvector_typet::get_width(), irept::id(), id2string(), configt::ansi_ct::int_width, integer2string(), is_signed(), exprt::is_true(), configt::ansi_ct::long_int_width, configt::ansi_ct::long_long_int_width, xmlt::name, xmlt::new_element(), exprt::op0(), exprt::operands(), xmlt::set_attribute(), constant_exprt::set_value(), configt::ansi_ct::short_int_width, typet::subtype(), fixedbvt::to_ansi_c_string(), ieee_floatt::to_ansi_c_string(), to_bitvector_type(), to_c_enum_tag_type(), to_constant_expr(), to_integer(), to_struct_type(), to_union_expr(), exprt::type(), and xml().