UnCoVer (Using Coverability for Verification)
|
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< GTXLReader > | GTXLReader_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... | |
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.
std::string generateXerxesErrorMessage | ( | const xercesc::XMLException & | e | ) |
Generates and returns a string representing the error message in the given exception.
e | an XMLException produced by the Xerxes parser |
std::string generateXerxesErrorMessage | ( | const xercesc::SAXParseException & | e | ) |
Generates and returns a string representing the error message in the given exception.
e | an SAXParserException produced by the Xerxes parser |
|
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.
filename | the filename to process |
|
inline |
Takes a filename including path and returns the filename without its path.
If the name contains no path, the name is returned unchanged.
filename | the filename to process (including its path) |