public virtual void writeToSharedTextFile(Stream stream) // throws IOException { ATermWriter writer = new ATermWriter(new BufferedStream(stream)); writer.initializeSharing(); stream.WriteByte((byte)'!'); writeToTextFile(writer); }
public virtual void writeToTextFile(ATermWriter writer) // throws IOException { try { writer.visitChild(this); writer.getStream().Flush(); } catch (JJTraveler.VisitFailure e) { throw new IOException(e.Message); } }
public override string ToString() { try { MemoryStream stream = new MemoryStream(); StringWriter s = new StringWriter(); ATermWriter writer = new ATermWriter(stream); writeToTextFile(writer); foreach (byte b in stream.ToArray()) { s.Write((char)b); } return(s.ToString()); } catch (IOException e) { throw new Exception("IOException: " + e.Message); } }
public virtual void writeToTextFile(Stream stream) // throws IOException { ATermWriter writer = new ATermWriter(new BufferedStream(stream)); writeToTextFile(writer); }