Exemplo n.º 1
0
 public void Dump(TextWriter tw)
 {
     if (IsBottom)
     {
         tw.WriteLine("Bot");
     }
     else if (IsTop)
     {
         tw.WriteLine("Top");
     }
     else
     {
         set.Dump(tw);
     }
 }