//hash code trait
public override int GetHashCode()
{
unchecked {
var hash = 0;
hash = hash * 31 + MasterVersion.GetHashCode();
hash = hash * 31 + SlaveVersion.GetHashCode();
hash = hash * 31 + Text.GetHashCode();
return(hash);
}
}
//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(")");
}
