Beispiel #1
0
 /// <summary>
 /// Write the graph to a file
 /// </summary>
 /// <param name="fileName"></param>
 public void Write(string fileName)
 {
     if (fileName != null)
     {
         if (!fileName.EndsWith(fileExtension, true, new System.Globalization.CultureInfo("en-US")))
         {
             fileName += fileExtension;
         }
         using (Stream stream = File.OpenWrite(fileName)) {
             GraphWriter graphWriter = new GraphWriter(stream, this);
             graphWriter.Write();
         }
     }
 }
Beispiel #2
0
        /// <summary>
        /// writes the graph to a stream
        /// </summary>
        /// <param name="stream"></param>
        public void WriteToStream(Stream stream)
        {
            var graphWriter = new GraphWriter(stream, this);

            graphWriter.Write();
        }
 /// <summary>
 /// writes the graph to a stream
 /// </summary>
 /// <param name="stream"></param>
 public void WriteToStream(Stream stream) {
     var graphWriter = new GraphWriter(stream, this);
     graphWriter.Write();
 }