cprover
|
#include <irep_serialization.h>
Classes | |
class | ireps_containert |
Public Member Functions | |
irep_serializationt (ireps_containert &ic) | |
std::size_t | insert_on_write (std::size_t h) |
inserts an irep into the hashtable More... | |
std::size_t | insert_on_read (std::size_t id, const irept &) |
inserts an irep into the hashtable, but only the id-hashtable (only to be used upon reading ireps from a file) More... | |
void | reference_convert (std::istream &, irept &irep) |
void | reference_convert (const irept &irep, std::ostream &) |
irep_idt | read_string_ref (std::istream &) |
reads a string reference from the stream More... | |
void | write_string_ref (std::ostream &, const irep_idt &) |
outputs the string reference More... | |
void | clear () |
irep_idt | read_gb_string (std::istream &) |
reads a string from the stream More... | |
Static Public Member Functions | |
static std::size_t | read_gb_word (std::istream &) |
reads 4 characters and builds a long int from them More... | |
Private Member Functions | |
void | write_irep (std::ostream &, const irept &irep) |
void | read_irep (std::istream &, irept &irep) |
Private Attributes | |
ireps_containert & | ireps_container |
std::vector< char > | read_buffer |
Definition at line 28 of file irep_serialization.h.
|
inlineexplicit |
Definition at line 57 of file irep_serialization.h.
References clear(), and read_buffer.
|
inline |
Definition at line 73 of file irep_serialization.h.
References irep_serializationt::ireps_containert::clear(), and ireps_container.
Referenced by irep_serializationt().
std::size_t irep_serializationt::insert_on_read | ( | std::size_t | id, |
const irept & | i | ||
) |
inserts an irep into the hashtable, but only the id-hashtable (only to be used upon reading ireps from a file)
Definition at line 144 of file irep_serialization.cpp.
References get_nil_irep(), ireps_container, and irep_serializationt::ireps_containert::ireps_on_read.
Referenced by reference_convert().
std::size_t irep_serializationt::insert_on_write | ( | std::size_t | h | ) |
inserts an irep into the hashtable
Definition at line 128 of file irep_serialization.cpp.
References ireps_container, and irep_serializationt::ireps_containert::ireps_on_write.
Referenced by reference_convert().
irep_idt irep_serializationt::read_gb_string | ( | std::istream & | in | ) |
reads a string from the stream
Definition at line 226 of file irep_serialization.cpp.
References read_buffer.
Referenced by read_bin_goto_object_v3(), and read_string_ref().
|
static |
reads 4 characters and builds a long int from them
Definition at line 188 of file irep_serialization.cpp.
Referenced by read_bin_goto_object(), read_bin_goto_object_v3(), read_string_ref(), and reference_convert().
|
private |
Definition at line 68 of file irep_serialization.cpp.
References irept::add(), irept::clear(), irept::get_sub(), irept::id(), r, read_string_ref(), and reference_convert().
Referenced by reference_convert().
irep_idt irep_serializationt::read_string_ref | ( | std::istream & | in | ) |
reads a string reference from the stream
Definition at line 271 of file irep_serialization.cpp.
References ireps_container, read_gb_string(), read_gb_word(), and irep_serializationt::ireps_containert::string_rev_map.
Referenced by read_bin_goto_object_v3(), and read_irep().
void irep_serializationt::reference_convert | ( | std::istream & | in, |
irept & | irep | ||
) |
Definition at line 50 of file irep_serialization.cpp.
References insert_on_read(), ireps_container, irep_serializationt::ireps_containert::ireps_on_read, read_gb_word(), and read_irep().
Referenced by read_bin_goto_object_v3(), read_irep(), write_goto_binary_v3(), and write_irep().
void irep_serializationt::reference_convert | ( | const irept & | irep, |
std::ostream & | out | ||
) |
|
private |
Definition at line 21 of file irep_serialization.cpp.
References forall_irep, forall_named_irep, irept::get_comments(), irept::get_named_sub(), irept::get_sub(), irept::id(), reference_convert(), and write_string_ref().
Referenced by reference_convert().
void irep_serializationt::write_string_ref | ( | std::ostream & | out, |
const irep_idt & | s | ||
) |
outputs the string reference
Definition at line 250 of file irep_serialization.cpp.
References id2string(), ireps_container, irep_serializationt::ireps_containert::string_map, write_gb_string(), and write_gb_word().
Referenced by write_goto_binary_v3(), and write_irep().
|
private |
Definition at line 79 of file irep_serialization.h.
Referenced by clear(), insert_on_read(), insert_on_write(), read_string_ref(), reference_convert(), and write_string_ref().
|
private |
Definition at line 80 of file irep_serialization.h.
Referenced by irep_serializationt(), and read_gb_string().