cprover
xml_symbol.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Converts symbols to xml structures and back.
4 
5 Author: CM Wintersteiger
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_H
15 #define CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_H
16 
17 #include <util/symbol.h>
18 #include <util/xml.h>
19 
20 void convert(const symbolt &, xmlt &);
21 void convert(const xmlt &, symbolt &);
22 
23 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_H
Symbol table entry.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition: symbol.h:33
Definition: xml.h:18
void convert(const symbolt &, xmlt &)
converts a symbol to an xml symbol node
Definition: xml_symbol.cpp:21