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