//pretty print
public void Print(PrettyPrinter printer)
{
printer.Println("RdAssertion (");
using (printer.IndentCookie()) {
printer.Print("masterVersion = "); MasterVersion.PrintEx(printer); printer.Println();
printer.Print("slaveVersion = "); SlaveVersion.PrintEx(printer); printer.Println();
printer.Print("text = "); Text.PrintEx(printer); printer.Println();
}
printer.Print(")");
}
