cprover
|
Expressions in JSON. More...
#include "json.h"
Go to the source code of this file.
Functions | |
json_objectt | json (const exprt &, const namespacet &) |
json_objectt | json (const typet &, const namespacet &) |
json_objectt | json (const source_locationt &) |
Expressions in JSON.
Definition in file json_expr.h.
json_objectt json | ( | const exprt & | , |
const namespacet & | |||
) |
Definition at line 147 of file json_expr.cpp.
References configt::ansi_c, configt::ansi_ct::char_width, struct_union_typet::components(), config, 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(), json(), jsont::json_boolean(), configt::ansi_ct::long_int_width, configt::ansi_ct::long_long_int_width, jsont::make_array(), jsont::make_object(), exprt::op0(), exprt::operands(), json_arrayt::push_back(), constant_exprt::set_value(), configt::ansi_ct::short_int_width, typet::subtype(), to_bitvector_type(), to_c_enum_tag_type(), to_constant_expr(), to_integer(), to_struct_type(), to_union_expr(), and exprt::type().
json_objectt json | ( | const typet & | , |
const namespacet & | |||
) |
Definition at line 46 of file json_expr.cpp.
References struct_union_typet::components(), namespace_baset::follow(), namespace_baset::follow_tag(), irept::id(), id2string(), json(), jsont::make_array(), jsont::make_object(), json_arrayt::push_back(), 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(), and to_vector_type().
json_objectt json | ( | const source_locationt & | ) |
Definition at line 23 of file json_expr.cpp.
References dstringt::empty(), source_locationt::get_column(), source_locationt::get_file(), source_locationt::get_function(), source_locationt::get_java_bytecode_index(), source_locationt::get_line(), and id2string().
Referenced by add_to_json(), convert(), show_goto_functions_jsont::convert(), json_irept::convert_from_irep(), goto_difft::convert_function(), json(), list_functions(), taint_analysist::operator()(), bmc_covert::operator()(), ai_domain_baset::output_json(), dep_graph_domaint::output_json(), json_arrayt::push_back(), reachable_functions(), symex_parse_optionst::report_cover(), show_loop_ids_json(), show_properties_json(), bmct::show_vcc_json(), taint_parser(), unreachable_functions(), and unreachable_instructions().