//pretty print
public virtual void Print(PrettyPrinter printer)
{
printer.Println("Open (");
using (printer.IndentCookie()) {
printer.Print("openString = "); OpenString.PrintEx(printer); printer.Println();
}
printer.Print(")");
}
//pretty print
public override void Print(PrettyPrinter printer)
{
printer.Println("Open_Unknown (");
using (printer.IndentCookie()) {
printer.Print("openString = "); OpenString.PrintEx(printer); printer.Println();
}
printer.Print(")");
}