public void WriteTo(StreamWriter writer)
{
id.WriteTo(writer);
if (port != null)
{
port.WriteTo(writer);
}
}
public override void WriteTo(StreamWriter writer, GraphKinds graphKind)
{
id.WriteTo(writer);
if (Attributes.Any())
{
writer.Write('[');
WriteAttributesTo(writer);
writer.Write(']');
}
writer.Write(';');
}
public void WriteTo(StreamWriter writer)
{
if (id != null)
{
writer.Write(':');
id.WriteTo(writer);
}
if (compassPoint != null)
{
writer.Write(':');
writer.Write(compassPointName[compassPoint.Value]);
}
}
public void WriteTo(StreamWriter writer)
{
writer.Write(graphKindName[graphKind]);
if (name != null)
{
writer.Write(' ');
name.WriteTo(writer, putInQuotes: false);
}
writer.WriteLine('{');
foreach (var statement in statements)
{
statement.WriteTo(writer, graphKind);
writer.WriteLine();
}
writer.WriteLine('}');
}