cprover
xml_symbol_convertt Class Reference

#include <xml_symbol_hashing.h>

Collaboration diagram for xml_symbol_convertt:
[legend]

Public Member Functions

 xml_symbol_convertt (xml_irep_convertt::ireps_containert &ic)
 
void convert (const symbolt &, xmlt &)
 converts a symbol to an xml symbol node More...
 
void convert (const xmlt &, symbolt &)
 converts an xml symbol node to a symbol More...
 

Private Attributes

xml_irep_convertt irepconverter
 
std::list< ireptirepcache
 

Detailed Description

Definition at line 22 of file xml_symbol_hashing.h.

Constructor & Destructor Documentation

§ xml_symbol_convertt()

xml_symbol_convertt::xml_symbol_convertt ( xml_irep_convertt::ireps_containert ic)
inlineexplicit

Definition at line 29 of file xml_symbol_hashing.h.

References convert().

Member Function Documentation

§ convert() [1/2]

void xml_symbol_convertt::convert ( const symbolt sym,
xmlt root 
)

converts a symbol to an xml symbol node

parameters: a symbol and an xml node
Returns
none

Definition at line 21 of file xml_symbol_hashing.cpp.

References irepcache, irepconverter, xmlt::new_element(), xml_irep_convertt::reference_convert(), and symbolt::to_irep().

Referenced by read_goto_object(), and xml_symbol_convertt().

§ convert() [2/2]

void xml_symbol_convertt::convert ( const xmlt xmlsym,
symbolt symbol 
)

converts an xml symbol node to a symbol

parameters: an xml node and a symbol
Returns
none

Definition at line 32 of file xml_symbol_hashing.cpp.

References xml_irep_convertt::convert(), symbolt::from_irep(), irepconverter, and xml_irep_convertt::resolve_references().

Member Data Documentation

§ irepcache

std::list<irept> xml_symbol_convertt::irepcache
private

Definition at line 26 of file xml_symbol_hashing.h.

Referenced by convert().

§ irepconverter

xml_irep_convertt xml_symbol_convertt::irepconverter
private

Definition at line 25 of file xml_symbol_hashing.h.

Referenced by convert().


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