cprover
|
#include "xml.h"
Go to the source code of this file.
Functions | |
xmlt | xml (const exprt &, const namespacet &) |
xmlt | xml (const typet &, const namespacet &) |
xmlt | xml (const source_locationt &) |
xmlt xml | ( | const exprt & | , |
const namespacet & | |||
) |
Definition at line 145 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().
xmlt xml | ( | const typet & | , |
const namespacet & | |||
) |
Definition at line 50 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 source_locationt & | ) |
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(), source_locationt::get_working_directory(), id2string(), xmlt::name, and xmlt::set_attribute().
Referenced by build_graph(), build_graph_rec(), custom_bitvector_analysist::check(), convert(), show_goto_functions_xmlt::convert(), bv_refinementt::dec_solve(), bmct::error_trace(), xml_interfacet::get_xml_options(), xmlt::new_element(), bmc_covert::operator()(), operator<<(), ai_domain_baset::output_xml(), read_graphml(), clobber_parse_optionst::report_failure(), bmct::report_failure(), clobber_parse_optionst::report_success(), bmct::report_success(), fault_localizationt::report_xml(), clobber_parse_optionst::show_counterexample(), show_locations(), show_loop_ids(), show_properties(), show_value_sets(), xmlt::swap(), value_sets_to_xml(), xml(), and ui_message_handlert::xml_ui_msg().