UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Classes | Typedefs | Functions
uncover::io Namespace Reference

Contains all classes and definitions used for importing and exporting graphs and graph transformation systems in any way. More...

Classes

class  GraphDrawer
 This class provides static methods for Converting GXL files to the 'dot' format. More...
 
class  GTXLReader
 This class imports GXL or GTXL XML files and converts them to Hypergraph and GTS objects respectively. More...
 
class  GTXLReaderXerces
 This class imports GXL or GTXL XML files and converts them to Hypergraph and GTS objects respectively. More...
 
class  GTXLWriter
 This class exports GXL or GTXL XML files by converting them from Hypergraph and GTS objects respectively. More...
 
class  GTXLWriterXerces
 This class exports GXL or GTXL XML files by converting them from Hypergraph and GTS objects respectively. More...
 
class  LatexExporter
 Provides a possibility to generate Latex files from GTS objects or graph sets. More...
 
class  SafeXTString
 This template provides a container which automatically releases a transcoded string, when the pointer runs out of scope. More...
 
class  SafeXRes
 This template provides a container which automatically release a given Xerces resource, when the pointer runs out of scope. More...
 
class  XercesLoggingErrorHandler
 Prints errors generated by the Xerces framework. More...
 
class  XMLioException
 This exception is thrown if an error occurred while importing or exporting XML documents. More...
 

Typedefs

typedef unique_ptr< GTXLReaderGTXLReader_up
 Alias for a unique pointer to a GTXLReader.
 

Functions

string removeFileExtension (string filename)
 Takes a filename and returns the filename without extension. More...
 
string removeFilePath (string filename)
 Takes a filename including path and returns the filename without its path. More...
 
std::string generateXerxesErrorMessage (const xercesc::XMLException &e)
 Generates and returns a string representing the error message in the given exception. More...
 
std::string generateXerxesErrorMessage (const xercesc::SAXParseException &e)
 Generates and returns a string representing the error message in the given exception. More...
 

Detailed Description

Contains all classes and definitions used for importing and exporting graphs and graph transformation systems in any way.

Enables persistent storage of graphs and GTS.

Author
Jan Stückrath

Function Documentation

std::string generateXerxesErrorMessage ( const xercesc::XMLException &  e)

Generates and returns a string representing the error message in the given exception.

Parameters
ean XMLException produced by the Xerxes parser
Returns
a string representation of the exceptions message
std::string generateXerxesErrorMessage ( const xercesc::SAXParseException &  e)

Generates and returns a string representing the error message in the given exception.

Parameters
ean SAXParserException produced by the Xerxes parser
Returns
a string representation of the exceptions message
string uncover::io::removeFileExtension ( string  filename)
inline

Takes a filename and returns the filename without extension.

If the name contains multiple extensions, only the right most is deleted. If the name contains no extension, the name is returned unchanged.

Parameters
filenamethe filename to process
Returns
the filename without extension
string uncover::io::removeFilePath ( string  filename)
inline

Takes a filename including path and returns the filename without its path.

If the name contains no path, the name is returned unchanged.

Parameters
filenamethe filename to process (including its path)
Returns
the filename without its path