The InstantWriterResultHandler implements the BackwardResultHandler by writing the given information as soon as possible to the filesystem.
More...
#include <InstantWriterResultHandler.h>
The InstantWriterResultHandler implements the BackwardResultHandler by writing the given information as soon as possible to the filesystem.
For this only a storage folder has to be given.
- Author
- Jan Stückrath
- See Also
- BackwardResultHandler
Describes the extent to which the information should be stored.
Enumerator |
---|
FULL |
Stores all given information.
|
ID_FILES_AND_RULES |
Stores only the GTSs and the IDs of graph, but not the graphs themselves.
|
ID_FILES |
Stores only the IDs of graph, but not the graphs or GTSs.
|
Creates a new InstantWriterResultHandler storing all information to the given folder.
- Parameters
-
foldername | a path to the storage folder |
Sets the initial set of graphs from which the backward search is started.
- Parameters
-
graphs | the initial set of graphs for the backward search |
Implements BackwardResultHandler.
void wasDeletedBecauseOf |
( |
IDType |
deletedGraph, |
|
|
IDType |
reasonGraph |
|
) |
| |
|
overridevirtual |
Stores that the graph with the first ID was deleted because it was subsumed by the graph with the second ID.
- Parameters
-
deletedGraph | the subsumed graph |
reasonGraph | the graph subsuming the first graph |
Implements BackwardResultHandler.
Stores that the given graph was generated from the second graph by the given rule.
- Parameters
-
genGraph | the graph generated |
rule | the ID of the rule used to generate the first graph |
srcGraph | the ID of the graph used to generate the first graph |
Implements BackwardResultHandler.
void wasNoValidGraph |
( |
IDType |
deletedGraph | ) |
|
|
overridevirtual |
Stores that the graph with the given ID did not belong to the restricted set of graphs and was therefore dropped.
- Parameters
-
deletedGraph | the graph violating the restriction proposed by the backward search |
Implements BackwardResultHandler.
The documentation for this class was generated from the following files:
- /home/stueckrath/eclipse_ws/Uncover/src/analysis/InstantWriterResultHandler.h
- /home/stueckrath/eclipse_ws/Uncover/src/analysis/InstantWriterResultHandler.cpp