Loading...

Searching...

No Matches

irep_serializationt Class Reference

#include <irep_serialization.h>

+ Collaboration diagram for irep_serializationt:

[フレーム]

[legend]

Classes

class ireps_containert

Public Member Functions

irep_serializationt (ireps_containert &ic)

const irept & reference_convert (std::istream &)

void reference_convert (const irept &irep, std::ostream &)

Serialize an irept.

irep_idt read_string_ref (std::istream &)

Read a string reference from the stream.

void write_string_ref (std::ostream &, const irep_idt &)

Output a string and maintain a reference to it.

void clear ()

irep_idt read_gb_string (std::istream &)

reads a string from the stream

Static Public Member Functions

static std::size_t read_gb_word (std::istream &)

Interpret a stream of byte as a 7-bit encoded unsigned number.

Private Member Functions

void write_irep (std::ostream &, const irept &irep)

irept read_irep (std::istream &)

Private Attributes

ireps_containert & ireps_container

std::vector< char > read_buffer

Detailed Description

Definition at line 28 of file irep_serialization.h.

Constructor & Destructor Documentation

◆ irep_serializationt()

irep_serializationt::irep_serializationt ( ireps_containert & ic )

inlineexplicit

Definition at line 57 of file irep_serialization.h.

Member Function Documentation

◆ clear()

void irep_serializationt::clear ( )

inline

Definition at line 70 of file irep_serialization.h.

◆ read_gb_string()

irep_idt irep_serializationt::read_gb_string ( std::istream & in )

reads a string from the stream

Parameters: in input stream

Returns: a string

Definition at line 187 of file irep_serialization.cpp.

◆ read_gb_word()

std::size_t irep_serializationt::read_gb_word ( std::istream & in )

static

Interpret a stream of byte as a 7-bit encoded unsigned number.

Parameters: in input stream

Returns: decoded number

Definition at line 143 of file irep_serialization.cpp.

◆ read_irep()

irept irep_serializationt::read_irep ( std::istream & in )

private

Definition at line 67 of file irep_serialization.cpp.

◆ read_string_ref()

irep_idt irep_serializationt::read_string_ref ( std::istream & in )

Read a string reference from the stream.

Parameters: in input stream

Returns: a string

Definition at line 232 of file irep_serialization.cpp.

◆ reference_convert() [1/2]

void irep_serializationt::reference_convert ( const irept & irep,

std::ostream & out

)

Serialize an irept.

Parameters: irep source irept to serialize

out target output stream

Definition at line 104 of file irep_serialization.cpp.

◆ reference_convert() [2/2]

const irept & irep_serializationt::reference_convert ( std::istream & in )

Definition at line 44 of file irep_serialization.cpp.

◆ write_irep()

void irep_serializationt::write_irep ( std::ostream & out,

const irept & irep

)

private

Definition at line 22 of file irep_serialization.cpp.

◆ write_string_ref()

void irep_serializationt::write_string_ref ( std::ostream & out,

const irep_idt & s

)

Output a string and maintain a reference to it.

Parameters: out output stream

s string to output

Definition at line 211 of file irep_serialization.cpp.

Member Data Documentation

◆ ireps_container

ireps_containert& irep_serializationt::ireps_container

private

Definition at line 76 of file irep_serialization.h.

◆ read_buffer

std::vector<char> irep_serializationt::read_buffer

private

Definition at line 77 of file irep_serialization.h.

The documentation for this class was generated from the following files:

/home/runner/work/cbmc/cbmc/src/util/irep_serialization.h
/home/runner/work/cbmc/cbmc/src/util/irep_serialization.cpp