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);
}
