irep_serialization.h File Reference

binary irep conversions with hashing More...

#include <map>
#include <iosfwd>
#include <string>
#include <vector>
#include "irep_hash_container.h"
#include "irep.h"

Include dependency graph for irep_serialization.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	irep_serializationt
class	irep_serializationt::ireps_containert

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

Detailed Description

binary irep conversions with hashing

Definition in file irep_serialization.h.

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().