public static void Serialize(SEGraph graph, string path)
{
ReplaceLineBreaks(graph, true);
var ser = new GraphMLSerializer <SENode, SEEdge, SEGraph>();
using (var writer = XmlWriter.Create(path + "temp.graphml", new XmlWriterSettings {
Indent = true, WriteEndDocumentOnClose = false
}))
{
ser.Serialize(writer, graph, v => v.Id.ToString(), e => e.Id.ToString());
}
}
public static SEGraph Deserialize(string path)
{
var deser = new GraphMLDeserializer <SENode, SEEdge, SEGraph>();
var graph = new SEGraph();
var ivf = new IdentifiableVertexFactory <SENode>(SENode.Factory);
var ief = new IdentifiableEdgeFactory <SENode, SEEdge>(SEEdge.Factory);
using (var reader = XmlReader.Create(path))
{
deser.Deserialize(reader, graph, ivf, ief);
}
ReplaceLineBreaks(graph, false);
return(graph);
}
private static void ReplaceLineBreaks(SEGraph graph, bool serialize)
{
if (serialize)
{
foreach (var v in graph.Vertices)
{
v.PathCondition = v.PathCondition.Replace(Environment.NewLine, "[LB]");
v.IncrementalPathCondition = v.IncrementalPathCondition.Replace(Environment.NewLine, "[LB]");
}
}
else
{
foreach (var v in graph.Vertices)
{
v.PathCondition = v.PathCondition.Replace("[LB]", Environment.NewLine);
v.IncrementalPathCondition = v.IncrementalPathCondition.Replace("[LB]", Environment.NewLine);
}
}
}
