cprover
xml_symbol.cpp File Reference

Compile and link source and object files. More...

#include "xml_symbol.h"
#include "xml_irep.h"
Include dependency graph for xml_symbol.cpp:

Go to the source code of this file.

Functions

void convert (const symbolt &sym, xmlt &root)
 converts a symbol to an xml symbol node More...
 
void convert (const xmlt &xmlsym, symbolt &symbol)
 converts an xml symbol node to a symbol More...
 

Detailed Description

Compile and link source and object files.

Definition in file xml_symbol.cpp.

Function Documentation

§ convert() [1/2]

§ convert() [2/2]