cprover
irep_serialization.cpp File Reference

binary irep conversions with hashing More...

#include "irep_serialization.h"
#include <sstream>
#include <iostream>
#include "string_hash.h"
Include dependency graph for irep_serialization.cpp:

Go to the source code of this file.

Functions

void write_gb_word (std::ostream &out, std::size_t u)
 outputs 4 characters for a long, most-significant byte first More...
 
void write_gb_string (std::ostream &out, const std::string &s)
 outputs the string and then a zero byte. More...
 

Detailed Description

binary irep conversions with hashing

Definition in file irep_serialization.cpp.

Function Documentation

§ write_gb_string()

void write_gb_string ( std::ostream &  out,
const std::string &  s 
)

outputs the string and then a zero byte.

parameters: an output stream and a string
Returns
nothing

Definition at line 209 of file irep_serialization.cpp.

Referenced by write_goto_binary_v3(), and irep_serializationt::write_string_ref().

§ write_gb_word()

void write_gb_word ( std::ostream &  out,
std::size_t  u 
)

outputs 4 characters for a long, most-significant byte first

parameters: an output stream and a number
Returns
nothing

Definition at line 166 of file irep_serialization.cpp.

Referenced by irep_serializationt::reference_convert(), write_goto_binary(), write_goto_binary_v3(), and irep_serializationt::write_string_ref().