irep_serialization.cpp File Reference

binary irep conversions with hashing More...

#include "irep_serialization.h"
#include "exception_utils.h"
#include "string_container.h"
#include <climits>
#include <iostream>

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)
	Write 7 bits of u each time, least-significant byte first, until we have zero. 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

out	output stream
s	string to output

Definition at line 170 of file irep_serialization.cpp.

write_gb_word()

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

Write 7 bits of u each time, least-significant byte first, until we have zero.

Parameters

out	target stream
u	number to write

Definition at line 122 of file irep_serialization.cpp.