public void Dump(TextWriter tw) { Contract.Assume(tw != null); if (this.IsTop) { tw.WriteLine("Top"); } else if (this.IsBottom) { tw.WriteLine("Bot"); } else { map.Visit(delegate(Key /*!*/ k, Val v) { tw.WriteLine("{0} -> {1}", k.ToString(), v.ToString()); return(VisitStatus.ContinueVisit); }); } }
public override string ToString() { if (this.IsTop) { return("Top"); } else if (this.IsBottom) { return("Bot"); } else { StringBuilder sb = new StringBuilder(); map.Visit(delegate(Key /*!*/ k, Val v) { sb.AppendFormat("({0}->{1}),", k.ToString(), v.ToString()); return(VisitStatus.ContinueVisit); }); return(sb.ToString()); } }